\(P\) \(Q\) \(P\wedge Q\)
B B B
B S S
S B S
S S S
\(P\) \(Q\) \(P\vee Q\)
B B B
B S B
S B B
S S S
\(P\) \(Q\) \(P\imp Q\)
B B B
B S S
S B B
S S B
\(P\) \(Q\) \(P\iff Q\)
B B B
B S S
S B S
S S B
\(P\) \(\neg P\)
B S
S B
Gambar 1.1.9. Tabel kebenaran untuk penghubung logis.
dalam konteks