1. Conectores lógicos
Tomado del folleto: Introducción a la lógica matemática del Matemático Vicente
Parra Moreno
Editado por: J. Farinango, 2017
Nombre Equivalencia Detalle
Negación P
V
~ P
F
Conjunción ∧ p ∧q
V ∧ V=V
Disyunción Inclusiva V p V q
F V F =F
Disyunción exclusiva p ⊻ q
V ⊻V=F
F ⊻ F=F
Lo uno, lo otro, pero no
los dos.
Condicional p → q
V → F=F
Verdadero implica Falso
es Falso, los demás
verdadero.
Bicondicional p ↔ q
V ↔ V=V
F ↔ F=V
Si y solo si
Verdadero equivale a
Verdadero
Falso equivale a Falso
Conjunción Negativa p ↓ q
F ↓ F=V
Ni p Ni q