Tabela de Regras

Resumo das regras da Dedução Natural Proposicional.

$$\large \begin{array}{c:ll|c:ll} % \text{regra} & \text{hipóteses} & \text{concl.} & \text{regra} & \text{hipóteses} & \text{concl.}\cr % \hline \ndEConjL & p \land q & \vdash p \cr \ndEConjR & p \land q & \vdash q & \ndIConj & p, q & \vdash p \land q \cr % \hline \hline \ndEDNeg & \neg \neg p & \vdash p & \ndIDNeg & p & \vdash \neg \neg p \cr % \hline \hline \ndMP & p, p \to q & \vdash q & \ndIImpl & \sbr{p \vdash q} & \vdash p \to q \cr % \hline \hline \ndEDisj & p \lor q, \sbr{p \vdash r}, \sbr{q \vdash r} & \vdash r & \ndIDisjL & p & \vdash p \lor q \cr % \hline \hline & & & \ndINeg & \sbr{p \vdash \bot} & \vdash \neg p \cr % \hline \hline \ndEContr & \bot & \vdash p & \ndIContr & p, \neg p & \vdash \bot \cr % \hline \hline \ndITese & \sbr{H \vdash p} ,H & \vdash p & \ndMT & p \to q, \neg q & \vdash \neg p \cr % \hline \hline \ndRA & \sbr{\neg p \vdash \bot} & \vdash p & \ndTE & & \vdash p \lor \neg p \end{array} $$