Question

Dado os símbolos proposicionais P e Q. Mostre que ( (P ∧Q) ∨( (¬P) →(¬Q) ) ) é
uma fórmula proposicional.

Answer 1

Resposta:

Olá,

Explicação:

Considere que P e Q são fórmulas ∴

(P ∧Q) é fórmula ∴

(¬P) e (¬Q) são fórmulas  ∴

( (¬P) ∧ (¬Q) ) é fórmula∴

( (P ∧Q) ∨( (¬P) ∧(¬Q) ) ) é fórmula.

Answer 2

Resposta:

Explicação:

Sendo (¬P) e (¬Q) fórmulas  ∴

temos que ( (¬P) ∧ (¬Q) ) é fórmula∴

Logo,

( (P ∧Q) ∨( (¬P) ∧(¬Q) ) ) é fórmula.