iki önermenin özdeş yüklem ve özneyi kapsadıkları halde birbirleriyle çelişmeleridir. örneğin, ''bütün insanlar akıllıdır - kimi insanlar akıllı değildir'' önermeleri çelişiktir. çelişik önermeler'in ikisi birden doğru ya da ikisi birden yanlış olamaz.
