logika dasar - · pdf fileargumentasi 7 8 pernyataan berkuartor . outline 1. logika...

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