Upload presentasi
Presentasi sedang didownload. Silahkan tunggu
1
IMPLIKASI DAN BIIMPLIKASI
Logika informatika PERNYATAAN IMPLIKASI DAN BIIMPLIKASI H.Soegiarto, M.Kom
2
IMPLIKASI Misalkan ada dua buah pernyataan yaitu p dan q, maka implikasi menunjukkan atau membuktikan bahwa jika P benar maka q bernilai benar juga. Implikasi/pernyataan bersyarat / kondisional / hypothetical di lambangkan dengan notasi “” Untuk membuat pernyataan implikasi tambahkan kata JIKA sebelum pernyataan pertama dan MAKA sebelum penyataan kedua.
3
IMPLIKASI Notasi p q dapat dibaca : Jika p maka q q jika p
p adalah syarat cukup untuk q q adalah syarat perlu untuk p Jika p dan q adalah dua pernyataan, maka p q bernilai salah jika p benar(T) dan q salah (F), selain dari itu p q bernilai benar. Tabel kebenaran untuk implikasi adalah sebagai berikut:
4
IMPLIKASI Tabel kebenaran untuk implikasi adalah sebagai berikut: p q p q
5
IMPLIKASI Contoh 1: p : Hari hujan. q : Adi membawa payung Penyelesaian: p q Jika hari benar benar hujan maka adi membawa payung
6
IMPLIKASI Contoh 2: p : Pak Ali adalah seorang haji.
q : Pak Ali adalah seorang muslim Benar atau salahkah pernyataan berikut? Jika Pak Ali seorang Haji maka dia seorang muslim Jika Pak Ali seorang haji maka dia tidak seorang muslim. Jika Pak Ali tidak seorang haji maka dia seorang muslim Jika pak Ali tidak haji maka dia tidakseorang muslim
7
T T p : True q : True p q : True
Jika Pak Ali seorang Haji maka dia seorang muslim T p : True q : True p q : True
8
T F p : True q : False p q : False Jika Pak Ali seorang haji maka
dia tidak seorang muslim F p : True q : False p q : False
9
F T p : False q : True p q : True
Jika Pak Ali tidak seorang haji maka dia muslim T p : False q : True p q : True
10
F F p : False q : False p q : False True
Jika pak Ali tidak haji maka dia tidak seorang muslim F p : False q : False p q : False True
11
BIIMPLIKASI Misalkan ada dua buah pernyataan yaitu p dan q Biimplikasi yaitu pernyataan majemuk yang menggunakan kata hubung “…… jika dan hanya jika …..” dinotasikan “⇔”. Pernyataan p biimplikasi q dinyatakan dengan p q. Pernyataan p q dapat dibaca: p equivalent q. p adalah syarat perlu dan cukup bagi q.
12
Tabel kebenaran untuk implikasi adalah sebagai berikut:
BIIMPLIKASI Jika p dan q dua buah pernyatan maka p ⇔ q benar bila kedua pernyataan tersebut mempunyai nilai kebenaran yang sama, sebaliknya p q salah bila salah satu salah, atau salah satu benar. Tabel kebenaran untuk implikasi adalah sebagai berikut:
13
BIIMPLIKASI Tabel kebenaran untuk implikasi adalah sebagai berikut: p q p q
14
Penyelesaian: BIIMPLIKASI p q
Contoh 1: p : Dua garis saling berpotongan adalah tegak lurus. q : Dua garis saling membentuk sudut 90 derajat. Penyelesaian: p q Dua garis saling berpotongan adalah tegak lurus jika dan hanya jika dua garis saling membentuk sudut 90 derajat.
15
p : Amir melanjutkan kuliah. q : Amir lulus ujian nasional.
BIIMPLIKASI Contoh 2: p : Amir melanjutkan kuliah. q : Amir lulus ujian nasional. Tentukan majemuk dan nilai kebenaran-nya: 1. p q 4. p q 2. p q 5. (p q) 3. p q ( p q)
16
BIIMPLIKASI Penyelesaian: p q T
Amir melanjutkan kuliah jika dan hanya jika Amir lulus ujian nasional
17
BIIMPLIKASI Penyelesaian: p <======>
Amir melanjutkan kuliah jika dan hanya jika Amir lulus ujian nasional T q
18
BIIMPLIKASI Penyelesaian: ~p q T
Amir tidak melanjutkan kuliah jika dan hanya jika Amir lulus ujian nasional
19
BIIMPLIKASI Penyelesaian: ~p <======>
Amir tidak melanjutkan kuliah jika dan hanya jika Amir lulus ujian nasional T q
20
BIIMPLIKASI Penyelesaian: p ~q F
Amir melanjutkan kuliah jika dan hanya jika Amir tidak lulus ujian nasional
21
BIIMPLIKASI Penyelesaian: p <======>
Amir melanjutkan kuliah jika dan hanya jika Amir tidak lulus ujian nasional F ~q
22
BIIMPLIKASI Penyelesaian: ~p ~q T
Amir tidak melanjutkan kuliah jika dan hanya jika Amir tidak lulus ujian nasional
23
BIIMPLIKASI Penyelesaian: ~p <======>
Amir tidak melanjutkan kuliah jika dan hanya jika Amir tidak lulus ujian nasional T ~q
24
BIIMPLIKASI Penyelesaian: ~(p q ) F
Tidak benar Amir melanjutkan kuliah jika dan hanya jika Amir lulus ujian nasional ~(~p q) F Tidak benar Amir tidak melanjutkan kuliah jika dan hanya jika Amir lulus ujian nasional
25
Selesaikan tabel kebenaran sbb :
p q r ~p ~q pr qr pq rp
26
TAUTOLOGI, KONTRADIKSI, DAN
LOGIKA INFORMATIKA TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
27
TAUTOLOGI KONTRADIKSI
Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya KONTRADIKSI Kontradiksi adalah suatu bentuk kalimat yang selalu bernilai salah (False), tidak peduli bagaimanapun nilai kebe-naran masing-masing kalimat penyusunnya.
28
KONTIGENSI Kotigensi adalah suatu bentuk kalimat yang bernilai benar (True) dan salah (False) tidak peduli bagaimana pun nilai kebenaran masing-masing kalimat penyusunnya. Tunjukkan apakah pernyataan berikut ini tautologi, kontradiksi atau kotigensi. 1. (pq) [(p) (q)] 2. (pq) [(p) (q)] 3. [(pq) r] p
29
(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F](http://slideplayer.info/slide/14376850/89/images/29/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29%EF%83%9A%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+T+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F")
30
(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T T
F F F T T F F T
![(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T T](http://slideplayer.info/slide/14376850/89/images/30/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29%EF%83%9A%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+T+T.jpg "F. F. F. T. T. F. F. T.")
31
(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F](http://slideplayer.info/slide/14376850/89/images/31/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29%EF%83%9A%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+T+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F")
32
(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F](http://slideplayer.info/slide/14376850/89/images/32/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29%EF%83%9A%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+T+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T T F")
33
(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T F F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T F F](http://slideplayer.info/slide/14376850/89/images/33/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29%EF%83%9A%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+F+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T F F")
34
(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T F F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T F F](http://slideplayer.info/slide/14376850/89/images/34/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29%EF%83%9A%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+F+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T F F")
35
(pq) [(p) (q)] p q p q (pq) (pq) (pq)(p q) T T F F T F T T F F T T F T F T T F T F T F F T T F T T Karena (pq) [(p) (q)] selalu ber-nilai BENAR untuk setiap nilai p dan q maka (pq) [(p) (q)] disebut dengan TAUTOLOGI.
![(pq) [(p) (q)] p. q. p. q. (pq) (pq) (pq)(p q) T. T. F. F. T. F. T.](http://slideplayer.info/slide/14376850/89/images/35/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p.+q.+%EF%81%BEp.+%EF%81%BEq.+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29%EF%83%9A%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T.+T.+F.+F.+T.+F.+T..jpg "T. F. F. T. T. F. T. F. T. T. F. T. F. T. F. F. T. T. F. T. T. Karena (pq) [(p) (q)] selalu ber-nilai BENAR untuk setiap nilai p dan q maka (pq) [(p) (q)] disebut dengan TAUTOLOGI.")
36
(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T T F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T T F](http://slideplayer.info/slide/14376850/89/images/36/%28p%EF%83%9Aq%29+%EF%83%99+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29+%EF%83%99%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+T+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T T F")
37
(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F T
![(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F T](http://slideplayer.info/slide/14376850/89/images/37/%28p%EF%83%9Aq%29+%EF%83%99+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29+%EF%83%99%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+F+T.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F T")
38
(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F](http://slideplayer.info/slide/14376850/89/images/38/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29+%EF%83%99%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+F+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F")
39
(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F](http://slideplayer.info/slide/14376850/89/images/39/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29+%EF%83%99%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+F+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F")
40
(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F](http://slideplayer.info/slide/14376850/89/images/40/%28p%EF%83%9Aq%29+%EF%83%9A+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29+%EF%83%99%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+F+F.jpg "(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F")
41
(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F
B B F T F
![(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F](http://slideplayer.info/slide/14376850/89/images/41/%28p%EF%83%9Aq%29+%EF%83%99+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p+q+%EF%81%BEp+%EF%81%BEq+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29+%EF%83%99%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T+T+F+F.jpg "B. B. F. T. F.")
42
(pq) [(p) (q)] p q p q (pq) (pq) (pq) (p q) T T F F T F F T F F T T F F F T T F T F F F F T T F T F Karena (pq) [(p) (q)] selalu ber-nilai SALAH untuk setiap nilai p dan q maka (pq) [(p) (q)] disebut dengan KOTRADIKSI.
![(pq) [(p) (q)] p. q. p. q. (pq) (pq) (pq) (p q) T. T. F. F. T. F. F.](http://slideplayer.info/slide/14376850/89/images/42/%28p%EF%83%9Aq%29+%EF%83%99+%5B%28%EF%83%98p%29+%EF%83%99+%28%EF%83%98q%29%5D+p.+q.+%EF%81%BEp.+%EF%81%BEq.+%28p%EF%83%9Aq%29+%28%EF%81%BEp%EF%83%99%EF%81%BEq%29+%28p%EF%83%9Aq%29+%EF%83%99%28%EF%81%BEp+%EF%83%99+%EF%81%BEq%29+T.+T.+F.+F.+T.+F.+F..jpg "T. F. F. T. T. F. F. F. T. T. F. T. F. F. F. F. T. T. F. T. F. Karena (pq) [(p) (q)] selalu ber-nilai SALAH untuk setiap nilai p dan q maka (pq) [(p) (q)] disebut dengan KOTRADIKSI.")
43
[(pq) r] p p q r (pq) [(pq)r] [(pqr]p T T T T T F T F T T F
![[(pq) r] p p q r (pq) [(pq)r] [(pqr]p T T T T T F T F T T F](http://slideplayer.info/slide/14376850/89/images/43/%5B%28p%EF%83%99q%29+%EF%83%9E+r%5D+%EF%83%9E+p+p+q+r+%28p%EF%83%99q%29+%5B%28p%EF%83%99q%29%EF%83%9Er%5D+%5B%28p%EF%83%99q%EF%83%9Er%5D%EF%83%9Ep+T+T+T+T+T+F+T+F+T+T+F.jpg "[(pq) r] p p q r (pq) [(pq)r] [(pqr]p T T T T T F T F T T F")
44
[(pq) r] p p q r (pq) [(pq)r] [(pq)r]p T T T T T T F T T F
![[(pq) r] p p q r (pq) [(pq)r] [(pq)r]p T T T T T T F T T F](http://slideplayer.info/slide/14376850/89/images/44/%5B%28p%EF%83%99q%29+%EF%83%9E+r%5D+%EF%83%9E+p+p+q+r+%28p%EF%83%99q%29+%5B%28p%EF%83%99q%29%EF%83%9Er%5D+%5B%28p%EF%83%99q%29%EF%83%9Er%5D%EF%83%9Ep+T+T+T+T+T+T+F+T+T+F.jpg "[(pq) r] p p q r (pq) [(pq)r] [(pq)r]p T T T T T T F T T F")
45
[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B S B S
![[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B S B S](http://slideplayer.info/slide/14376850/89/images/45/%5B%28p%EF%83%99q%29+%EF%83%9E+r%5D+%EF%83%9E+p+P+Q+R+%28P%EF%83%99Q%29+%5B%28P%EF%83%99Q%29%EF%83%9ER%5D+%5B%28P%EF%83%99Q%29%EF%83%9ER%5D%EF%83%9EP+B+B+B+B+B+B+B+S+B+S.jpg "[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B S B S")
46
[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B B S B
![[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B B S B](http://slideplayer.info/slide/14376850/89/images/46/%5B%28p%EF%83%99q%29+%EF%83%9E+r%5D+%EF%83%9E+p+P+Q+R+%28P%EF%83%99Q%29+%5B%28P%EF%83%99Q%29%EF%83%9ER%5D+%5B%28P%EF%83%99Q%29%EF%83%9ER%5D%EF%83%9EP+B+B+B+B+B+B+B+B+S+B.jpg "[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B B S B")
47
[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B B S B
Karena [(pq) r] p bisa bernilai BENAR atau SALAH untuk setiap nilai p dan q maka pernyataan [(pq) r] p disebut dengan KONTIGENSI.
![[(pq) r] p P Q R (PQ) [(PQ)R] [(PQ)R]P B B B B B B B B S B](http://slideplayer.info/slide/14376850/89/images/47/%5B%28p%EF%83%99q%29+%EF%83%9E+r%5D+%EF%83%9E+p+P+Q+R+%28P%EF%83%99Q%29+%5B%28P%EF%83%99Q%29%EF%83%9ER%5D+%5B%28P%EF%83%99Q%29%EF%83%9ER%5D%EF%83%9EP+B+B+B+B+B+B+B+B+S+B.jpg "Karena [(pq) r] p bisa bernilai BENAR atau SALAH untuk setiap nilai p dan q maka pernyataan [(pq) r] p disebut dengan KONTIGENSI.")
Presentasi serupa
![BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]](/8/2457952/big_thumb.jpg "BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]>")
![BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]](/66/11878813/big_thumb.jpg "BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]>")
