Kelompok 8

Kelompok 8. AHMAD RAPLI NOPANDI AZIS M R INDRIYANTO LENI AULIA RAYFAL M TAQIYYA K.

Pendahuluan. Konvers, Invers dan Kontraposisi adalah bagian dari Implikasi seperti yang sudah di bahas di Logika Matematika . Konvers, Invers dan Kontraposisi adalah suatu pernyataan Implikasi baru dari suatu pernyataan implikasi.

Konvers. Ko nvers adalah perubahan dari satu sistem ke si st em yang lain. Pernyataan q=>p disebut Konvers dari p=>q. Contoh soal : P = Bendera RI q = Bendera Berwarna Merah dan Putih Q =>P : Jika Bendera berwarna Merah dan Putih, maka bendera tersebut adalah bendera RI..

Invers. Invers adalah Pembalikan suatu susunan dari suatu susunan yang lazim. Pernyataan ~p=>~q disebut Invers dari p=>q. Contoh soal : P = Bendera RI q = Bendera Berwarna Merah dan Putih (~p=>~q) : Jika suatu bendera bukan bendera RI, maka bendera tersebut bukan berwarna merah dan putih..

Kontra posisi. Pe rnyataan ~q=>~p disebut Kontraposisi dari p=> q Contoh soal : p = Bendera RI q = Bendera Berwarna Merah dan Putih ~q=>p : Jika suatu bendera tidak berwarna Merah dan Putih, maka bendera tersebut bukan bendera RI..

nilai kebenaran Konvers, Invers dan Kontraposisi dari Implikasi:.

Hukum-Hukum Aljabar PrOPOSISI. Se tiap proposisi yang saling ekivalen dapat dipertukarkan atau diganti antara satu dengan yang lai n nya. Hukum-hukum aljabar pro posisi adalah sebagai berikut :.

A. Hu kum Idempoten (Idem) p∨p ek p p∧p ek p B . Hukum Asosiatif (As) (p∨q)∨r ek p∨(q∨r) (p∧q)∧r ek p∧(q∧r) C. H ukum Komutatif (Kom) p∨q ek q∨p p∧q ek q∧p D. H ukum Distributif (Dist) p∨(q∧r) ek (p∨q)∧(p∨r) p∧(q∨r) ek (p∧q)∨(p∧r).

I. Hukum Ekivalensi (Eki) p⇔q ek (p⇒q)∧(q⇒p) p⇔q ek (p∧q)∨(∼q∧∼p) J. H ukum Eksportasi ( Eksp) (p ∧q)⇒r ek p⇒(q⇒r) K. H ukum De Morgan (DM) ∼(p∨q) ek ∼p∧∼q ∼(p∧q) ek ∼p∨∼q.