LOGIKA DASAR
PROGRAM STUDI MANAJEMEN INFORMATIKA
FAKULTAS TEKNIK
UNIVERSITAS MUHAMMADIYAH JEMBER
ILHAM SAIFUDIN Senin, 24 Oktober2016 Universitas Muhammadiyah Jember
Outline
LOGIKA
Ilham Saifudin MI MATEMATIKA DASAR
1
2
3
LOGIKA PROPOSISI
PERNYATAAN GABUNGAN
TAUTOLOGI DAN KONTRADIKSI
4 KESETARAAN LOGIS
5 ALJABAR PROPOSISI
6 IMPLIKASI DAN BIIMPLIKASI
7 ARGUMENTASI
8 PERNYATAAN BERKUARTOR
Outline
1. LOGIKA PROPOSISI
Ilham Saifudin MI MATEMATIKA DASAR
Logika proposisi berisi pernyataan-pernyataan (tunggal/gabungan)
Apa itu proposisi?
Berikan contoh proposisi?
Pernyataan gabungan dari pernyataan dengan penghubung “dan / ∧”.
Pernyataan gabungan dari pernyataan dengan penghubung “atau / ∨”.
2. Pernyataan Gabungan
Konjungsi
Disjungsi
Buatlah tabel contoh dan tabel kebenarannya !
Outline
Ilham Saifudin MI MATEMATIKA DASAR
A
B
Pernyataan yang meniadakan pernyataan yang ada, dapat di bentuk dengan menulis “salah bahwa” atau “tidak / ∼ ” dalam pernyataan.
Negasi
Jointdenial (Not Or/NOR / ∼ (𝑝 ∨ 𝑞) )
Pernyataan gabungan yang dihasilkan dari menegasikan disjungsi .
Outline
Ilham Saifudin MI MATEMATIKA DASAR
C
D
Not And (NAND / ∼ (𝑝 ∧ 𝑞))
Pernyataan gabungan yang dihasilkan dari menegasikan konjungsi.
Exclusive or (Exor / ⨁)
Pernyataan gabungan dimana salah satu p atau q (tidak kedua-duanya) = benar
Outline
Ilham Saifudin MI MATEMATIKA DASAR
E
F
Exclsive Nor (ExNOR / ∼ (𝑝⨁𝑞))
Pernyataan gabungan dari Exor dimana nilai kebenarannya benar bila kedua pernyataan benar atau salah
Outline
Ilham Saifudin MI MATEMATIKA DASAR
G
3. Tautologi dan Kontradiksi
a. Tautologi
Propisisi yang selalu benar apapun pernyataannya (𝑝 ∨∼ 𝑝)
b. Kontradiksi
Propisisi yang selalu salah apapun pernyataannya (𝑝 ∧∼ 𝑝)
Outline
Ilham Saifudin MI MATEMATIKA DASAR
4. Kesetaraan Logis
Dua buah pernyataan yang berbeda dikatakan setara bila nilai kebenarannya sama
Outline
Ilham Saifudin MI MATEMATIKA DASAR
5. Aljabar Proposisi
Penerapan hukum-hukum aljabar dalam logika proposisi.
Outline
Ilham Saifudin MI MATEMATIKA DASAR
5. Aljabar Proposisi
Outline
Ilham Saifudin MI MATEMATIKA DASAR
5. Aljabar Proposisi
Outline
Ilham Saifudin MI MATEMATIKA DASAR
6. Implikasi dan Biimplikasi
a. Implikasi
𝑝 → 𝑞
Outline
Ilham Saifudin MI MATEMATIKA DASAR
6. Implikasi dan Biimplikasi
b. Konvers, Invers dan Kontraposisi
𝑝 → 𝑞, maka
Konvers : 𝑞 → 𝑝 Invers : ~𝑝 → ~𝑞 Kontraposisi : ~𝑞 → ~𝑝
Outline
Ilham Saifudin MI MATEMATIKA DASAR
6. Implikasi dan Biimplikasi
Konvers, Invers dan Kontraposisi
Outline
Ilham Saifudin MI MATEMATIKA DASAR
6. Implikasi dan Biimplikasi
b. Biimplikasi
𝑝 ↔ 𝑞
Outline
Ilham Saifudin MI MATEMATIKA DASAR
7. Argumentasi
Outline
Ilham Saifudin MI MATEMATIKA DASAR
7. Argumentasi
Outline
Ilham Saifudin MI MATEMATIKA DASAR
7. Argumentasi
Macam-macam dasar menarik kesimpulan
Outline
Ilham Saifudin MI MATEMATIKA DASAR
7. Argumentasi
Macam-macam dasar menarik kesimpulan
Outline
Ilham Saifudin MI MATEMATIKA DASAR
7. Argumentasi
Macam-macam dasar menarik kesimpulan
Outline
Ilham Saifudin MI MATEMATIKA DASAR
7. Argumentasi
Contoh
Outline
Ilham Saifudin MI MATEMATIKA DASAR
8. Pernyataan Berkuartor
Macam-macam
Outline
Ilham Saifudin MI MATEMATIKA DASAR
Negasi Kuartor
8. Pernyataan Berkuartor
Outline
Ilham Saifudin MI MATEMATIKA DASAR
“TERIMAKASIH”
Outline
Ilham Saifudin MI MATEMATIKA DASAR