1. Validade de argumentos

Verifique se as formas de argumento a seguir são válidas ou inválidas utilizando árvores de refutação.

$\neg p \vdash p \to \neg p$ $p \to \neg q \vdash \neg (p\land q)$ $p\lor q, \neg p, \neg q \vdash r$ $\neg (p\lor q), r\leftrightarrow p \vdash \neg r$ $p\leftrightarrow q, q \leftrightarrow r \vdash p \leftrightarrow r$

2. Satisfazibilidade de fórmulas

Verifique se as fórmulas a seguir são satifazíveis, caso afirmativo, verifique se são tautologias.

$p \to p$ $\neg(p\to p)$ $(p\lor q)\to p$ $p \leftrightarrow \neg(p\lor q)$ $(p\land q) \land \neg(p\lor r)$

Referências

Capítulo 4: Pgs. 185 - 203, Logica - John Nolt (PDF).