Definisi 1.1.8. Syarat Kebenaran untuk Penghubung.
Syarat kebenaran untuk penghubung logis didefinisikan sebagai berikut.
-
\(P \wedge Q\) benar ketika \(P\) dan \(Q\) keduanya benar.
-
\(P \vee Q\) benar ketika \(P\) atau \(Q\text{,}\) atau keduanya, benar.
-
\(P \imp Q\) benar ketika \(P\) salah atau \(Q\) benar (atau keduanya).
-
\(P \iff Q\) benar ketika \(P\) dan \(Q\) keduanya benar, atau keduanya salah.
-
\(\neg P\) benar ketika \(P\) salah.