برای واضحتر شدن تناقض :
موجودی که هر سنگی را میتواند بلند کند را X مینامیم. برای سنگ هم حرف s را بکار میبریم.
"موجود X میتواند هر سنگی را بلند کند " بزبان منطقی میشود : اگر s سنگ باشد آنگاه X میتواند آنرا بلند کند. P ==> Q
"سنگی که موجود X نمیتواند بلند کند" بزبان منطقی میشود : s سنگ است و X نمیتواند آنرا بلند کند . p & ~Q
تا همینجا هم معلوم است که این دو گزاره با هم متناقض هستند اما بازهم برای روشنتر شدن موضوع جدول ارزش منطقی گزاره های فوق را هم میاورم :
ملاحظه میکنید که در جدول فوق هرجا که گزاره P==>Q درست (T) باشد ، گزاره P & ~Q نادرست (F) است.
این یعنی دو گزاره با هم
متناقض هستند.