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 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

3 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 p

4 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 qrqr

5 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 r

6 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 s → t

7 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 Sangkuni masuk ke TKP pada saat kejadian, maka pasti Sangkuni pencurinya Jika Cakil masuk ke TKP pada saat kejadian, maka pasti Cakil pencurinya p → u

8 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 r → v

9 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p → q (1) p V r (2) ~q (3) s → t (4) p → u (5) r → v (6)

10 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p → qp → q ¬q¬q ∴ ¬p∴ ¬p Modus Tollen (1) (3)

11 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id p V rp V r ¬p¬p ∴ r∴ r Silogisme Disjungtif (2) ( tollen )

12 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id r → v r ∴ v∴ v Modus Ponen (6) ( silog-V )

13 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Anak gaul menggemari SM*SH semesta

14 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Anak gaul menggemari SM*SH P(x) = ? Pernyataan terbuka

15 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id Anak gaul menggemari SM*SH x = aN4g 6a0L i4nK 4L4y variabel x P(x) = 1 Nilai dari x

16 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id x + 1 > x P(x) = 1 ∀xP(x)∀xP(x) Kuantor UNIVERSAL

17 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id x 2 + 1 = 0 x = bilangan real P(x) = 0

18 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id x 2 + 1 = 0 x = bilangan kompleks ∃xP(x)∃xP(x) Kuantor EKSISTENSIAL

19 Wibisono Sukmo Wardhono, ST, MT http://wibiwardhono.lecture.ub.ac.id ∀x∃y(x+y=3)∀x∀y(x+y>2)∃x∀y(x+y<3)∃x∃y(x+y<2)∀x∃y(x+y=3)∀x∀y(x+y>2)∃x∀y(x+y<3)∃x∃y(x+y<2)