TUGAS MODUL 1 LOGIKA MATEMATIKA
NAMA: MUNAJIB USERNAME: 18106018010058
PPG DALAM JABATAN FKIP UNIVERSITAS MUHAMMADIYAH SUMATERA UTARA
Tugas M1 KB 1 Logika Matematika 1) Suatu pernyataan, dapat dinyatakan dalam bentuk simbol-simbol yang bisa dicari nilai kebenarannya melalui tabel kebenaran. Berikut ini terdapat tiga tugas yang harus saudara selesaikan dengan cara membuat tabel kebenaran untuk setiap pernyataan. Tuliskan langkahlangkah yang harus dilakukan untuk menyelesaikan permasalahan berikut. a) ((⇒) ∧ (⇒)) ⇒ (⇒)
b) (( ) ( )) c) ~ ( )
2) Berdasarkan penjelasan tentang tautologi dan kontradiksi. Selesaikan masalah berikut ini
dengan menuliskan langkah-langkahnya. a) ((~ ∨ ) ∧ (~ ∨ )) ⇒ (~ ∨ ) b) ( ) ( ) c) ( )
3) Buatlah suatu argumen yang berkaitan dengan kehidupan sehari-hari dengan menggunakan
aturan logika matematika yaitu Modus Ponens, Modus Tollens, dan Silogisme.
4) Buktikan keabsahan argumen berikut dengan menuliskan langkah dan aturan-aturan yang
digunakan untuk pembuktian. ⇒ ( ∧ ) ( ∨ ) ⇒ ∨
5) Susunlah bukti formal keabsahan argumen berikut dengan memakai lambang-lambang
proposisi yang diberikan. Gunakanlah simbol m (matematika), g (geometri), t (trigonometri), j (aljabar), a (aritmetika). a) Jika banyak siswa yang memilih matematika maka geometri diharuskan dan
trigonometri diharuskan. b) Jika geometri diharuskan atau aljabar diharuskan maka aritmetika diharuskan. c) Banyak mahasiswa yang memilih matematika. Oleh karena itu, aritmetika diharuskan atau aljabar diharuskan.
6) Suatu argumen dapat dibuktikan keabsahannya dengan menggunakan aturan bukti bersyarat maupun Reductio Ad Absordum (Bukti Tak Langsung). a) Buktikan keabsahan argumen berikut dengan menggunakan aturan bukti bersyarat. (∨) ⇒ ((∧) ⇒)
∴⇒ ((∧) ⇒) b) Buktikan
keabsahan
argumen
berikut
dengan
menggunakan
aturan
Ad Absordum (Bukti Tak Langsung).
( ) (∨) ∨
JAWAB:
1. a. ((⇒) ∧ (⇒)) ⇒ (⇒)
((
⇒
)
∧
⇒
))
⇒
(
⇒
()
B
B
B
B
B
B
B
B
B
B
B
B
B
B
S
B
S
S
B
B
S
S
B
S
S
B
S
B
B
B
B
B
B
B
B
S
S
S
S
S
B
B
S
S
S
B
B
B
B
B
B
B
S
B
B
S
B
B
S
B
S
S
B
S
B
S
S
B
S
B
S
B
B
B
S
B
B
S
B
S
B
S
B
S
B
S
B
S
1
2
1
3
1
2
1
4
1
2
1
Maka nilai kebenaran dari pernyataan ((
) (
))
(
)
adalah BBBBBBBB
b. (( ) ( )) ((
)
( ))
B
B
B
S
S
B
S
B
S
S
S
B
B
S
S
B
B
S
S
B
B
S
B
S
B
B
B
B
1
2
1
3
1
4
1
Maka nilai kebenaran dari pernyataan((
adalah BBBB
Reductio
c. ~ ( )
~
(
)
S
B
B
B
S
S
S
B
B
S
S
S
S
S
B
B
S
S
B
S
S
S
S
B
3
1
2
1
4
1
Maka nilai kebenaran dari pernyataan
adalalah SSSS
2. a. ((~ ∨ ) ∧ (~ ∨ )) ⇒ (~ ∨ )
((~ S
∨ B
) B
∧ B
(~ S
∨ B
)) B
⇒ B
(~ S
∨ B
) B
S
B
B
S
S
S
S
B
S
S
S
S
S
S
S
B
B
B
B
S
B
B
S
S
S
S
B
B
S
B
S
S
S
B
B
B
B
S
B
B
B
B
B
B
B
B
B
S
S
S
S
B
B
B
S
B
B
S
B
B
B
B
B
B
B
B
B
B
S
B
B
B
S
B
B
B
S
1
2
1
3
1
2
1
4
1
2
1
Berdasarkan tabel di atas terlihat nilai kebenarannya adalah BBBBBBBB sehingga pernyataan merupakan tautologi.
b. ( ) ( ) (
)
B
B
B
S
S
B
B
B
B
S
S
S
B
B
S
S
S
S
B
S
S
S
B
B
S
S
S
S
B
S
S
S
1
2
1
4
3
1
2
1
Berdasarkan tabel di atas terlihat bahwa nilai kebenarannya adalah SSSS sehingga pernyataan merupakan kontradiksi
c. ( )
(
)
B
B
S
B
B
B
B
B
B
B
S
S
S
B
B
S
S
B
S
B
B
S
S
S
1
4
3
1
2
1
Berdasarkan tabel di atas terlihat bahwa nilai kebenarannya adalah BBBB sehingga pernyataan
merupakan tautologi
3. Diberikan pernyataan-pernyataan sebagai berikut: p
: Calon guru profesional mengikuti PPG
q
: Calon guru profesional mendapatkan sertifikat pendidik
r
: Calon guru profesional mendapat tunjangan
a) Modus Ponens
1 : ⇒ q 2 : ∴ Premis 1 : Jika calon guru profesional mengikuti PPG maka ia mendapatkan sertifikat pendidik Premis 2 : Calon guru profesional mendapatkan sertifikat pendidik Kesimpulan: Calon guru profesional mengikuti PPG b) Modus Tollens
1 : ⇒ q 2 : ~ ∴ ~ Premis 1 : Jika calon guru profesional mengikuti PPG maka ia mendapatkan sertifikat pendidik Premis 2 : Calon guru profesional tidak mendapatkan sertifikat pendidik Kesimpulan: Calon guru profesional tidak mengikuti PPG
c) Silogisme
1 : ⇒ q 2 : ⇒ r ∴⇒ r Premis 1 : Jika calon guru profesional mengikuti PPG maka ia mendapatkan sertifikat pendidik Premis 2 : Jika calon guru profesional mendapatkan sertifikat pendidik, maka ia mendapatkan tunjangan Kesimpulan : Jika calon guru profesional mengikuti PPG maka ia mendapatkan tunjangan
4. Membuktikan keabsahan ⇒ ( ∧ ) ( ∨ ) ⇒ ∨ Bukti,
1. ⇒ ( ∧ ) 2. ( ∨ ) ⇒ 3. 4. ( ∧ )
( 1,3 Modus Ponen)
5.
( 4, Aturan Penyederhanaan)
6. ( ∨ )
(5, Aturan penambahan)
7.
(2,6 Modul Ponen)
8. ∨
( 7, Aturan penambahan)
Terbukti
5. Membuktikan keabsahan dari pernyataan ⇒ ( g ∧ ) (g ∨ ) ⇒ ∨
Bukti,
1. ⇒ (g ∧ ) 2. (g ∨ ) ⇒ 3. 4. (g ∧ )
( 1,3 Modus Ponen)
6.
5. g
( 4, Aturan Penyederhanaan)
6. (g ∨ )
(5, Aturan Penambahan)
7.
(2,6 Modul Ponen)
8. ∨
( 7, Aturan penambahan)
a. Membuktikan keabsahan argumen dengan Bukti Aturan Bersyarat (∨) ⇒ ((∧) ⇒)
∴⇒ ((∧) ⇒)
1. (∨) ⇒ ((∧) ⇒)
( Premis 1)
2. /∴((∧) ⇒)
(Premis tambahan dan konklusi baru)
3. ∨
(2, Aturan Penambahan)
4. ((∧) ⇒)
(1,3 Modus Ponen)
5. ⇒ ((∧) ⇒)
(2 s.d 4 aturan bukti bersyarat)
b. Membuktikan keabsahan argumen dengan ReductioAd Absordum (Bukti Tak Langsung).
( ) (∨) ∨
Bukti,
1.
⇒ ( ∧ )
(premis 1)
2.
( ∨ ) ⇒
(premis 2)
3.
∨
(premis 3)
4.
~e
(premis tambahan)
5.
~(b ∨ d)
(2,4 Modus Tollens)
6.
~∧ ~
(5 Hukum DeMorgan)
7.
~
(6 Aturan Penyederhanaan)
8.
~
(6 Aturan Penyederhanaan)
9.
~⇒
(3 Hukum Implikasi)
10.
(9,8 Modus Ponens)
11. ∧
(1,10 Modus Ponens)
12.
(11 Aturan Penyederhanaan)
13. ∧ ~
(7,12 Hukum Konjungsi)
14. ∨
(12 Aturan Penambahan)
15. ~
(14 Hukum Implikasi)
16.
(14,7 Silogisme Disjungtif)
Sehingga argumen tersebut terbukti
Catatan: 1. Langkah ke-13 menunjukkan adanya kontradiksi sebab ∧ ~ (menurut hukum komplemen) bernilai salah ( False). 2. Setelah ditemukan adanya kontradiksi, langkah berikutnya menggunakan aturan penambahan dan silogisme disjungtif untuk membuktikan konklusi.
