Beban 3 SKS · 150 Menit · Modul Konsep Logika
Program Studi Sains & Teknologi Informasi
Definisi. Sebuah proposisi adalah kalimat deklaratif yang mempunyai tepat satu nilai kebenaran, yaitu Benar ($B$ atau $1$) atau Salah ($S$ atau $0$), tetapi tidak mungkin keduanya sekaligus.
| Kalimat | Proposisi? | Nilai |
|---|---|---|
| $2 + 3 = 5$ | Ya | B |
| $7$ adalah bilangan prima | Ya | B |
| $4$ adalah bilangan ganjil | Ya | S |
| $x + 1 = 5$ | Tidak — kalimat terbuka | — |
| Berapa nilai $x$? | Tidak — pertanyaan | — |
| Tutup pintunya! | Tidak — perintah | — |
$\neg p$ : membalik nilai kebenaran $p$.
$p \wedge q$ : benar hanya bila keduanya benar.
$p \vee q$ : salah hanya bila keduanya salah.
$p \oplus q$ : benar bila tepat satu benar.
| $p$ | $q$ | $\neg p$ | $p \wedge q$ | $p \vee q$ | $p \oplus q$ |
|---|---|---|---|---|---|
| B | B | S | B | B | S |
| B | S | S | S | B | B |
| S | B | B | S | B | B |
| S | S | B | S | S | S |
Diketahui proposisi:
$p$ : "Hari ini hujan."
$q$ : "Saya membawa payung."
$r$ : "Saya basah kuyup."
Klik “Tampilkan Langkah” untuk melihat jawaban baris per baris.
"Hari ini hujan dan saya membawa payung."
$$p \wedge q$$"Hari ini tidak hujan, tetapi saya tetap membawa payung."
$$\neg p \wedge q$$Kata “tetapi” secara logika sama dengan “dan”.
"Jika hari ini hujan dan saya tidak membawa payung, maka saya basah kuyup."
$$(p \wedge \neg q) \rightarrow r$$“Jika … maka …” → implikasi $(\rightarrow)$.
Soal. Tunjukkan bahwa $p \oplus q \equiv (p \vee q) \wedge \neg(p \wedge q)$ dengan tabel kebenaran.
$p = B,\quad q = B$
$$(B \vee B) \wedge \neg(B \wedge B) = B \wedge \neg B = B \wedge S = \mathbf{S}$$ $$B \oplus B = \mathbf{S} \qquad \checkmark \text{ sama}$$$p = B,\quad q = S$
$$(B \vee S) \wedge \neg(B \wedge S) = B \wedge \neg S = B \wedge B = \mathbf{B}$$ $$B \oplus S = \mathbf{B} \qquad \checkmark \text{ sama}$$$p = S,\quad q = B$
$$(S \vee B) \wedge \neg(S \wedge B) = B \wedge \neg S = B \wedge B = \mathbf{B}$$ $$S \oplus B = \mathbf{B} \qquad \checkmark \text{ sama}$$$p = S,\quad q = S$
$$(S \vee S) \wedge \neg(S \wedge S) = S \wedge \neg S = S \wedge B = \mathbf{S}$$ $$S \oplus S = \mathbf{S} \qquad \checkmark \text{ sama}$$| $p$ | $q$ | $p \wedge q$ | $\neg(p \wedge q)$ | $p \vee q$ | $(p \vee q) \wedge \neg(p \wedge q)$ | $p \oplus q$ |
|---|---|---|---|---|---|---|
| B | B | B | S | B | S | S |
| B | S | S | B | B | B | B |
| S | B | S | B | B | B | B |
| S | S | S | B | S | S | S |
Soal. Diketahui $p = B$, $q = S$, dan $r = B$. Tentukan nilai kebenaran dari:
(a) $(\neg p \vee q) \wedge r$ (b) $p \rightarrow (q \vee \neg r)$ (c) $(p \oplus q) \vee \neg r$