KSN TIK - Materi 1

LOGIKA PROPOSISIONAL

By : Muhammad Anggi Prasetya

PROPOSISI

" Proposisi secara bahasa berarti pernyataan. Nilai dari proposisi bisa benar/true saja atau salah/false tidak mungkin keduanya. Proposisi yang terdiri dari satu pernyataan disebut proposisi atomik sedangkan yang terdiri dari lebih satu pernyataan disebut proposisi majemuk. " 

Multiple Choice

Palembang adalah salah satu kota di Indonesia

• Benar

• Salah

Multiple Select

Aku sayang kamu

• Benar

• Salah

Multiple Choice

Lubuk linggau adalah salah satu kota di Provinsi Sulawesi Selatan

• Benar

• Salah

Multiple Select

Jika besok hujan, saya tidak akan pergi ke sekolah

• Benar

• Salah

Operasi konjungsi ini sama dengan “AND”.

P konjungsi Q dinyatakan

dengan

P ^ Q, yang berarti “P dan Q”

KONJUNGSI

( ^ )

Operasi disjungsi ini sama dengan “OR”.

P disjungsi Q dinyatakan

dengan P v Q, yang berarti “P atau Q”

DISJUNGSI

( v )

Operasi Negasi ini sama dengan “NOT”.

Operasi ini berarti mengubah nilai proposisi tersebut dengan kebalikannya. Negasi dari P dilambangkan dengan ~P.

NEGASI

( ~ )

Implikasi ini sama dengan

“jika .., maka …” .

Pernyataan berbentuk

“jika P maka Q” ini dilambangkan dengan P -> Q.

IMPLIKASI

( -> )

Biimplikasi ini adalah implikasi dua arah sehingga setara dengan

“… jika dan hanya jika …” .

P jika dan hanya jika Q dilambangkan dengan

P <-> Q.

​

BIIMPLIKASI

( <-> )​

Tabel kebenaran adalah tabel yang berisikan hasil operasi dari dua buah

proposisi.

TABEL

​KEBENARAN

Operator dalam kurung

Negasi

​​Konjungsi​

​​Disjungsi​

Fill in the Blank

Apakah hasil dari

(true and false or not (true or false and not(true))) ?

Fill in the Blank

Apakah hasil dari

(true and not(true and not(true) or false or false and true))

Multiple Choice

Jika diberikan proposisi : A bernilai true, B bernilai false, C bernilai true

Maka nilai kebenaran dari pernyataan :

not(A or not(B) and (C and B or A) or (C and not(A) or B))

adalah …

• true

• false

• tidak dapat ditentukan

Multiple Choice

Jika operasi A bernilai true, B bernilai true, C bernilai false, D bernilai false

dan E bernilai true. Maka pernyataan di bawah adalah …

(A and B and not(D) and not(B or C) or D) and (not(not(A or B )and C and D))

• true

• false

• tidak ada jawaban

Multiple Choice

Jika operasi A bernilai true, B bernilai true, C bernilai false, D bernilai false

dan E bernilai true. Maka pernyataan di bawah adalah …

not(A and B or C and not(A or D)) or (E and not(A and B or not(C or D)))

• true

• false

• tidak ada jawaban

Multiple Choice

Jika operasi A bernilai true, B bernilai true, C bernilai false, D bernilai false

dan E bernilai true. Maka pernyataan di bawah adalah …

(E and not(A and not(B) or C or D and E)) and (A and not(C)and(not(D) or E))

• true

• false

• tidak ada jawaban