logika matematika

10
Hardika Adhitama Nurul Syifa Salman Cakra .W Syafira Prisentria

Upload: nurul-syifa

Post on 02-Jul-2015

276 views

Category:

Documents


6 download

TRANSCRIPT

Page 1: Logika matematika

• Hardika Adhitama

• Nurul Syifa

• Salman Cakra .W

• Syafira Prisentria

Page 2: Logika matematika

Ingkaran pernyataan

majemuk dapat

ditentukan dengan

menggunakan hukum

DeMorgan

Maka dapat

dirumuskan sbb :

Ingkaran pernyataan

majemuk implikasi

dan bimplikasi dapat

ditentukan dengan

mengubahnya

menjadi bentuk

disjungsi dan

konjungsi

Maka dapat

dirumuskan sbb :Ingkaran Konjungsi : ~(p^q) Ξ ~p V ~q

Ingkaran Disjungsi : ~(p V q) Ξ ~p ^ ~q

~(p q) Ξ p ^ ~q

~(p q) Ξ (p ^ q ) V (q ^ ~p)

Page 3: Logika matematika

Ingat bahwa :

~(p^q) Ξ ~p V ~q dan ~(p V q) Ξ ~p ^ ~q

Tentukanlah ingkaran dari :

a) Dion tidak ikut seleksi Indonesian Idol

atau dia tidak lolos seleksi.

b) Ada siswa yang tidak mengerjakan PR

dan mereka dihukum.

c) Anisya tidak mencintai Anggi dan mereka

tidak pacaran.

Page 4: Logika matematika

Jawaban :

a) Dion ikut seleksi Indonesian Idol dan dia

lolos seleksi.

b) Semua siswa yang mengerjakan PR

atau tidak dihukum.

c) Anisya mencintai Anggi atau mereka

pacaran.

Page 5: Logika matematika

Ingat bahwa : ~(p q) Ξ p ^ ~q

Tentukanlah ingkaran dari :

a) Jika semua orang menggunakan

busway, maka waktu yang digunakan lebih

cepat.

b) Jika Jason belajar dengan tekun maka

dia akan menjadi juara kelas.

c) Tammy akan keliling dunia jika punya

uang banyak.

Page 6: Logika matematika

Jawaban :

a) Semua orang menggunakan busway

dan waktu yang digunakan tidak lebih

cepat.

b) Jason belajar dengan tekun dan dia

tidak akan menjadi juara kelas.

c) Tammy punya uang banyak dan dia

tidak akan keliling dunia.

Page 7: Logika matematika

Dari pernyataan maajemuk implikasi p

qdapat diturunkan bentuk implikasi lain yaitu :

q p disebut konvers dari implikasi p q

~p ~q disebut invers dari implikasi p q

~q ~p disebut kontraposisi dari implikasi p

q

Page 8: Logika matematika

Dapat disimpulkan bahwa nilai kebenaran

implikasi sama dengan nilai kebenaran

kontraposisinya dan nilai kebenaran

konvers sama dengan nilai kebenaran

invers implikasi tersebut

Page 9: Logika matematika

p q P q Konvers

q p

Invers

~p ~q

Kontraposisi

~q ~p

B B B B B B

B S S B B S

S B B S S B

S S B b B B

Page 10: Logika matematika