Metode Penetapan Kebenaran

Dengan menggunakan metode penetapan kebenaran, buktikan argument berikut valid atau invalid

1. (P ⇒ Q) ∧ (P ⇒ R) ⇒ (P ⇒ (Q ∧ R))

2. [((S  W)  (B  T))  ((T  H)  (M  S))]  (M  T)

3. (T  (L  T))  [(T  ~T)  (T  L)]

4. [(T  (C  K))  (T  I)  ((M  M)  ~(~W  I))]  [W  (~(C  K)  M)]

5. [(T  (C  K))  (T  I)  ((M  M)  ~(~W  I))]  [(W  ~(C  K))  M]

6. [~P  (Q  ~R)  Q  (P  R)]  (P  R)

1
(P ⇒ Q) ∧ (P ⇒ R) ⇒ (P ⇒ (Q ∧ R))
1 0 0

1 1 1 0
1 1

1? 1?

1? 1?

Terlihat bahwa terdapat ketidaksesuaian untuk argument Q ∧ R, karena saat Q & R bernilai 1, haruslah Q ∧ R bernilai 1
juga. Namun, sebagai akibat dari konklusi (P ⇒ (Q ∧ R)) haruslah Q ∧ R bernilai 0. Karena terjadi perbedaan untuk
nilai Q ∧ R, maka argument diatas tidak terbukti invalid.

Walaupun tidak terbukti invalid, secara logika belum cukup

untuk memberi kesimpulan bahwa argument tersebut valid.
Maka akan terlebih dulu dilakukan pembuktian validitas
argument.
Apakah (P ⇒ Q) ∧ (P ⇒ R) ⇒ (P ⇒ (Q ∧ R)) valid?
Pernyataan (P ⇒ Q) ∧ (P ⇒ R) ⇒ (P ⇒ (Q ∧ R))
berkorespondensi dengan argumen:
(P ⇒ Q)
(P ⇒ R) /  P ⇒ (Q ∧ R)
Tabel Kebenaran
PQ  P (P ⇒ Q) ∧ (P ⇒ R) Pembuktian Validitas:
P Q R PQ PR Q∧R
PR (Q ∧ R) ⇒ (P ⇒ (Q ∧ R)) 1. (P ⇒ Q)
1 1 1 1 1 1 1 1 1
2. (P ⇒ R) /  P ⇒ (Q ∧ R)
1 1 0 1 0 0 0 0 1
3. P CP /  Q ∧ R
1 0 1 0 1 0 0 0 1
4. Q 1,3 MP
1 0 0 0 0 0 0 0 1
5. R 2,3 MP
0 1 1 1 1 1 1 1 1

0 1 0 1 1 1 0 1 1
6. Q ∧ R 4,5 Conj

0 0 1 1 1 1 0 1 1

0 0 0 1 1 1 0 1 1
Argumen terbukti valid
2
[((S  W)  (B  T))  ((T  H)  (M  S))]  (M  T)
1 0 0
1 1
Asumsikan nilai kebenaran M adalah benar (1)
1 1 0
0 0
0 0
0 0 0 0

0 0
Asumsikan nilai kebenaran B adalah benar (1)
1

Karena dengan memisalkan pernyataan M & B adalah benar mengakibatkan S, W, T dan H bernilai salah atau saat
premis bernilai benar mengakibatkan pernyataan [((S  W)  (B  T))  ((T  H)  (M  S))]  (M  T) bernilai
salah, maka terbukti bahwa argument diatas invalid.
3
(T  (L  T))  [(T  ~T)  (T  L)]
1 0 1 0 0

Karena T  ~ T harus bernilai 1 maka nilai kebenaran T adalah 0

0 1
0 0 0
1&0

Terlihat bahwa terdapat ketidaksesuaian untuk argument L ∧ T, karena saat T bernilai 0 dan T  (L  T) bernilai 1,
haruslah L ∧ T bernilai 1. Namun, sebagai akibat dari premis T  ~ T haruslah L ∧ T bernilai 0, karena nilai T = 0.
Karena terjadi perbedaan untuk nilai L ∧ T, maka argument diatas tidak terbukti invalid.

Walaupun tidak terbukti invalid, secara logika belum cukup untuk memberi
kesimpulan bahwa argument tersebut valid. Maka akan terlebih dulu
dilakukan pembuktian validitas argument.
 Apakah (T  (L  T))  [(T  ~T)  (T  L)]
Pernyataan (T  (L  T))  [(T  ~T)  (T  L)]
valid?
berkorespondensi dengan argumen:

Tabel Kebenaran (T  (L  T)) / (T  ~T)  (T  L)

T  ~T (T  ~T) 
T L ~T L  T T  (L  T) Pembuktian Validitas:
(T  L)
1 1 0 1 1 0 1
1. T  (L  T) / (T  ~T)  (T  L)
2. T  ~T CP / T  L
1 0 0 0 1 0 1
3. (T  L)  (T  T) 1, Dist
0 1 1 0 0 1 0 4. (T  T)  (T  L) 3, Comm
0 0 1 0 0 1 0 5. T  T 4, Simp
6. T 5, Taut
7. ~T 2,6 MP
Karena pada baris ke-1 dan 2 (baris kritis) menghasilkan 8. T  L 3, Simp
konklusi yang benar untuk semua premis benar, maka 9. L 8,7 DS
terbukti bahwa argument valid. 10. T  L 6,9 Conj
4

[(T  (C  K))  (T  I)  ((M  M)  ~(~W  I))]  [W  (~(C  K)  M)]

1 1 0 0
1 1 1 1 0
1 1 0
1 1 0 1
1 1 1 1
1
Asumsikan nilai kebenaran M adalah benar (1)
1 1 1
1

Karena untuk nilai T, C, K, I, dan W adalah benar dan dengan memisalkan pernyataan M adalah benar atau saat premis
bernilai benar mengakibatkan pernyataan [(T  (C  K))  (T  I)  ((M  M)  ~(~W  I))]  [W  ~(C  K)  M]
bernilai salah, maka terbukti bahwa argument diatas invalid.
5
[(T  (C  K))  (T  I)  ((M  M)  ~(~W  I))]  [(W  ~(C  K))  M]
1 1 0 0
1 1 1 1 0
1 1 0 0
1 1 0 1

1 1 1 1
0 1
0 1 1

Terlihat bahwa terdapat ketidaksesuaian untuk premis (M  M)  ~(~W  I). Karena seharusnya agar premis tersebut
bernilai benar, haruslah salah satu argument bernilai benar juga, namun karena sebagai akibat dari nilai argumen yang
lain, menyebabkan kedua argumen M  M dan ~(~W  I) bernilai salah. Maka pernyataan [(T  (C  K))  (T  I) 
((M  M)  ~(~W  I))]  [(W  ~(C  K))  M] tidak terbukti invalid.

Walaupun tidak terbukti invalid, secara logika belum cukup untuk memberi kesimpulan bahwa
argument tersebut valid. Maka akan terlebih dulu dilakukan pembuktian validitas argument.
Apakah [(T  (C  K))  (T  I)  ((M  M)  ~(~W  I))]  [(W  ~(C  K))  M] valid?

Pernyataan [(T  (C  K))  (T  I)  ((M  M)  ~(~W  I))]  [(W  ~(C  K))  M]

Berkorespondensi dengan argument:
T  (C  K)
TI
(M  M)  ~(~W  I) /(W  ~(C  K))  M 8. C  K 7, Add
9. ~~(C  K) 8, DN
10. ~W 4,9 MT
Pembuktian Validitas: 11. I  T 2, Comm
1. T  (C  K) Pr. 12. I 11, Simp
2. T  I Pr. 13. ~W  I 10,12 Conj
3. (M  M)  ~(~W  I) Pr. /(W  ~(C  K))  M 14. ~~(~W  I) 13, DN
4. W  ~(C  K) CP / M 15. ~(~W  I)  (M  M) 3, Comm
5. T 2, Simp 16. M  M 15,14 DS
6. (C  K) 1,5 MP 17. M 16, Taut
7. C 6, Simp Argumen terbukti valid
6
[(~P  (Q  ~R))  (Q  (P  R))]  (P  R)
1 1 1 0 0
Misalkan nilai kebenaran P adalah benar (1)
0 1 1
1 1 0 0

0
0 0

Karena saat P bernilai benar, Q salah, dan R salah atau saat semua premis bernilai benar mengakibatkan pernyataan
[(~P  (Q  ~R))  (Q  (P  R))]  (P R) bernilai salah, maka terbukti bahwa argument diatas invalid.
Tabel Kebenaran
[(~P  (Q ~R))  (Q  (P  R))]  (P  R)

Q
P Q R ~P ~R Q ~R PR ~P  (Q ~R) PR
(P  R)

1 1 1 0 0 1 1 1 1 1

1 1 0 0 1 1 0 1 0 0
Karena pada baris ke-4 & 7
1 0 1 0 0 0 1 0 1 1
menghasilkan konklusi yang
1 0 0 0 1 1 0 1 1 0 salah untuk premis benar,

0 1 1 1 0 1 0 1 0 0 maka terbukti bahwa argument

tersebut invalid.
0 1 0 1 1 1 0 1 0 1

0 0 1 1 0 0 0 1 1 0

0 0 0 1 1 1 0 1 1 1