邏輯解題一
(１)(甄大殺了郝小而且吳一殺了劉二)以及(張三沒殺李四而且蘇五沒殺勞六)這兩者至少有一方面是事實。
(２)如果(張三殺了李四而且甄大殺了郝小)，那麼便可進一步斷定：如果吳一殺了劉二則白七沒殺王八。
(３)如果不是(白七殺了王八或者賈九殺了程十)，那麼吳一就沒殺劉二。
(４)事實上，賈九沒殺程十。
因此張三沒殺李四。
若以真值表法來檢驗本論證的有效性
可以先對本論證所牽涉到的事件做初步分析：
本論證所牽涉的人物雖然有１２位
但其所牽涉的事件，卻只有六件，我們先各以代號來標示這些事件：
Ａ 甄大殺了郝小
Ｂ 吳一殺了劉二
Ｃ 張三殺了李四
Ｄ 蘇五殺了勞六
Ｅ 白七殺了王八
Ｆ 賈九殺了程十
並對各個前提和結論，也各賦予它一個代號：
Ｇ 代表前提(１)
Ｈ 代表前提(２)
Ｉ 代表前提(３)
Ｊ 代表前提(４)
Ｋ 代表結論
ＡＢＣＤＥＦ六個事件，都有真假的可能
由此可以得到６４種可能狀況
每一種狀況下的ＧＨＩＪＫ也都可以推測得出
如此一來，可以得到以下的真值表：
ＡＢＣＤＥＦＧＨＩＪＫ
－－－－－－－－－－－－
1.ＴＴＴＴＴＴＴＦＴＦＦ
2.ＴＴＴＴＴＦＴＦＴＴＦ
3.ＴＴＴＴＦＴＴＴＴＦＦ
4.ＴＴＴＴＦＦＴＴＦＴＦ
5.ＴＴＴＦＴＴＴＦＴＦＦ
6.ＴＴＴＦＴＦＴＦＴＴＦ
7.ＴＴＴＦＦＴＴＴＴＦＦ
8.ＴＴＴＦＦＦＴＴＦＴＦ
9.ＴＴＦＴＴＴＴＴＴＦＴ
10.ＴＴＦＴＴＦＴＴＴＴＴ
ˇ
11.ＴＴＦＴＦＴＴＴＴＦＴ
12.ＴＴＦＴＦＦＴＴＦＴＴ
13.ＴＴＦＦＴＴＴＴＴＦＴ
14.ＴＴＦＦＴＦＴＴＴＴＴ
ˇ
15.ＴＴＦＦＦＴＴＴＴＦＴ
16.ＴＴＦＦＦＦＴＴＦＴＴ
17.ＴＦＴＴＴＴＦＴＴＦＦ
18.ＴＦＴＴＴＦＦＴＴＴＦ
19.ＴＦＴＴＦＴＦＴＴＦＦ
20.ＴＦＴＴＦＦＦＴＴＴＦ
21.ＴＦＴＦＴＴＦＴＴＦＦ
22.ＴＦＴＦＴＦＦＴＴＴＦ
23.ＴＦＴＦＦＴＦＴＴＦＦ
24.ＴＦＴＦＦＦＦＴＴＴＦ
25.ＴＦＦＴＴＴＦＴＴＦＴ
26.ＴＦＦＴＴＦＦＴＴＴＴ
27.ＴＦＦＴＦＴＦＴＴＦＴ
28.ＴＦＦＴＦＦＦＴＴＴＴ
29.ＴＦＦＦＴＴＴＴＴＦＴ
30.ＴＦＦＦＴＦＴＴＴＴＴ
ˇ
31.ＴＦＦＦＦＴＴＴＴＦＴ
32.ＴＦＦＦＦＦＴＴＴＴＴ
ˇ
33.ＦＴＴＴＴＴＦＴＴＦＦ
34.ＦＴＴＴＴＦＦＴＴＴＦ
35.ＦＴＴＴＦＴＦＴＴＦＦ
36.ＦＴＴＴＦＦＦＴＦＴＦ
37.ＦＴＴＦＴＴＦＴＴＦＦ
38.ＦＴＴＦＴＦＦＴＴＴＦ
39.ＦＴＴＦＦＴＦＴＴＦＦ
40.ＦＴＴＦＦＦＦＴＦＴＦ
41.ＦＴＦＴＴＴＦＴＴＦＴ
42.ＦＴＦＴＴＦＦＴＴＴＴ
43.ＦＴＦＴＦＴＦＴＴＦＴ
44.ＦＴＦＴＦＦＦＴＦＴＴ
45.ＦＴＦＦＴＴＴＴＴＦＴ
46.ＦＴＦＦＴＦＴＴＴＴＴ
ˇ
47.ＦＴＦＦＦＴＴＴＴＦＴ
48.ＦＴＦＦＦＦＴＴＦＴＴ
49.ＦＦＴＴＴＴＦＴＴＦＦ
50.ＦＦＴＴＴＦＦＴＴＴＦ
51.ＦＦＴＴＦＴＦＴＴＦＦ
52.ＦＦＴＴＦＦＦＴＴＴＦ
53.ＦＦＴＦＴＴＦＴＴＦＦ
54.ＦＦＴＦＴＦＦＴＴＴＦ
55.ＦＦＴＦＦＴＦＴＴＦＦ
56.ＦＦＴＦＦＦＦＴＴＴＦ
57.ＦＦＦＴＴＴＦＴＴＦＴ
58.ＦＦＦＴＴＦＦＴＴＴＴ
59.ＦＦＦＴＦＴＦＴＴＦＴ
60.ＦＦＦＴＦＦＦＴＴＴＴ
61.ＦＦＦＦＴＴＴＴＴＦＴ
62.ＦＦＦＦＴＦＴＴＴＴＴ
ˇ
63.ＦＦＦＦＦＴＴＴＴＦＴ
64.ＦＦＦＦＦＦＴＴＴＴＴ
ˇ
根據上列真值表可知：
符合四個前提的狀況(ＧＨＩＪ四行皆為真)，
只有10,14,30,32,46,62,64七列
而這七列的Ｋ值(結論)，也都是真，絕無例外
可見這是一個有效論證
並且可以得知：如果這四個前提成立的話，就只有這七種可能：
10.ＡＢＤＥ真，ＣＦ假
(即甄大,吳一,蘇五,白七殺了人，張三,賈九沒殺)
14.ＡＢＥ真，ＣＤＦ假
(即甄大,吳一,白七殺了人，張三,蘇五,賈九沒殺)
30.ＡＥ真，ＢＣＤＦ假
(即甄大,白七殺了人，吳一,張三,蘇五,賈九沒殺)
32.Ａ真，ＢＣＤＥＦ假
(即甄大殺了人，吳一,張三,蘇五,白七,賈九沒殺)
46.ＢＥ真，ＡＣＤＦ假
(即吳一,白七殺了人，甄大,張三,蘇五,賈九沒殺)
62.Ｅ真，ＡＢＣＤＦ假
(即白七殺了人，甄大,吳一,張三,蘇五,賈九沒殺)
64.ＡＢＣＤＥＦ皆為假
(即甄大,吳一,張三,蘇五,白七,賈九都沒殺人)
由此再次證明：法官推論張三沒殺李四是正確的
至於有人推斷所有人都沒殺人，則只是上列七種可能之一而已
以上是真值表法的實例，當然還有其他比較巧妙的方法囉
^_^
PS.真值表判讀示例：
ＡＢＣＤＥＦＧＨＩＪＫ
－－－－－－－－－－－
1.ＴＴＴＴＴＴＴＦＴＦＦ 六人皆殺人，則前提２和４不成立
2.ＴＴＴＴＴＦＴＦＴＴＦ 只有賈九沒殺人，則前提２不成立
3.ＴＴＴＴＦＴＴＴＴＦＦ 只有白七沒殺人，則前提４不成立