Материјална неимпликација е негација на една импликација. p⊅q

Дефиниција Таблица на вистинитост + p q ⊅ т т ⊥ т ⊥ т ⊥ т ⊥ ⊥ ⊥ ⊥

Венов дијаграм Венов дијаграм на „Не е дека A имплицира B“

150px

Својства

Зачувување на вистинитост: Толкувањето по кое сите променливи имаат вредност 'неточно' дава вредност 'неточно' како резултат на материјална неимпликација.

Поврзано Логичка операција Материјална импликација Негација