Шаблон: правила преобразования
Из Википедии, бесплатной энциклопедии
Перейти к навигации
Перейти к поиску
Правила трансформации
Исчисление высказываний
Правила вывода
Введение
/
устранение
последствий
(
modus ponens
)
Двуусловное введение
/
исключение
Введение
/
устранение соединения
Введение
/
устранение
дизъюнкции
Дизъюнктивный
/
гипотетический силлогизм
Конструктивная
/
деструктивная дилемма
Поглощение
/
modus tollens
/
modus ponendo tollens
Правила замены
Ассоциативность
Коммутативность
Распределительность
Двойное отрицание
Законы де Моргана
Транспозиция
Материальное значение
Экспорт
Тавтология
Введение отрицания
Логика предикатов
Правила вывода
Универсальное обобщение
/
конкретизация
Экзистенциальная обобщение
/
конкретизация
v
т
е
См. Также
[
править
]
{{
Классическая логика
}}
{{
Логические шаблоны
}}