Anda di halaman 1dari 6

TUGAS KB 1

LOGIKA MATEMATIKA

JAWAB
A.

TUGAS MODUL 1 KB 1 LOGIKA MATEMATIKA YANDI FARDIYANSAH, S.Pd


SMK TERPADU 2 YASPIDA SUKABUMI
B.

C.

A.

TUGAS MODUL 1 KB 1 LOGIKA MATEMATIKA YANDI FARDIYANSAH, S.Pd


SMK TERPADU 2 YASPIDA SUKABUMI
B.

C.

1. MODUS PONENS
Premis 1 : Jika seorang anak rajin belajar, maka ia lulus ujian
Premis 2 : Ahmad adalah anak yang rajin belajar
Kesimpulan : Ahmad lulus ujian

2. MODUS TOLLENS
Premis 1 : Jika hari minggu, maka budi bertamasya
Premis 2 : Budi tidak bertamasya
Kesimpulan : Bukan hari minggu

3. SILOGISME
Premis 1 : Jika budi rajin belajar, maka ia naik kelas
Premis 2 : Jika ia naik kelas, maka akan dibelikan sepeda
Kesimpulan : Jika budi rajin belajar, maka akan dibelikan sepeda.

TUGAS MODUL 1 KB 1 LOGIKA MATEMATIKA YANDI FARDIYANSAH, S.Pd


SMK TERPADU 2 YASPIDA SUKABUMI
JAWAB:

1. m ⟹ (q ʌ t)
2. (q v j) ⟹ a
3. m
4. (q ʌ t)........................(1,3 Modus Ponens)
5. q..............................(4 Aturan Penyederhanaan)
6. (q v j)........................(5 Aturan Penambahan)
7. a...............................(2,6) Modus Ponens)
8. (a v j).........................(7 Aturan Penambahan)

ARGUMEN SAH

TUGAS MODUL 1 KB 1 LOGIKA MATEMATIKA YANDI FARDIYANSAH, S.Pd


SMK TERPADU 2 YASPIDA SUKABUMI
JAWAB
Argumen tersebut dapat dinyatakan dengan simbol sebagai berikut :
1. m ⟹ (q ʌ t)
2. (q v j) ⟹ a
3. m / ∴ (a v j)
Bukti ke-sah-an nya sebagai berikut :
1. m ⟹ (q ʌ t)
2. (q v j) ⟹ a
3. m / ∴ (a v j)
4. (q ʌ t)........................(1,3 Modus Ponens)
5. q..............................(4 Aturan Penyederhanaan)
6. (q v j)........................(5 Aturan Penambahan)
7. a...............................(2,6) Modus Ponens)
8. (a v j).........................(7 Aturan Penambahan)
(TERBUKTI)

JAWAB
1. ( a V b) → [(�ʌ �) ⟹ �
] / ∴ �→ [(�ʌ �) ⟹ �
]
2. a / ∴ [(�ʌ �) ⟹ �
] .................................. Asumsi
3. a V b .......................................................... (2 Aturan Penambahan)
4. ( c ʌ d ) ⟹ e ............................................................. (1,3 Modus Ponens)
5. ( c ʌ d ) / ∴ e ............................................................. (Asumsi)
6. e .................................................................. ( 4, 5 Modus Ponens)
7. ( c ʌ d ) ⟹ e ............................................................. (5-6 Aturan Bukti Bersyarat)
8. �→ [(�ʌ �) ⟹ �
]......................................(2-7 Aturan Bukti Bersyarat)

TERBUKTI

TUGAS MODUL 1 KB 1 LOGIKA MATEMATIKA YANDI FARDIYANSAH, S.Pd


SMK TERPADU 2 YASPIDA SUKABUMI
JAWAB

1. a ⟹ ( b ˄ c)
2. (b V d) ⟹ e
3. d V a / ∴ e
4. ~�
.............................Asumsi
5. ~(b V d).........................(2,4 Modus Tollens)
6. ~�˄ ~�....................(5 De Morgan)
7. ~�.............................(6 Aturan Penyederhanaan)
8. ~�.............................(6 Aturan Penyederhanaan)
9. ~�→ �......................(3 Implikasi)
10. �................................(9,8 Modus Ponens)
11. �˄ �
...........................(1, 10 Modus Ponens)
12. �.................................(11 Aturan Penyederhanaan)
13. �˄ ~�........................(7,12 Konjungsi)
14. 𝐛 𝐕 𝐞 ..........................(12 Aturan Penambahan)
15. ��.................................(14,7 Silogisme Disjungtif)
TERBUKTI

TUGAS MODUL 1 KB 1 LOGIKA MATEMATIKA YANDI FARDIYANSAH, S.Pd


SMK TERPADU 2 YASPIDA SUKABUMI