例題１：

條件一 : "若張三不ok且李四不ok為偽"
條件二 : "若王五不ok則李四不ok
條件三 : "若張三ok則李四ok"

(A)張三ok
(B)李四ok
(C)李四不ok
(D)王五不ok
(E)以上皆非

這一題適用邏輯推理方法裡的消減法來解決,這方法不難,就算邏輯不強的人,知道方法也能運用!

本題有3個人，2種狀況，所以共有2^3=8種情況！

1.將8個情況列成一個表,再去比對三個條件

2.條件一 : "若張三不ok且李四不ok為偽"

所以在條件一這欄裡,我們可以打X的是張三不OK且李四不OK的情況

3.條件二 : "若王五不ok則李四不ok

所以在條件二這欄裡,我們可以打X的是和上面條件不合的情況
因為前提(王五不OK)是不能變的.所以後面是"李四是OK"
也就是"王五不OK且李四是OK"的情況是不合條件的

4.條件三 : "若張三ok則李四ok"

所以在條件三這欄裡,我們可以打X的是和上面條件不合的情況
因為前提(張三OK)是不能變的.所以後面是"李四是不OK"
也就是"張三OK且李四是不OK"的情況是不合的

5.最後得到兩個答案
張三李四王五都OK
張三不OK但李四王五都OK

所以這題只能選(B)