Wibisono Sukmo Wardhono, ST, MT Any question ?

Presentasi berjudul: "Wibisono Sukmo Wardhono, ST, MT Any question ?"— Transcript presentasi:

1 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Any question ?

2 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id 1,3,5,7,__,119 (x-a)(x-b)(x-c) … (x-z) = ? dsds (x-d)(x-e)(x-f)... (x-y)(x-y)(x-x)(x-x) 0 0

3 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id LOGI C It's

4 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id (x-a)(x-b)(x-c)(x-d)...(x-x)(x-y)(x-z) A number that is reduced by itself, being zero... Fact 1 A number that is multiplied by zero, being zero... Fact 2

5 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Wibisono menggemari CherryBelle Anak gaul menggemari CherryBelle Fact 1 Wibisono adalah anak gaul Fact 2

6 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Statement (Proposition)

7 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Sentence MeaningfulMeaningless DeclarativeNot Declarative Valuable TRUE FALSE

8 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id 1.Rumput bersepeda aku 2.Siapa namamu? 3.Australia beribukota Sidney 4.Semoga kamu baik-baik saja 5.Ambilkan sepatu itu! 6.Rumput adalah tumbuhan 7.3 memakan Surabaya 8.Betapa nyamannya Kota Malang! meaningless Question – Not declarative Instruction – Not declarative expectation – Not declarative meaningless Opinion – Not declarative 1.Rumput bersepeda aku 2.Siapa namamu? 3.Australia beribukota Sidney 4.Semoga kamu baik-baik saja 5.Ambilkan sepatu itu! 6.Rumput adalah tumbuhan 7.3 memakan Surabaya 8.Betapa nyamannya Kota Malang! √ √ Declarative

9 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Notasion of Proposition p, q, r... etc Notasion of Values 1 & 0 TRUE FALSE

10 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p : Australia beribukota Sidney p bernilai 0 (FALSE) q : Rumput adalah tumbuhan q bernilai 1 (TRUE) PRIMITIVE PROPOSITION

11 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id COMPOUND PROPOSITION PRIMITIVE PROPOSITION pq c o n n e c t i v e

12 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id NEG ATION ( ¬ ) ¬Λ q : Rumput adalah tumbuhan ¬ q : Rumput bukan tumbuhan

13 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id TRUTH TABLE q ¬q¬q 0 1 1 0

14 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id CON JUCTION ( Λ ) p : Australia beribukota Sidney q : Rumput adalah tumbuhan p Λ q bernilai 0 (FALSE)

15 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id TRUTH TABLE ppΛqpΛq 0 1 0 1 0 0 1 1 0 0 0 1 q

16 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id DIS JUCTION ( V ) p : Australia beribukota Sidney q : Rumput adalah tumbuhan p V q bernilai 1 (TRUE)

17 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id TRUTH TABLE ppVqpVq 0 1 0 1 0 0 1 1 0 1 1 1 q

18 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Exlcusive DIS JUCTION (  ) p : Presiden adalah lelaki q : Presiden adalah perempuan p  q bernilai 0 (FALSE)

19 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id TRUTH TABLE p pqpq 0 1 0 1 0 0 1 1 0 1 1 0 q

20 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id IMPLICATION (  ) p : IP-mu di atas 3,5 q : Kamu dapat sepeda motor p  qp  q

21 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Jika p maka q Bila p terjadi maka q juga terjadi Tidak mungkin peristiwa p terjadi, tetapi peristiwa q tidak terjadi p  qp  q p: hipotesa (anteseden) q: konklusi (konsekuen)

22 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Jika p maka q p berimplikasi q p hanya jika q q jika p p  qp  q

23 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id TRUTH TABLE p pqpq 0 1 0 1 0 0 1 1 1 0 1 1 q

24 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id BI IMPLICATION (  ) p : IP-mu di atas 3,5 q : Kamu dapat sepeda motor p  qp  q

25 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id hanya jika p maka q q terjadi jika dan hanya jika p juga terjadi

26 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id TRUTH TABLE p pqpq 0 1 0 1 0 0 1 1 1 0 0 1 q

27 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p: Budi naik kelas q: Budi dibelikan sepeda motor p → qp → q pqp → q 00 01 10 11 pq 001 01 10 11 pq 001 011 10 11 pq 001 011 100 11 pq 001 011 100 111

28 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Invers

29 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p: Budi naik kelas q: Budi dibelikan sepeda motor ~p → ~q pq ~p~q~p → ~q 00111 01100 10011 11001

30 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Konvers

31 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p: Budi naik kelas q: Budi dibelikan sepeda motor q → pq → p pqq → p 001 010 101 111

32 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Kontraposisi

33 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p: Budi naik kelas q: Budi dibelikan sepeda motor ~q → ~p pq ~p~q~p → ~q 00111 01101 10010 11001

34 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p → p V qp → p V q pqp V qp → p V q 0001 0111 1011 1111

35 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Tautology

36 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id (p↔q) Λ (p  q) pqp↔qp↔q pqpq 00100 01010 10010 11100

37 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Contradiction

38 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id 1.(a)p  q (b) p  q 2. (a) p  q (b) p  q

39 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id TRUTH TABLE p pqpq 0 1 0 1 0 0 1 1 1 0 1 1 q pqpq 1 0 1 1 pp 1 0 1 0

40 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Hukum Komutatif p Λ q ≡ q Λ p p V q ≡ q V p Hukum Asosiatif (p Λq) Λ r ≡ p Λ(q Λr) (p V q) V r ≡ p V (q V r) Hukum Distributif p Λ(q V r) ≡ (p Λq) V (p Λr) p V (q Λr ) ≡ (p V q) Λ(p V r) Hukum Identitas p Λ T ≡ p p V F ≡ p Hukum Ikatan p V T ≡ T p Λ F ≡ F

41 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id ¬( p V q ) ≡ ¬p Λ ¬q ¬( p Λ q ) ≡ ¬p V ¬q MORGAN de

42 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id LOGICINFERENCE

43 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Semua anak gaul penggemar SM*SH Wibisono adalah anak gaul Wibisono adalah penggemar SM*SH

44 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Wibisono adalah penggemar SM*SH Single statement Semua anak gaul penggemar SM*SH Wibisono adalah anak gaul

45 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Wibisono adalah penggemar SM*SH Single statement Semua anak gaul penggemar SM*SH Wibisono adalah anak gaul

46 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Wibisono adalah penggemar SM*SH Multiple statement Semua anak gaul penggemar SM*SH Wibisono adalah anak gaul

47 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Wibisono adalah penggemar SM*SH Semua anak gaul penggemar SM*SH Wibisono adalah anak gaul PREMIS

48 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Wibisono adalah penggemar SM*SH Semua anak gaul penggemar SM*SH Wibisono adalah anak gaul CONCLUSION

49 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Wibisono adalah penggemar SM*SH Semua anak gaul penggemar SM*SH Wibisono adalah anak gaul ARGUMENT

50 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id h1h1 h2h2... hnhn ∴ c∴ c h 1 Λ h 2 Λ... Λ h n → c TAUTOLOGY? ARGUMENTis VALID

51 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id h 1 : Jika Wibisono anak gaul maka ia penggemar SM*SH h 2 : Wibisono adalah anak gaul h 1 : Jika Wibisono anak gaul maka ia penggemar SM*SH h 1 : p h 2 : p ∴ Wibisono adalah penggemar SM*SH

52 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id h 1 : Jika Wibisono anak gaul maka ia penggemar SM*SH h 2 : Wibisono adalah anak gaul h 1 : Jika Wibisono anak gaul maka ia penggemar SM*SH h 1 : p h 2 : p ∴ Wibisono adalah penggemar SM*SH →

53 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id h 1 : Jika Wibisono anak gaul maka ia penggemar SM*SH h 2 : Wibisono adalah anak gaul h 1 : Jika Wibisono anak gaul maka ia penggemar SM*SH h 1 : p h 2 : p ∴ Wibisono adalah penggemar SM*SH → q ∴ Wibisono adalah penggemar SM*SH c: q

54 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id h 1 : p h 2 : p → qc: q h1 Λ h2 → ch1 Λ h2 → c (p → q) Λ p → q(p → q) Λ p → q

55 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id pqp→qp→q (p→q)Λp(p→q)Λp(p→q)Λp→q(p→q)Λp→q 11111 10001 01101 00101

56 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p → q p ∴ q VALID Modus Ponen Law of Detachment

57 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p → q ¬q¬q ∴ ¬p∴ ¬p Modus Tollen

58 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p → q q → r ∴ p → r Silogisme Silogisme Hipotesis

59 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p V q ¬q¬q ∴ p Silogisme Disjungtif

60 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p Λ q ∴ p Simplifikasi Penyederhanaan Konjungtif p Λ q ∴ q

61 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p q ∴ p Λ q Konjungsi

62 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p ∴ p V q Addition

63 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id (p→q)Λ(r→s)(p→q)Λ(r→s) pVrpVr ∴ qVs Dilema Konstruktif

64 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id (p→q)Λ(r→s)(p→q)Λ(r→s) ¬qV¬s¬qV¬s ∴ ¬pV¬r∴ ¬pV¬r Dilema Destruktif

65 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p Λ q (p V q) → r ∴ r Exercise

66 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id h 2 : Saya belajar sungguh-sungguh atau saya gagal h 1 : Jika saya suka Informatika, maka saya belajar sungguh-sungguh ∴ Jika saya gagal, maka saya tidak suka informatika Exercise

67 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Jika Sangkuni masuk ke TKP pada saat kejadian, maka Srikandi pasti melihatnya Yang bisa masuk ke TKP pada saat kejadian hanyalah Sangkuni atau Cakil Srikandi tidak melihat Sangkuni masuk ke TKP pada saat kejadian Jika Rahwana masuk ke TKP pada saat kejadian, maka pasti Rahwana pencurinya Jika Sangkuni masuk ke TKP pada saat kejadian, maka pasti Sangkuni pencurinya Jika Cakil masuk ke TKP pada saat kejadian, maka pasti Cakil pencurinya