Question

Usando expressões lógicas, demonstre que:
a) p ^ ~p ⇒ q
b) ~p → p ≡ p
c) p → p ^ q ≡ p → q
d) (p → q) → q ≡ p v q
e) (p → r) v (q → r) ≡ p ^ q → r
f) (p → q) ^ (p → r) ≡ p → q ^ r

Answer 1

Isso realmente tem em algum livro de aprendizagem