Question

Propriedades da Implicação lógica.
Mostrar as propriedades seguintes:
a) Reflexiva:
– P(p,q,r,...) ⇒ P(p,q,r,...)
– Uma proposição complexa implica ela mesma.
b) Transitiva:
– Se P(p,q,r,...) ⇒ Q(p,q,r,...) e Q(p,q,r,...) ⇒ R(p,q,r,...), então P(p,q,r,...) ⇒ R(p,q,r,...)
– Se P ⇒ Q e Q ⇒R, então P ⇒ R

Answer 1

Resposta:

b)

Explicação:

espero ter ajudado

Bons estudos