Formulės rūšies nustatymo pavyzdys matricos metodu:

( ( ( p ⊃ q) · p) ⊃ r ) ˅ ~p
(1) (2) (3) (4)

p q r ~p (1) (2) (3) (4)

(p ⊃ q) ( p ⊃ q) · p) ( p ⊃ q) · p) ⊃ r ) ( ( ( p ⊃ q) · p) ⊃ r ) ˅ ~p
T T T K T T T T
T K K K K K T T
T T K K T T K K
T K T K K K T T
K K K T T K T T
K T T T T K T T
K K T T T K T T
K T K T T K T T
QED.: Formulė atsitiktinė

Formulės santykio nustatymo pavyzdys matricos metodu:

(~p ⊃ q) ⊃ r; ~r ≡ ~ q
(1) (2) (3)

p q r ~p ~r ~ q (1) (2) (3)

(~p ⊃ q) (~p ⊃ q) ⊃ r ~r ≡ ~ q
T T T K K K T T T
T K K K T T T K T
T T K K T K T K K
T K T K K T T T K
K K K T T T K T T
K T T T K K T T T
K K T T K T K T K
K T K T T K T K K
QED.: Formulės suderinamos ir pagal T, ir pagal K