Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CODIGO: 051600062021
TALLER 2
A) Conjunción
B) Negación
C) Proposición molecular
D) Atómica
E) Condicional
F) Antecedentes
G) Consecuente
H) Disyunción
A) Conjunción P v Q & R
(P v Q) ^ R
B) Negación ¬ P & Q
¬ ( ¬ P → ¬ Q) = ¬ P ^ Q
C) Conjunción ¬ P & Q
(¬ P → ¬ Q) = ¬ P ^ Q
D) Condicional P & Q → R
[(P ^ Q) → R)] = P ^ Q → R
E) Negación ¬ P v ¬ R
¬ (P ^ R) = ¬ P v ¬ R
F) Disyunción P → Q v R
[P → (Q ^ R)] = P → Q v R
G) Condicional ¬ P → ¬ R
¬ (¬ P → R) = ¬ P → ¬ R
H) Negación ¬ P → Q
¬ (P → Q) = P ^ ¬ Q
I) Conjunción P & Q → R
(P ^ Q) → R