Наряду с алфавитами и правильным построением сложных высказываний в логике высказываний обязательны и правила преобразования логических формул.
Процесс получения новых знаний выраженных высказываниями из уже имеющихся знаний, также выражаются высказываниями, называется рассуждением или умозаключением.
Наиболее употребимые схемы логически правильных рассуждений:
1. Правило заключения – утверждающий модус: 
;
2. Правило отрицания – отрицательный модус: 
;
3. Правила утверждения-отрицания: 
, 
;
4. Правила отрицания-утверждения: 
, 
, 
, 
;
5. Правило транзитивности: 
;
6. Закон противоречия: 
;
7. Правило контрапозиции: 
;
8. Правило сложной контрапозиции: 
;
9. Правило сечения: 
;
10. Правило импортации (объединение посылок): 
;
11. Правило экспортации (разъединение посылок): 
;
12. Правила дилемм: а) 
;
б) 
;
в) 
;
г) 
.
