Usuario:Alvaro Otero/ejercicio 1
Apariencia
Nuevos conectivos lógicos
1. EL CONECTIVO INCOMPATIBILIDAD | ( P | Q)
y su tabla de verdad se define COMO
P Q P | Q
V V F V F V F V V F F V
2. EL CONECTIVO NEGACION CONJUNTA y su tabla de verdad se define COMO
P Q P Q
V V F V F V F V V F F V
ejercicio
hallar la siguiente tabla de verdad
(~p => (q | p)) ~q
p q ~q (q | p) ~q =>(q | p) ~q =>(q | p) ~q V V F F V V
V F V V V V F V F V V V
F F V V V V