Bir tamdeyimin değillemesinin, bu tamdeyimdeki bütün eklem ile niceleyicileri ikilleri ile değiş tokuş edip çekirdek bileşenleri değillemekle elde edilen tamdeyimle eşdeğer olduğunu dile getiren mantık kuralı. || Örn. (?)
TDK Mantık Terimleri Sözlüğü