Правило замены
Правило замены Основы логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операций Ассоциативность, коммутативность, распределительная способность, двойное отрицание […]
Вики
Заготовки по логике
Вики
Предикат истины
Предикат истинности Предикат истинности является фундаментальным понятием формальных теорий истины, основанных на предложениях формального языка. Языки, допускающие предикат истинности, основаны