Условное доказательство
Условное доказательство Условное доказательство демонстрирует, что если бы предположение об условном доказательстве (CPA) было истинным, то из него обязательно следовал […]
Вики
Условные обозначения
Вики
Материальный условный
Материальная обусловленность Материальная импликация — бинарный функциональный оператор истинности, возвращающий «true», если только первый аргумент не является истинным, а второй