Sequentes e Teoremas

A B, A |NK B; A B, B |NK A

(DS Silogismo Disjuntivo)

A B, B |NK A

(MT Modus Tollens)

A |NK B A

(PMI Paradoxo da Implicao Material)

A |NK A B

(PMI Paradoxo da Implicao Material)

A |NK A

(DN+ Dupla Negao)

(A B) --||NK A B

(DeM Lei de De Morgan)

(A B) --||NK A B

(DeM Lei de De Morgan)

(A B) --||NK A B

(DeM Lei de De Morgan)

(A B) --||NK A B

(DeM Lei de De Morgan)

A B --||NK A B

(Imp Lei da Implicao)

(A B) --||NK A B

(Neg-Imp Negao da Implicao)

A * B |NK B * A

(Com Lei da Comutavidade para e )

A (B C) --||NK (A B) (A C)

(Dist Lei da Distributividade)

A (B C) --||NK (A B) (A C)

(Dist Lei da Distributividade)

|NK A A

(Lem Lei do terceiro excludo)

A * B --||NK A * B; A * B; A * B

(SDN Subfrmula da Dupla Negao)

(A * B) --||NK (A * B); (A * B); (A * B) (SDN Subfrmula da Dupla Negao)

Forbes, Graeme, Modern Logic: a text in elementary symbolic logic (USA, OUP, 1994), p. 123.