Konectivos

Tablas de verdad de los Conectivos Lógicos
A. Negación.-
Ejemplo:
p.- Juan conversa
-p.- Juan no conversa
B. Conjunción.-
Ejemplo:
P: La casa está sucia.
Q: La empleada la limpia mañana
P Q:La casa esta sucia y la empleada la limpia mañana
C. Disyunción.-
D. Disyunción exclusiva.-
Ejemplo:
P: Pedro juega básquet
Q: María juega fútbol
PvQ: Pedro juega básquet o María juega fútbol.E. Condicional.-
Ejemplo:
P:Si me saco la loteria
Q: Te regalaré un carro
P Q: Si me saco la lotería entonces te regalaré el carro.
F. Bicondicional.-
Ejemplo
P: Simón Bolivar vive
Q:Montalvo está muerto
P Q: Simón Bolivar vive si y solo si Montalvo está muerto.
Traducción de proposiciones compuestas de lenguaje común a lenguaje formal.-
Para realizar este proceso seguimos lossiguientes pasos:
• Identificar las proposiciones simples.
• Dar nombre a cada proposición simple.
• Identificar los conectivos utilizados.
• De los conectivos identificar el principal.
• Traduciral lenguaje formal.
Ejemplo:
Berta es atractiva o Claudia es atractiva, pero no ambas.
p: Berta es atractiva
q: Claudia es atractiva


Estudio o trabajo, pero si tomo mis vacaciones notrabajo.
p: Estudio
q: Trabajo
r: Tomo mis vacaciones


Condicional.-

Antecedente Consecuente
Cond. Suficiente Cond. Necesaria
Para leer un condicional se puede usar la siguiente forma deparafrasear:
• Si p entonces q.
• Si p, q
• P implica q
• P solo si q
• P es suficiente para q
• Q si p
• Q para que p
• Q es necesario para p
Para reconocer la forma del condicional(parafraseo), en el caso que no sea “p es suficiente para q”, realizamos la siguiente pregunta:
¿Qué es suficiente para ... ? y como respuesta obtenemos el antecedente del condicional.
¿Qué es necesario para... ? y como respuesta obtenemos el consecuente del condicional. Ejemplo:
Pienso luego existo
¿Qué es suficiente para que piense?
¿Qué es necesario para que exista?
P: Pienso
Q: Existo...