Question

ayuda es para ahorita con explicación por favor ​

Answer 1

Respuesta:

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.