If q then (if p then q) ??????? Pohon Semantika

1
(No Transcript)
2
(No Transcript)
3
(No Transcript)
4
If q then (if p then q) ??????? Pohon Semantika
5
(No Transcript)
6
(No Transcript)
7
Logika Informasi
Materi. 1). Logika Proposisi. a).
Pengenalan Informal b). Penghubung Logis
(Operator, Functor) c). Tabel Kebenaran dp
Formula. d). Penghubung Logis yang lain.
e). Memanipulasi Formula Proposisinal. f).
Negasi dp Formula Proposisional. g).
Argumen.
8
Logika Proposisional Penggandeng Logis lainnya
Fungsi Kebenaran/Truth Functions
Fungsi Kebenaran (kadang disebut suatu operator
logis) adalah suatu fungsi yang mengambil
nilai-kebenaran sebagai argumen dan
selalu menghasilkan salah satu dari nilai T atau
nilai F. Suatu fungsi kebe naran dapat mempunyai
sejumlah operand (kadang-kadang disebut argumen
atau tempat). Suatu fungsi dengan satu operand
disebut suatu fungsi kebenaran monadika ( ?
).Jika mempunyai dua operand disebut dng fungsi
ke benaran diadika (?, ?, ?, ?), jika tiga
triadika ( If.. then .. else .. ) .
9
(No Transcript)
10
(No Transcript)
11
(No Transcript)
12
(No Transcript)
13
Logika Proposisional Penggandeng Logis lainnya
Operator Triadika
Operator triadika mempunyai 3 (tiga) operand.
Dari 256 ( 28), pada saat ini hanya beberapa
yang dapat langsung dimanfaatkan. Operator
triadika ini sulit untuk disimbolkan, seperti
misalnya operator If..then.. Else.. disini
variabelnya berupa titik-titik. Beberapa
operator triadik adalah 1) Disjungsi
terkondisi (conditioned disjunction).
Ifthenelse disimbolkan p,q,r 2)
Inkompatibel terkondisi dengan simbol p,q,r
3) L2 (mayoritas) L2(p,q,r) T (p?q) ? (q?r) ?
(r?p) bernilai T jika paling sedikit dua
atu lebih argumen bernilai T 4) L1 (Paling
sedikit satu) dst
14
(No Transcript)
15
(No Transcript)
16
(No Transcript)
17
(No Transcript)
18
(No Transcript)
19
(No Transcript)
20
(No Transcript)
21
(No Transcript)