Шаблён:Правілы пераўтварэньня

Правілы пераўтварэньня
Зьлічэньне выказваньняў
Правілы вывядзеньня
Увядзеньне / вывядзеньне імплікацыі Увядзеньне / вывядзеньне эквівалентнасьці Увядзеньне / вывядзеньне кан’юнкцыі Увядзеньне / вывядзеньне дыз’юнкцыі Дыз’юнкцыйны / гіпатэтычны сылягізм Канструктыўная / дэструктыўная дылема Абсорбцыя / modus tollens / modus ponendo tollens Увядзеньне адмаўленьня
Правілы падстаноўкі
Асацыятыўнасьць Камутатыўнасьць Дыстрыбутыўнасьць Падвойнае адмаўленьне Законы Дэ Моргана Транспазыцыя Матэрыяльная імплікацыя Экспартацыя Таўталёгія
Прэдыкатная лёгіка
Правілы вывядзеньня
Унівэрсальнае абагульненьне / канкрэтызацыя Экзыстэнцыйнае абагульненьне / канкрэтызацыя