Suponha que p, q, r e s são proposições simples. Complete cada um dos espaços seguintes de modo que os argumentos sejam válidos.
!$ [(p∧q) \rightarrow (\sim r)] ∧ (\sim (\sim r)) ⇒ !$
!$ [(p ∧ (\sim q)) ∨ (q ∧ r)] ∧ !$ !$ ⇒ p ∧ (\sim q) !$
!$ [p \rightarrow (q ∧ r)]∧ !$ !$ ⇒ \sim p !$
Provas
Questão presente nas seguintes provas
