在邏輯關系判斷中,經常需要找矛盾,而給的命題往往是語言描述,需要我們轉換成邏輯關系進行判斷。為瞭省略掉一些常用的邏輯關系轉換,我們來總結一下命題:隻有A才B的矛盾關系。
隻有A才B,對應的邏輯關系是,B->A(後推前),當然也可以理解成“非A->非B”(不不);根據等價邏輯關系我們很容易得到其矛盾關系就是非A且B。
也就是說,隻有A才B對應的矛盾關系是非A且B。因為隻有A才B的意思是隻有在A條件滿足的情況下,才可能得到B【註意這裡不是一定得到B】,對應的文氏圖就是,A包含B,即B包含於A。那麼很容易得到矛盾就是,A條件沒有滿足,也得到瞭B,即非A且B。也恰恰驗證瞭一句話——所謂的矛盾關系就是找反例,隻要找到一個反例說,非A的條件下得到B,那麼就是矛盾點,至於其他情況下是什麼樣子,就無關緊要瞭。也不是我們能推斷出來的瞭。也就是說隻要找到反例,也就是找到瞭矛盾。那麼對於如果A,那麼B,其所對應的矛盾也很容易得出瞭,就是找到A且非B的一個情況就行瞭。