logica

NEGADOR
Pedro no es un buen estudiante = ¬ p
No es verdad que estudie todos los días = ¬ q
Es imposible que mañana no vaya a clase = ¬¬ r
Es falso que si el alumno se copia sea imposible queapruebe = ¬ (s → ¬t)

CONJUNCION
Juan camina y Pedro descansa = p Λ q
Los tejados son de pizarra y las puertas de madera = r Λ s
Me van bien los estudios pero no apruebo = t Λ ¬ u
Aunque merechaces, te querré siempre y no te olvidaré =
m Λ (n Λ ¬ p)
No es cierto que me vaya a marchar y no quiera verte ni acordarme de ti = ¬ [q Λ (¬ r Λ ¬ s)]

D ISJUNCION

Se solicita abogado ocontable = p V q
Me entero de la situación política leyendo “El País” o “La Vanguardia” = p V q
Hay que demostrar la proposición bien por el método directo bien por el indirecto = p V q
No escierto que vaya a salir el jueves o el viernes = ¬ (p V q)
Ya sea porque no tuvieron suerte, ya sea por falta de ambición, perdieron el partido = (¬ p V ¬ q) Λ r

Normalmente la disyunción tieneun sentido inclusivo (al menos uno de los dos enunciados que conecta es verdadero, pero pueden serlo los dos), pero en algunas ocasiones se emplea la disyunción exclusiva, que significa que sólo unode los dos enunciados es verdadero (o uno o el otro, pero no ambos). Para expresar este tipo de relación entre las proposiciones se puede usar el coimplicador negado.

IMPLICADOR O CONDICIONAL

SiColón descubrió América entonces los gusanos son invertebrados = p → q
Cuando hay abundancia, nadie muere de hambre = p → ¬q
Con tal de que me digas las preguntas me prepararé las respuestas y nosuspenderé = p → (q Λ ¬ r)
Eres licenciado de modo que es imposible que no sepas leer ni escribir = p → ¬ (¬ r Λ ¬ q)

COIMPLICADOR O BICONDICIONAL

Sólo estudiaré si tú lo haces también = p ↔ qSólo si no has tenido una experiencia traumática puedes ser feliz = ¬ p ↔ q
Si no es verdad lo que dices, entonces únicamente en el caso de que te retractes te volveré a dirigir la palabra =...