logika dasar - · pdf fileoutline logika ilham saifudin mi matematika dasar 1 2 3 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


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


A

B

Pernyataan yang meniadakan pernyataan yang ada, dapat di bentuk dengan menulis “salah bahwa” atau “tidak / ∼ ” dalam pernyataan.

Negasi

Outline


C

𝒑𝒆𝒓𝒏𝒚𝒂𝒕𝒂𝒂𝒏 𝒏𝒆𝒈𝒂𝒔𝒊

𝑝 ∧ 𝑞 ∼ 𝑝 ∧ 𝑞 =∼ 𝑝 ∨∼ 𝑞

𝑝 ∨ 𝑞 ∼ 𝑝 ∨ 𝑞 =∼ 𝑝 ∧∼ 𝑞

𝑝 ⟶ 𝑞 ∼ 𝑝 ⟶ 𝑞 = 𝑝 ∧∼ 𝑞

𝑝 ⟷ 𝑞 𝑝 ∧∼ 𝑞 ∨ (𝑞 ∧∼ 𝑝)

𝑠𝑒𝑚𝑢𝑎 𝑝(𝑥) 𝑎𝑑𝑎 ∼ 𝑝(𝑥)

𝑎𝑑𝑎 𝑝(𝑥) 𝑠𝑒𝑚𝑢𝑎 ∼ 𝑝(𝑥)

Jointdenial (Not Or/NOR / ∼ (𝑝 ∨ 𝑞) )

Pernyataan gabungan yang dihasilkan dari menegasikan disjungsi .

Outline


D

Not And (NAND / ∼ (𝑝 ∧ 𝑞))

Pernyataan gabungan yang dihasilkan dari menegasikan konjungsi.

E

Exclsive Nor (ExNOR / ∼ (𝑝⨁𝑞))

Pernyataan gabungan dari Exor dimana nilai kebenarannya benar bila kedua pernyataan benar atau salah

Outline


G

Exclusive or (Exor / 𝑝⨁𝑞)

Pernyataan gabungan dimana salah satu p atau q (tidak kedua-duanya) = benar

F

3. Tautologi dan Kontradiksi

a. Tautologi

Propisisi yang selalu benar apapun pernyataannya (𝑝 ∨∼ 𝑝)

b. Kontradiksi

Propisisi yang selalu salah apapun pernyataannya (𝑝 ∧∼ 𝑝)

Outline


4. Kesetaraan Logis

Dua buah pernyataan yang berbeda dikatakan setara bila nilai kebenarannya sama

Outline


5. Aljabar Proposisi

Penerapan hukum-hukum aljabar dalam logika proposisi.

Outline


5. Aljabar Proposisi

Outline


6. Implikasi dan Biimplikasi

a. Implikasi

𝑝 → 𝑞

Outline



b. Konvers, Invers dan Kontraposisi

𝑝 → 𝑞, maka

Konvers : 𝑞 → 𝑝 Invers : ~𝑝 → ~𝑞 Kontraposisi : ~𝑞 → ~𝑝

Outline



Konvers, Invers dan Kontraposisi

Outline



b. Biimplikasi

𝑝 ↔ 𝑞

Outline


7. Argumentasi

Outline


7. Argumentasi

Macam-macam dasar menarik kesimpulan

Outline


7. Argumentasi

Contoh

Outline


8. Pernyataan Berkuartor

Macam-macam

Outline


Negasi Kuartor

8. Pernyataan Berkuartor

Outline


“TERIMAKASIH”

Outline


logika dasar - · pdf fileoutline logika ilham saifudin mi matematika dasar 1 2 3 logika...

Documents