Anda di halaman 1dari 2

PROGRAM PRA-S2 MAGISTER SISTEM INFORMASI Tugas 2 Varian Implikasi, Tautologi dan Kontradiksi MataKuliah : MI001-Matematika Diskrit Dosen

: M. A. Ineke Pakereng, M.Kom.

NAMA : FRITS GERIT JOHN RUPILELE

SOAL : 1. Diberikan pernyataan perlu memiliki password yang sah agar anda bisa login ke server a. Nyatakan pernyataan di atas dalam bentuk proposisi jika p, maka q . b. Tentukan ingkaran, konvers, invers dan kontraposisi dari pernyataan tersebut 2. Telitilah mana diantara pernyataan-pernyataan di bawah ini yang merupakan Tautologi dan Kontradiksi. (Gunakan Tabel kebenaran). JAWAB : 1. Pernyataan : perlu memiliki password yang sah agar anda bisa login ke server . (q syarat perlu bagi p) P = anda bisa login ke server Q = perlu memiliki password yang sah a. Pernyataan dalam bentuk proposisi jika p, maka q . Jika anda bisa login ke server maka anda perlu memiliki password yang sah b. Pernyataan ;  Ingkaran(negasi) P ^ Q : anda bisa login ke server dan tidak perlu memiliki password yang sah .  Konvers Q P : jika anda memiliki password yang sah maka anda bisa masuk ke server .  Invers P Q : jika anda tidak bisa login ke server maka anda tidak perlu memiliki password yang sah .  Kontraposisi Q P : jika anda tidak perlu memiliki password yang sah maka anda tidak bisa login ke server .

2. a.

Pernyataan yang merupakan Tautologi dan Kontradiksi ((P v Q) ^ (P ^(Q v R))) v (P ^ Q) v (P ^ R)


((P v P T T T T F F F F Q T T F F T T F F R T F T F T F T F P F F F F T T T T Q F F T T F F T T R F T F T F T F T (P v Q) T T T T T T F F (P ^Q) F F F F F F T T (P ^R) F F F F F T F T (Q v R) F T T T F T T T (P ^(Q v R) F F F F F T T T (P ^(Q v R)) T T T T T F F F (P ^Q) v (P ^ R) F F F F F T T T ((P v Q) ^ (P ^(Q v R))) T T T T T F F F

PERNYATAAN : Ini merupakan pernyataan Tautologi karena memiliki nilai kebenaran P, Q, dan R, semuanya bernilai benar (T)

b. ((P v P T T F F

Q) v (P ^ Q)) P Q P Q (P v Q) T F F T F F T T T T F F F T T T

(P v Q) F F T F

(P ^ Q) F F F T

((P v Q) v (P ^ Q)) F F T T

((P v Q) v (P ^ Q))

F F F F

PERNYATAAN : Ini merupakan pernyataan Kontradiksi karena memiliki nilai kebenaran P dan Q, semuanya bernilai salah (F)

Anda mungkin juga menyukai