Question

La representación de la proposición compuesta (Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además, que si nació en Estagira era macedonio por su nacimiento, entonces era efectivamente macedonio. Convenciones simbólicas: p: Aristóteles nació en Estagira q: Aristóteles fue tutor de Alejandro Magno r: Aristóteles era macedonio por su nacimiento

1( q ꓥ p) ꓥ (P ↔ r) → p
2(p ꓦ q) ꓥ (P → r) → r
3( q ꓥ p) ꓥ (P → r) → p
4(p ꓥ q) ꓥ (P → r) → r


ayudaaa es para dentro de 6 minutos doy coronaaaaaaaaaaaaaaaa

Answer 1

Respuesta: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: