Материальное упрощение

Материальная неимпликация или отсечение — отрицание материальной импликации в логике.
Это означает, что для любых двух предложений P и Q, материальное несоответствие из P к Q истинно, если отрицание материального следствия из P к Q является правдой.
Это более естественно, поскольку существенный вывод из P к Q истинен только в том случае, если P является истинным, а Q является ложным.
Определение материальной неимпликации может быть записано с использованием логической нотации.
В классической логике это также эквивалентно отрицанию дизъюнкции и соединению P и ¬Q.
Символ, обозначающий отсутствие существенного значения, — это перечеркнутый символ существенного значения.

Полный текст статьи:

Материальная непричастность — Википедия