Nama : Muhammad Sopandi B Bara

Kelas : TK2020B

NIM : 312020066

Latihan Soal :
1. Manakah yang merupakan proposisi atomik dan proposisi majemuk ? Jika merupakan proposisi
majemuk ,tentukan proposisi atomiknya ! (proposisi penyusunnya)
a. Hari ini tidak ada kelas matematika logika tetapi ada kelas system digital
b. Setiap mahasiswa membawa KTM
c. 4 dan 5 adalah faktor dari 20
Jawaban :
a. Merupakan prosisi majemuk
A : Hari ini tidak ada kelas matematika
B : hari ini ada kelas

b. Merupakan roposisi atomik

A : mahasiswa putra membawa KTM

c. Merupakan proposisi majemuk

A : 4 adalah faktor dari 20
B : 5 adalah faktor dari 20

2. Diberikan beberapa proposisi berikut : p : Hari ini saya berangkat ke kampus q : Hari ini saya ke mall
Nyatakan kalimat di bawah ini dengan symbol logika .
a. Hari ini saya tidak berangkat ke kampus tetapi ke mall
b. Tidak benar hari ini saya berangkat ke kampus dan ke mall
c. Jika saya tidak ke mall maka saya berangkat ke kampus
Jawaban :
a. ~p Ʌ q
b. ~( p Ʌ q )
c. ~q  p

3. Diberikan beberapa proposisi atomik berikut

p : kami pintar membuat program
q : kami akan mengikuti kontes robotic
Nyatakan symbol logika di bawah ini ke dalam proposisi
a. p → q
b. ~ p V ~q
c. ~q ↔ p
Jawaban :
a. Jika kami pintar membuat program, maka kami akan mengikuti kontes robotic
b. Kami tidak pintar membuat program atau kami tidak akan mengikuti kontes robotic
c. Kami tidak akan mengikuti kontes robotic jika dan hanya jika kami pintar membuat program
4. Tentukan konvers, invers dan kontraposisi dari pernyataan berikut :
“Syarat cukup sebuah bangun datar persegi adalah memiliki 4 buah sisi yang sama panjang.”
Jawaban :
Implikasi, syarat cukup untuk q adalah p
"jika ia mampu membuat program sederhana, maka ia seorang programmer"
P : Mampu membuat program
q : seorang programmer
 Konvers : q → p, jika ia seorang programmer, maka ia mampu membuat program
sederhana."
 invers : ~p → ~q, jika ia tidak mampu membuat program sederhana, maka ia buka seorang
programer.
 kotraposisi : ~q → ~p : jika ia bukan seorang programmer, maka ia tidak mampu membuat
program sederhana.

5. Tentukan dengan tabel kebenaran apakah ekpresi logika di bawah ini equivalen , tautologi
,kontradiksi atau kontingensi ?
a. ~p → q = ~q → p
b. (p →q) ↔ (~p V q)
c. [q Ʌ (p →q)] → p
Jawaban :
a. ~p → q = ~q → p
P q ~P ~q ~p → q ~q → p
T T F F T T
T F F T T T
F T T T T T
F F T T T T

b. (p → q) ↔ (~p v q )
P q ~P ~q ~p → q ~q → p
T T F T T T
T F F F F T
F T T T F T
F F T T T T

c. [q Ʌ (p →q)] → p
p q P→q q Ʌ (p → q ) [q Ʌ (p → q)] →p
T T F T T
T F F F T
F T T T F
F F T T T
 Converse, Inverse & Contrapositive Dari implikasi p  q dapat di buat pernyataan-
pernyataan baru :
 Converse (konvers) : q  p.
 Inverse (invers) : ¬p  ¬q
 Contrapositive (kontraposisi : ¬q  ¬ p.
Contoh : Jika bayi Omar lapar, maka ia menangis
Converse : Jika bayi Omar menangis , maka ia lapar
Inverse : Jika bayi Omar tidak lapar , maka ia tidak menangis
Contrapositive : Jika bayi Omar tidak menangis , maka ia tidak lapar

Tautology adalah proposisi majemuk yang selalu bernilai true /benar tidak tergantung pada
nilai kebenaran proposisi penyusunnya
Kontradiksi adalah proposisi majemuk yang selalu bernilai false /salah tidak tergantung pada
nilai kebenaran proposisi penyusunnya
Kontingensi merupakan bentuk campuran dari nilai false/salah dan true/benar

 Dua ekspresi logika di sebut ekuivalensi logis jika memiliki nilai kebenaran yang sama pada
tiap baris table kebenaran.
 Ekuivalensi di simbolkan dengan “≡”
Kisi-kisi UTS Thn Akademik 2020/2021 .
Matakuliah Matematika Logika
1. Pengertian Logika dan manfaat mempelajari Logika
2. Menentukan Proposisi dan bukan proposisi
3. Proposisi Majemuk dan menentukan Ekspresi Logika
4. Membuktikan dengan Tabel Kebenaran apakah merupakan Tautologi, Kontradiksi
dan Kontingensi
5. Menentukan Konvers , invers dan kontrapositif dari pernyataan majemuk
6. Membuktikan ekuivalensi logis dengan menggunakan Hukum Ekuivalensi Logis dan
Tabel kebenaran:
7. Menentukan fungsi Boolean dari rangkaian sederhana dan membuat Tabel
Kebenarannya