๐ Daftar Isi
CASE I : Two Opposite Kinds of Inhabitants of an Island
An island that has two kinds of inhabitants:
knights (satria), who always tell the truth
knaves (penipu), who always lie.
You encounter two people A and B. If A says โB is a knightโ and B says โThe two of us are opposite typeโ, then can you tell what type are A and B ?
Solusi:
Misalkan
p := A adalah seorang satria yang selalu jujur
q := B adalah seorang satria yang selalu jujur
berarti
ยฌp := A adalah seorang penipu yang selalu berbohong
ยฌq := B adalah seorang penipu yang selalu berbohong
Kasus I: A adalah seorang satria yang selalu jujur, atau p bernilai true
Kasus II: A adalah seorang penipu yang selalu berbohong, atau p bernilai false
Untuk Kasus I
(I.1) p bernilai true
Berarti pernyataan A benar, yaitu B adalah seorang satria yang selalu jujur.
Berarti
(I.2) q bernilai true
Hal ini mengakibatkan pernyataan B benar, yaitu salah satu dari A dan B adalah satria, sedangkan yang satu lagi adalah penipu. Kenyataan ini dapat dinyatakan sebagai (p โง ยฌq) โจ (ยฌp โง q) yang harus bernilai true.
Sedangkan dalam keadaan (I.1) dan (I.2), (p โง ยฌq) โจ (ยฌp โง q) โก (true โง ยฌtrue) โจ (ยฌtrue โง true) โก false.
Terjadi kontradiksi, berarti kasus I tidak mungkin terjadi.
Untuk Kasus II
(II.1) p bernilai false
berarti pernyataan A tidak benar, yaitu B adalah seorang satria yang selalu jujur adalah tidak benar. Jadi haruslah
(II.2) q bernilai false,
hal ini mengakibatkan pernyataan B juga tidak benar, yaitu salah satu dari A dan B adalah satria, sedangkan yang satu lagi adalah penipu tidak benar. Berarti pernyataan (p โง ยฌq) โจ (ยฌp โง q) yang harus bernilai false.
Dan dalam keadaan (II.1) dan (II.2), (p โง ยฌq) โจ (ยฌp โง q) โก (false โง ยฌfalse) โจ (ยฌfalse โง false) โก false.
Tidak terjadi kontradiksi, berarti kasus II yang terjadi.
โด Kesimpulannya: A dan B kedua-duanya adalah penipu.
Masalah ini dapat juga diselesaikan dengan meninjau kasus untuk si B:
Kasus IB: B adalah seorang satria yang selalu jujur, atau q bernilai true
Kasus IIB: B adalah seorang penipu yang selalu berbohong, atau q bernilai false
Untuk kasus IB:
(IB.1) q bernilai true
berarti pernyataan B benar, yaitu salah satu dari A dan B adalah satria, sedangkan yang satu lagi adalah penipu. Kenyataan ini dapat dinyatakan sebagai
(IB.2) (p โง ยฌq) โจ (ยฌp โง q) dan (IB.2) harus bernilai true
Perhatikan nilai kebenaran dari (IB.2) dalam keadaan (IB.1):
(p โง ยฌq) โจ (ยฌp โง q) โก (p โง ยฌtrue) โจ (ยฌp โง true)
โก false โจ (ยฌp โง true)
Karena (IB.2) harus bernilai true, jadi ยฌp harus bernilai true. Dengan demikian p harus bernilai false.
p bernilai false, memberi arti bahwa A adalah penipu, jadi pernyataan A, yaitu B adalah seorang satria adalah tidak benar, atau q bernilai false. Hal ini bertentangan dengan (IB.1). Jadi, kasus IB tidak mungkin terjadi.
Untuk kasus IIB:
(IIB.1) q bernilai false
berarti pernyataan B, yaitu salah satu dari A dan B adalah satria, sedangkan satu lagi adalah penipu adalah false. Hal ini berarti
(IIB.2) (p โง ยฌq) โจ (ยฌp โง q)
harus bernilai false. Dalam keadaan (IIB.1), nilai kebenaran (IIB.2) adalah
(p โง ยฌq) โจ (ยฌp โง q) โก (p โง ยฌfalse) โจ (ยฌp โง false)
โก (p โง true) โจ false.
Karena (IIB.2) harus bernilai false, jadi p harus bernilai false, atau A adalah penipu.
Karena A adalah penipu, maka pernyataan A, yaitu B adalah seorang satria adalah tidak benar, hal ini tidak bertentangan dengan (IIB.1), yaitu q bernilai false, atau B adalah penipu.
โด Kesimpulannya: A dan B kedua-duanya adalah penipu.
CASE II : Muddy Children Puzzle
A father tells his two children, a boy and a girl, to play in their backyard without getting dirty. However, while playing, both children get mud on their foreheads. When the children stop playing, the father says โAt least one of you has a muddy foreheadโ, and then asks the children to answer โyesโ or โnoโ to the question: โDo you know whether you have a muddy forehead?โ
Assume that both children are honest and that each child can see whether his or her sibling has a muddy forehead, but cannot see his or her own forehead.
If the father asks the above question twice and the children should answer each question simultaneously, then what will the children answer each time the question asked?
Solusi
Misalkan
s := dahi si putra kotor
d := dahi si putri kotor
Diketahui faktanya adalah s bernilai true, dan d juga bernilai true.
Pernyataan si ayah kepada putra dan putrinya adalah โAt least one of you has a muddy foreheadโ,
yang berarti bahwa proposisi p := s โจ d bernilai true.
Dipertanyakan jawaban serentak apa yang diberikan oleh putra dan putrinya terhadap pertanyaan yang sama:
โDo you know whether you have a muddy forehead?โ
untuk yang pertama kali dan yang kedua kali.
Jawaban serentak si putra dan si putri untuk pertanyaan pertama kali:
Si putra melihat dahi si putri kotor, berarti d bernilai true, yang mengakibatkan p juga bernilai true.
Jadi, si putra tidak dapat memastikan dahinya kotor atau tidak, maka ia akan menjawab โnoโ.
Begitu pula dengan si putri, ia melihat dahi si putra kotor berarti s bernilai true, yang mengakibatkan p juga bernilai true.
Jadi, si putri tidak dapat memastikan dahinya kotor atau tidak, maka ia akan menjawab โnoโ.
Jawaban serentak si putra dan si putri untuk pertanyaan kedua kali:
Setelah si putra mengetahui jawaban โnoโ dari si putri, berarti si putri mengetahui bahwa s bernilai true, maka si putra akan menjawab โyesโ untuk pertanyaan yang sama untuk yang kedua-kalinya. Begitu juga dengan si putri, ia akan menjawab โyesโ pula.
Materi Lengkap
Silakan baca juga beberapa artikel menarik kami tentang Matematika Diskrit – Logika, daftar lengkapnya adalah sebagai berikut.