Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

Any question ?

Wibisono Sukmo Wardhono, ST, MThttp://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

Wibisono Sukmo Wardhono, ST, MThttp://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

Wibisono Sukmo Wardhono, ST, MThttp://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

qr

Wibisono Sukmo Wardhono, ST, MThttp://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

Wibisono Sukmo Wardhono, ST, MThttp://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

Wibisono Sukmo Wardhono, ST, MThttp://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 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

Wibisono Sukmo Wardhono, ST, MThttp://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

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

p → q (1)

p V r (2)

~q (3)

s → t (4)

p → u (5)

r → v (6)

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

p → q¬q

∴ ¬p

Modus Tollen

(1)(3)

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

p V r¬p

∴ r

Silogisme Disjungtif

(2)(tollen)

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

r → vr

∴ v

Modus Ponen

(6)(silog-V)

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

Anak gaul menggemari SM*SH

semesta

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

Anak gaul menggemari SM*SH

P(x) = ?Pernyataan terbuka

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

Anak gaul menggemari SM*SH

x = aN4g 6a0L i4nK 4L4yvariabel x

P(x) = 1

Nilai dari x

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

x + 1 > x

P(x) = 1

∀xP(x) KuantorUNIVERSAL

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

x2 + 1 = 0x = bilangan real

P(x) = 0

Wibisono Sukmo Wardhono, ST, MThttp://wibiwardhono.lecture.ub.ac.id

x2 + 1 = 0x = bilangan kompleks

∃xP(x) KuantorEKSISTENSIAL

Wibisono Sukmo Wardhono, ST, MThttp://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)