Tarea 3 - Proposiciones y Tablas de Verdad
Tarea 3 - Proposiciones y Tablas de Verdad
Tarea 3 - Proposiciones y Tablas de Verdad
Q R (QR
)
F V F
F F
F
V V F
V F V
F V F
F F
F
V V F
V F V
P
(QR)
V
V
V
V
F
F
F
V
e. Simulador Truth
Q
F
F
V
V
F
F
V
V
R (PQ)
V
F
F
F
V
V
F
V
V
V
F
V
V
V
F
V
(PQ)
V
V
F
F
F
F
F
F
R
(PQ)
V
V
F
V
F
V
F
V
e. Simulador Truth
F
V
F
V
(P
Q)
F
V
V
F
e. Simulador Truth
e. Simulador Truth
Q R (QR
)
F V F
F F
F
V V F
V F V
F V F
F F
F
V V F
V F V
P
(QR)
V
V
V
V
F
F
F
V
Q P
Q
F
V
F
F
V
V
V
V
e. Simulador Truth
Q P
Q
F
V
F
F
V
F
V
V
e. Simulador Truth
Q R (QR
)
F V F
F F
F
V V F
V F V
F V F
F F
F
V V F
V F V
P
(QR)
V
V
V
F
F
F
F
V
e. Simulador Truth
Si y slo s = Bicondicional
b. Declaracin de premisas
P = El conector lgico o es verdadero
Q = Alguna de las proposiciones es verdadera
c. Expresin en lenguaje simblico
PQ
d. Tabla de verdad
P
F
V
F
V
Q P
Q
F
V
F
F
V
F
V
V
a. Simulador Truth
(P Q) (R S)
d. Tabla de verdad
P
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
Q
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
R
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
S PQ
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
F
V
F
F
F
V
F
F
V
V
V
F
V
V
V
b. Simulador Truth
RS
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
(P Q) (R
S)
F
F
V
F
F
F
V
F
V
V
F
V
F
F
V
F
d. Tabla de verdad
Q R
P
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
c. Simulador Truth
V
F
V
F
V
F
V
F
(Q
R)
V
F
V
V
V
F
V
V
P (Q R)
V
V
V
V
V
F
V
V