Curso de lógica proposicional 02 Formalización II
HTML-код
- Опубликовано: 8 фев 2025
- Seguimos definiendo los elementos del lenguaje de la lógica de enunciados y su formalización, poniendo múltiples ejemplos hasta llegar a la formalización de un argumento completo.
Fe de erratas:
Me da un poco de cosilla, cómo explico la formalización del bicondicional o coimplicador. Verdaderamente, no tiene nada que ver con "es equivalente" o "es igual a". Solo es una forma de explicarlo para no liar a los alumnos. Cualquier experto en lógica proposicional que viera eso se tiraría de los pelos.
Además, en 4:30 formalizo "No me escuches" como p cuando hay que ponerle una negación delante, con lo que la formalización de "Que no me escuches equivale a que me ignores" debería ser no-p bicondicional q. Disculpadme.
Mi correo: circumdatus@yahoo.es
Mi blog: vonneumannmach...
Mi blog en Facebook: / lamaquinadevonneumann
Twitter: @VNMachine
Instagram: @pilotoprix
Mi perfil en Xataka: www.xataka.com...
Mi profesor de filosofía me recomendó este canal y la verdad es que superó mis expectativas. Gracias por tus vídeos ^^
Jajaja aprendí más con este video de 2 clase en la universidad, simplemente hay maestro que le dan mucha vuelta al asunto. Sigue así crack.
Tus videos son muy buenos y útiles !! Me ha servido de mucho , viendo estos 2 videos aprendí lo que en clase no entedía . Muchas gracias y sigue adelante ;)
Ese hombre se explica mucho mejor que mi profesorde Lógica de la uni ¡Gracias, profe!
prometo ver todos tus videos, estimado, gracias por compartir.
Yo no veo tus clases para la escuela, pero me gusta como das clase y es interesante, saludos desde México
No sabes lo que me ha salvado
Gracias, siento que puedo aprobar lógica a pesar de mi profe gracias a ti.
Muchas gracias por tus vídeos, Santiago. Te quería preguntar: ¿la conclusión del ejemplo que expones al final del vídeo no sería errónea lógicamente porque da por hecho que «no p» es equivalente a «q»?
¡Muchas gracias, profesor!
macho muchas graciia spor tus videos de verdad! gente como tu olee
Hola, tengo una duda: en el minuto 6:42 dices: "si se dan ambas cosas..." y luego 6:53 dices " si llueva y haga frío" esa y es la conectiva conjunción, es decir se tienen que dar esas dos condiciones para ponerme el abrigo, es como encender una bombilla con dos interruptores en serie, para que se encienda la bombilla hay que conectar los dos interruptores, entiendo que la formalización del enunciado sería: (p^q)→r . Y si llueve o hace frío me pongo un abrigo, entiendo que cumpliendose una sola condicioń entonces me pongo el abrigo, sería conectar los dos interruptores en serie para encender la lámpara, en este caso si pondría (p v q)→r. Corrígeme si estoy en un error.
Muchas gracias por estos vídeos. Llevo ya 2 años en 1º BAT artístico y seguía sin entender lógica hasta ahora xD (mi profe se va mucho por las ramas y no explica muy bien :/ )
Me gusto mucho su video, es tan dedicado a lo que hace y entendi fácilmente mirando desde la clase uno hasta la dos, pero lo que aun no comprendo es ¿Como coloco los demás símbolos auxiliares?.
Una pregunta, en el ejemplo que dice "vendrán Carlos y Sandra", ¿Es necesario hacer una variable para cada uno? desde mi desinformación pero a la vez análisis deduzco que una variable es suficiente ya que vienen los dos, no es que viene uno u otro, no es una disyunción.
Gracias por este pedazo de vídeo. Me servirá para mañana jajajaj
Repasando conceptos jeje, tengo un examen técnico y recurro al the best :D
Que buenos vídeos!
Muy útil amigo. Un saludo.
genial
muy buenoo
Hola buenas tardes Santiago tendrás alguna guía de ejercicios por favor
Mil gracias
Cuando escribis una proposición como una variable proposicional, ¿Se puede escribirla tanto en negativo como en afirmativo? Gracias.
No, en el vídeo hay un error. Cuando la frase es negativa siempre hay que ponerle la negación delante.
@@Avenarius1980 claro, usted dijo en el coimplicador p= no me escuchas. Eso es un error?
@@emilianomonzongieco192 Sí, ahí está el error. Bien visto.
@@Avenarius1980 muchas gracias, muy útiles sus videos. Que tenga un buen día
muchas gracias
En el minuto 4:49 p= no me escuchas, esta mal no?. Debería ser p=me escuchas , 1p= No me escuchas
Así es. Ya lo corregí en la descripción del vídeo
Uy, muchas gracias
profe en el caso de la premisa "Que no me escuches es equivalente a que me ignores" no debe ser ¬p↔q?
Sí, se me olvidó meter la negación.
GENIAL ...
2.45 - p sólo si q? No depende la primera de la segunda?
Yo creo q tienes la razón, solo si ocurre q, entonces p
podrias subir las diapositivas me ayudaria mucho, de ante mano gracias por el video
podria decirse que el conector negacion ¬ es unico porque puede ser prescindible para una variable. por ejemplo p "es identico" a ¬(¬p) o decir que p es identico a otra variable que q "es identico" a ¬¬p
No te entiendo. La regla de la negación es diferente a las demás en el sentido en que solo afecta a una variable proposicional y no a dos como todas las demás. No hay más historia.
como puedo formalizar esta premisa "El partido terminó empatado, los jugadores se saludaron, entonces se fueron felices"?
(p y q) -> r siempre que estemos diciendo que el empate y el saludo son condiciones para que se fueran felices, ya que la frase no está muy bien escrita y no lo deja claro.
Hola, Santiago. Si en un argumento hay algunos ejemplos (que pueden ser v o f por si mismos) cómo puedo formalizarlos? Ej de un posible argumento: "Un conjuntor puede formalizar también otras expresiones, como por ejemplo: "p pero q", "p aunque q", "p y sin embargo q" o "p a pesar de q". Empero, el conjuntor no puede formalizar la letra "o".
Algo así se puede formalizar? Pensé algunas posibles pero las veo incorrectas y tampoco sabría como pasarlas a la tabla donde se separan por renglones.
= P (q ^ r ^ s v t) ^7u
A ver. Necesitaría más espacio y tiempo para explicártelo bien, pero estás confundiendo niveles de lenguaje y metalenguaje. El enunciado "p pero q" no puede formalizarse como p^q porque la "p" de "p pero q" no es un enunciado declarativo. Lo correcto sería traducir por p el enunciado entero "El conjuntor puede formalizar la expresión p pero q". Eso sí sería un enunciado declarativo formalizable a la variable p.
¿Como puedo formalizar esta oración "La próxima semana tendremos exámen de inglés, de informática y de contabilidad, entonces tengo que estudiar mucho o no tendré vacaciones, ni regalo? te voy a agradecer si me resuelves en esta caja de comentarios. Además, tengo examen de Álgebra este Viernes
Supongo que tu profesor pone el "entonces" para separar premisas y de conclusión? Yo haría (p y q) y r como premisa y s -> (no-t o no-u) como conclusión.
@@Avenarius1980esta premisa" La próxima semana tendremos exámen de inglés, de informática y de contabilidad, entonces tengo que estudiar mucho o no tendré vacaciones, ni regalo".
p: la próxima semana tendremos examen de inglés
q: la próxima semana tendremos examen de informática
r: la próxima semana tendremos examen de contabilidad
s: tengo que estudiar mucho
t: tendré vacaciones
u: tendré regalo
así sería la formalización de esta premisa: (p˄q˄r) => (s˅¬t˄¬u)?
1) Norma es periodista, a la vez abogada penalista y egresada de San Marcos.
2) Einstein dice la verdad, pues la teoría de la relatividad no es exacta.
3) Hoy no habrá atención al público, tampoco el fin de semana.
Sería genial que me ayudes!!
Podés recomendar un libro para estudiar lógica?
"Introducción a la lógica" de Irving Copi.
@@Avenarius1980 muchas gracias!
amigo me podrias ayudar con esta: Aunque va mal vestido, da gusto verlo.
p y q.
@@Avenarius1980 gracias
Oye recomiendas algún libro?
Depende de para qué lo quieras. El manual clásico de lógica es el de Irving Copi.
es una proposición? : a) ríe o llora b) camina c)llueve
Toda proposición vas a poderla calificar con Verdadero o falso, si no puedes hacerlo, en ese caso: Apurate!. No puedo calificarla entonces no es proposición
ummm bueno mi duda exactamente es por la alternativa b) camina ; las otras dos si son proposiciones la a) es compuesta y la c) es simple; Camina es mi duda porque lei en ua separata de una pre y dice que es proposición