Asrul Sani, ST. MKom Pertemuan 5 Asrul Sani, ST M.Kom MT - Logika Informatika.

Presentasi berjudul: "Asrul Sani, ST. MKom Pertemuan 5 Asrul Sani, ST M.Kom MT - Logika Informatika."— Transcript presentasi:

1 Asrul Sani, ST. MKom Pertemuan 5 Asrul Sani, ST M.Kom MT - Logika Informatika

2 HUKUM-HUKUM EKUIVALEN LOGIKA ~(p  ~q)  (~p  ~q)  ~p p q pp qq p  q  (p  q)  p  q  (p  q)  (  p  q) B B S S B S B S Asrul Sani, ST M.Kom MT - Logika Informatika

3 ~(p  ~q)  (~p  ~q)  ~p p q pp qq p  q  (p  q)  p  q  (p  q)  (  p  q) B B S S B S B S S S B B S B S B B B S B S S B S S S S B S S B B Asrul Sani, ST M.Kom MT - Logika Informatika

4  (p  q)  (  p  q)   p p q pp qq p  q  (p  q)  p  q  (p  q)  (  p  q) B B S S B S B S S S B B S B S B B B S B S S B S S S S B S S B B Dari tabel kebenaran diperoleh hasil bahwa ~p sama dengan ~(p  ~q)  (~p  ~q)  ~p. Untuk membuktikan lebih lanjut maka ~p dan ~(p  ~q)  (~p  ~q) dihubungkan dengan logika biimplikasi. Asrul Sani, ST M.Kom MT - Logika Informatika

5  (p  q)  (  p  q)   p Dari tabel tabel di atas diperoleh hasil bahwa  (p  q)  (  p  q)   p bernilai benar untuk setiap nilai p dan q, Dengan demikian dapat disimpulkan bahwa terbukti  (p  q)  (  p  q)   p adalah ekuivalen secara logis. pp  (p  q)  (  p  q)  (p  q)  (  p  q)   p S S B B S S B B B B B B Asrul Sani, ST M.Kom MT - Logika Informatika

6 TUGAS Buktikan pernyataan berikut: 11. (p  q)  [(~p)  (~q)]  0 12. p  (p  q)  p 13.  (p  q)   p  q 14.  (p  q)   p  q Asrul Sani, ST M.Kom MT - Logika Informatika

7 Buktikan 15.(p  0)  (p  ~p)  p 16.p  (p  q)  p 17.(p  ~p)  (p  q  r)  p  (~q  r) 18.(p → q)  ~p  q 19.(p q)  (~p  q)  (p  ~q) Asrul Sani, ST M.Kom MT - Logika Informatika

8 Thank You