правило універсальної конкретизації;
2.
правило екзистенціального узагальнення;
3.
;
закони де Моргана;
4.
;
5.
;
6.
;
7.
;
8.
;
9.
;
10.
;
11.
;
12.
; 
не містить входжень
;
13.
; 
не містить входжень
;
14.
; 
не містить входжень
;
15.
; 
не містить входжень
;
16.
; 
не містить входжень
;
17.
; 
не містить входжень
;
18.
;
19.
;
20.
;
21.
;
22.
, якщо жодне вільне входження 
не стане зв'язним в результаті заміни.