Question

2. Mostrar que as seguintes proposições são tautológicas:

a. (p → q) → (p ^ r → q)

b. (p → q) → (p → q v r)

c. (p → q) → (p ^ r → q ^ r)

d. (p → q) → (p v r → q v r)

Answer 1

Resposta:

a. (p → q) → (p ^ r → q) = Tautologia / Verdade

b. (p → q) → (p → q v r) = Tautologia / Verdade

c. (p → q) → (p ^ r → q ^ r) = Tautologia / Verdade

d. (p → q) → (p v r → q v r) = Tautologia / Verdade

Explicação passo-a-passo:

∧ = e (só é V quando as duas são V)

∨ = ou (só é F quando as duas são F)

→ = condicional (só é F quando a primeira é V e a segunda é F)

qualquer dúvida comente embaixo!