logica.docx - 1. Realizar las tablas de verdad de las...

1. Realizar las tablas de verdad de las siguientes proposiciones y escribir si es una
tautología, una contradicción o una contingencia (indeterminación).
 (p^q) ⟹ p
 (p ⟹ q)^(p^~q)
 ⟵ [( ⟵ p^p) ⟷ ( ⟵ q^q)]
p q (p^q) (p^q) ⟹ p
V V V V
V F F V
F V F V
F F F V
Al ser todas las conclusiones verdaderas se le conoce como tautología.
p q
(p ⟹ q)
(p^~q)
(p ⟹ q)^(p^~q)
F V V V V
F V V V V
V F F F F
V F F F F
Al tener tanto como conclusión valores falsos y valores verdaderos se le conoce como
contingencia.
⟵ [( ⟵ p^p) ⟷ ( ⟵ q^q)]
La Formula no esta bien formada ya que no se están usando los conectivos de la forma
correcta.
2. Teniendo en cuenta las marcas léxicas, formalice los siguientes argumentos. Una
vez formalizados, haga su tabla de verdad e indique si es tautología, contradicción o
indeterminado
3. Formalización
Juan partirá para Japón, si maría se queda en Venecia, rosa viajara a Brasil o Juan no
partirá para Japón, María no se queda en Venecia o rosa no viajara a Brasil. Por
consiguiente, María no se queda en Venecia.

 (J ⟶ M) ^(R ⟷ ~M)
J M R
(J ⟶ M) (R ⟷ ~M) (J