Regras bsicas de deduo natural

De eliminao
~~

Dupla Negao
(~~e)
Conjuno
(e)

Modus ponens
(MP)

(e)

~~

Dupla Negao
(~~i)

Disjuno

Bicondicional
(e)

De introduo

Conjuno
(i)

Disjuno
(i)

Bicondicional
(i)

Prova
condicional
(PC)

H (PC )

Contradio
(i)

Reduo ao
absurdo
(RAA)

H RAA