indique si la siguiente proposición es tautologica, usando la tabla de la verdad (pvq) ➡️ (p➡️q) A) es tautologica B) no es tautologiaca
Respuestas
Respuesta:
TEMA 6 – SEMÁNTICA: TABLAS DE VERDAD
Y RESOLUCIÓN VERITATIVO-FUNCIONAL
EJERCICIO 6.01
Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible:
¬(¬p → ¬q)
p q ¬(¬p → ¬q)
V V F V
V F F V
F V V F
F F F V
2ª 1ª
La fbf es satisfacible, ya que resulta V en la 3ª interpretación.
EJERCICIO 6.02
Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible:
¬(p → q) ∨ (¬p ∧ ¬q)
p q ¬(p → q) ∨ (¬p ∧ ¬q)
V V F F F
V F V V F
F V F F F
F F F V V
1ª 3ª 2ª
La fbf es satisfacible, ya que resulta V en la 2ª y en la 4ª interpretación.
EJERCICIO 6.03
Comprobar por tablas de verdad si la siguiente fbf es o no tautológica:
╞ (p → q ∧ ¬q) → ¬p
p q (p → q ∧ ¬q) → ¬p
V V F V
V F F V
F V V V
F F V V
1ª 2ª
La fbf es tautológica, ya que resulta V en todas las interpretaciones
Explicación paso a paso:
Respuesta:
gracia por la resouesta