Oleh: Dwi Retnosari ST.,M.

Kom
Proposisi Atomik

Proposisi yang tak dapat dipecah-pecah

menjadi beberapa proposisi lagi

Contoh : Ibu pergi ke pasar

Proposisi Majemuk

Terdiri dari banyak proposisi atomik

Contoh : ibu pergi ke pasar dan ayah pergi ke kantor
Jika proposisi majemuk akan dikombinasikan
untuk memperoleh proposisi baru maka
diperlukan penghubung logika atau perangkai
logika sebagai operator sambung yang
dilambangkan dengan simbol :
1). : not, atau negasi ( simbol lain adl ~ )
2). : and, atau konjungsi ( simbol lain adl &)
3). : or , atau disjungsi atau inclusive or
5). : implikasi, atau Jika maka
6). : jika dan hanya jika, atau biimplikasi
Perangkai logika atau penghubung logika dalam bentuk simbol
dipergunakan untuk membuat bentuk-bentuk logika atau disebut
ekspresi logika

Huruf A, B, C dan seterusnya digunakan untuk menggantikan proposisi

dan disebut variabel proposisi

Simbol berupa huruf T (true) dan F (false) disebut konstanta

proposisional digunakan untuk pemberian nilai pada variabel-variabel
proposisi
Lampu lalu lintas menyala merah dan semua kendaraan berhenti

variabel proposisi :
A. lampu lalu lintas
B. semua kendaraan berhenti

Ekspresi Logika:
AB
Jika Ani rajin belajar maka dia lulus ujian dan dapat segera bekerja

variabel proposisi :
P. Ani rajin belajar
Q. lulus ujian
R. segera bekerja

Ekspresi logika
P (Q R)