Simplificación

Λ u

ஃ t

(a)  

Silogismo disyuntivo

( x V z )

~ z

ஃ

(a)  

Modus Tollens

( x ⊃ y )

ஃ ~ x

(a)  

Conjunción

x

ஃ ( x Λ y)

(a)  

Silogismo hipotético

( r ⊃ s)

( ⊃ t )

ஃ (r ⊃ t )

(a)  

Adición

p

ஃ ( p V )

(a)