CONECTIVOS LÓGICOS

Proposición: Combinación de símbolos del lenguaje.

Debe cumplir:
 De identidad
 De no-contradicción
 Del tercero excluido
Conectivas lógicas: negación, conjunción, disyunción, implicación y equivalencia.

Si P es un proposición, la negación de , es Si y son dos proposiciones, la

la nueva proposición , que se lee “no es implicación de por y, es la nueva
cierto que P” o “no P”. proposición , que se lee “si entonces
Q” ó “ implica Q” ó “Q si ” ó “ es
suficiente para Q" ó "Q es necesario para ”.
Su valor de verdad está dado por la tabla

Si y son dos proposiciones, la conectiva

binaria conjunción de y , es la nueva
proposición , que se lee “ y ”. Su
valor de verdad está dado por la tabla.

La doble implicación o bicondicional de P

La conectiva binaria disyunción de y Q, es
la nueva proposición , que se lee “ ó
Q”. Su valor de verdad está dado por la tabla
y Q, es la nueva proposición , que se
lee “P si y solo si Q” ó “P es necesario y
suficiente para Q”. Su valor de verdad está
dado por la tabla

La conectiva binaria disyunción exclusiva

de P y Q, es la nueva proposición , que
se lee “P ó Q, pero no ambas”. Su valor de
verdad está dado por la tabla

Prof. Randy Wynta Banton

Tomado de: Una introducción a la Matemática Discreta. Manuel Murillo Tsijli