90 likes | 333 Views
Validitas Kalimat Preposisi. Logika Informatika Teknik Informatika STTA 2013. Contoh Soal 1. Buktikan validitas preposisi A : if ((not x) or (not y)) then (not(x and y)) A : A1 A2 (~ x ~ y) ~ (x y). Pembuktian Validitas.
E N D
ValiditasKalimatPreposisi LogikaInformatika TeknikInformatika STTA 2013
ContohSoal 1 BuktikanvaliditaspreposisiA : if ((not x) or (not y)) then (not(x and y)) A : A1 A2 (~ x ~ y) ~ (x y)
PembuktianValiditas ValiditasPreposisidapatdilakukandenganmengasumsikanpreposisitersebut SALAH!!
PenyelesaianContohSoal 1 • Bentukkalimatimplikasi A : A1 A2 (~ x ~ y) ~ (x y) • Misalkan A diasumsikansalah yang berarti : • Antsenden/premis/hipotesis A1 benar (~ x ~ y) = T • Konklusi/konsekuen A2 salah ~ (x y) = F
PenyelesaianContohSoal 1 • Dimulaidarikonklusidulu (A2 = F) periksaapakahhipotesisnya (A1 = T) ? • Dimulaidarihipotesisnyadulu (A1 = T) periksaapakahkonklusinya (A2 = F) ?
Cara a. • Konklusi A2 : ~ (x y) = F (x y) = T supaya (x y) = T maka x = T dan y =T • Periksahipotesis A1 : (~ x ~ y) = F F = F seharusnya A1 = T • Asumsi A = F tidakpernahterjadi preposisiA valid
Cara b. • Hipotesis A1 = (~ x ~ y) = T, adabeberapakemungkinan :
ContohSoal 2 BuktikanvaliditaspreposisiB : (if x then y) if and only if ((not x) or y) Bentukkalimat B biimplikasi B1 B2 (x y) (~x y)
Kerjakan! • BuktikanvaliditaspreposisiC : if (if x then y) then (if (not x) then (not y))