logic exam

Basic Logic Quiz ✨

1. Which represents the Law of Identity?

a) A → B

b) A ≡ A

c) ¬(A ∧ ¬A)

2. What is the contrapositive of "If it rains, the ground gets wet"?

a) The ground is wet and it didn’t rain

b) It rained and the ground isn’t wet

c) It didn’t rain and the ground isn’t wet

3. Which law states: ¬(A ∧ B) ≡ ¬A ∨ ¬B?

a) Distributive Law

b) De Morgan’s Law

c) Law of Implication

4. Which example violates the Law of Non-Contradiction?

a) This chair exists and doesn’t exist simultaneously

b) The sky is blue or not blue

c) If 2+2=4 then 5 > 3

5. What is the valid inference in Modus Tollens?

a) If A then B, and A is true → B is true

b) If A then B, and B is false → A is false

c) If A then B, and if B then C → If A then C

6. Which belongs to non-classical logic?

a) Law of Excluded Middle

b) Fuzzy Logic

c) Law of Identity

7. What is the result of applying the Distributive Law: A ∧ (B ∨ C)?

a) (A ∧ B) ∨ (A ∧ C)

b) (A ∨ B) ∧ (A ∨ C)

c) ¬A ∨ ¬B

8. Which statement represents ∀x(P(x) → Q(x))?

a) All cats have tails

b) There exists a cat with a tail

c) If it rains, the ground gets wet

9. What does ¬¬A mean in logic?

a) A is always false

b) A is true

c) A is either true or false

10. Which is used in Artificial Intelligence?

a) Only Intuitionistic Logic

b) Fuzzy and Classical Logic

c) Only Aristotelian Logic