Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Wibisono Sukmo Wardhono, ST Any question?

Presentasi serupa


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

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

2 Wibisono Sukmo Wardhono, ST 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 http://wibiwardhono.lecture.ub.ac.id LOGI C It's cs

4 Wibisono Sukmo Wardhono, ST 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 http://wibiwardhono.lecture.ub.ac.id Morgan menggemari SM*SH Anak gaul menggemari SM*SH Fact 1 Morgan adalah anak gaul Fact 2

6 Wibisono Sukmo Wardhono, ST http://wibiwardhono.lecture.ub.ac.id Sumber: http://biomed.uaa.alaska.edu/personal_statement.html Statement (Proposition)

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

8 Wibisono Sukmo Wardhono, ST 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 - true Declarative - false

9 Wibisono Sukmo Wardhono, ST 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 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 http://wibiwardhono.lecture.ub.ac.id COMPOUND PROPOSITION Sumber: http://webanalysis.blogspot.com/2010/06/compound-metrics-in-web-analytics.html PRIMITIVE PROPOSITION pq c o n n e c t i v e

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

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

14 Wibisono Sukmo Wardhono, ST 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 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 http://wibiwardhono.lecture.ub.ac.id DIS JUCTION ( V ) p : Australia beribukota Sidney q : Rumput adalah tumbuhan p V q bernilai 0 (TRUE)

17 Wibisono Sukmo Wardhono, ST 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 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 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 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 http://wibiwardhono.lecture.ub.ac.id “Jika p maka q” “Bilamana p terjadi maka q juga terjadi” “Tidak mungkin peristiwa p terjadi, tetapi peristiwa q tidak terjadi”. p ⇒ q p disebut hipotesa (anteseden) q disebut konklusi (konsekuen).

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

23 Wibisono Sukmo Wardhono, ST 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 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 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 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 http://wibiwardhono.lecture.ub.ac.id 1.(a)p  q (b) p  q 2. (a) p  q (b) p  q

28 Wibisono Sukmo Wardhono, ST 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

29 Wibisono Sukmo Wardhono, ST 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

30 Wibisono Sukmo Wardhono, ST 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

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

32 Wibisono Sukmo Wardhono, ST 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

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

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

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

36 Wibisono Sukmo Wardhono, ST 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

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

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

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

40 Wibisono Sukmo Wardhono, ST http://wibiwardhono.lecture.ub.ac.id p Λ pp Λ p p pp p Λ  p 100 010

41 Wibisono Sukmo Wardhono, ST http://wibiwardhono.lecture.ub.ac.id Buktikan kebenaran hukum De' MORGAN Kirim ke: wibiwardhono@ub.ac.id


Download ppt "Wibisono Sukmo Wardhono, ST Any question?"

Presentasi serupa


Iklan oleh Google