Reglas de inferencia 2

Enrique Arias Valencia

V & q = q

F & q = F

V ó q = V

F ó q = q

F → q = V

p → V = V

p → F = ¬ p

V ↔ q = q

F ↔ q = ¬ q