АНТИІМПЛІКА́ЦІЯ, ї, ж., лог.
Заперечення імплікації.
Можна довести, що логічна формула допустового речення може бути наслідком антиімплікації логічної формули певного висловлення (з наук. літ.).
-ї, ж.
Заперечення імплікаціі.