Das Dokument behandelt verschiedene logische Operationen und deren Negationen, einschließlich Disjunktion, Konjunktion, Implikation und Biimplikation. Es werden auch Beispiele für existenzielle und universelle Quantoren gegeben, insbesondere im Kontext von Aussagen über Busse und Becaks. Es wird darauf hingewiesen, dass nicht alle Busse bestimmte Eigenschaften erfüllen.

1. NEGASI DISJUNGSI
NEGASI KONJUNGSI
NEGASI IMPLIKASI
NEGASI BIIMPLIKASI

2. p q ~𝑝 ~𝑞 𝑝 ∧ 𝑞 ~ 𝑝 ∧ 𝑞 ~𝑝 ∨ ~𝑞
B B S S B S S
B S S B S B B
S B B S S B B
S S B B S B B

3. p q ~𝑝 ~𝑞 𝑝 ∨ 𝑞 ~ 𝑝 ∨ 𝑞 ~𝑝 ∧ ~𝑞
B B S S B S S
B S S B B S S
S B B S B S S
S S B B S B B

4. p q ~𝑝 ~𝑞 𝑝 → 𝑞 ~(𝑝 → 𝑞) 𝑝 ∧ ~𝑞
B B S S B S S
B S S B S B B
S B B S B S S
S S B B B S S

5. p q ~𝑝 ~𝑞 𝑝 ↔ 𝑞 ~(𝑝 ↔ 𝑞) 𝑝 ∧ ~𝑞 𝑞 ∧ ~𝑝
(𝑝 ∧ ~𝑞)
∨ (𝑞 ∧ ~𝑝)
B B S S B S S S S
B S S B S B B S B
S B B S S B S B B
S S B B B S S S S

6. Semua bus beroda enam
Ada beberapa bus
yang tidak beroda
enam
EKSISTENSIAL “∃” UNIVERSAL “∀”
Ada becak yang
menggunakan mesin
Semua becak tidak
Menggunakan mesin
CONTOH :

7. BANK SOAL

8. BANK SOAL