#1 Philosophy Formal Logic Test - 116+ MCQs: Philosophy - Formal Logic Quiz: Test Your Knowledge with Logic Questions and Answers

1. Which logical connective represents the negation in predicate logic?

∨

⊢

∧

2. Which logical connective represents the conjunction (AND) in predicate logic?

∨

⊢

∃

∧

3. What is the symbol for logical biconditional?

∧

∨

↔

4. What is the law of excluded middle?

A logical principle stating that every proposition is either true or false

A logical principle stating that every proposition is both true and false

A logical principle stating that every proposition is neither true nor false

A logical principle stating that every proposition is sometimes true and sometimes false

5. What is the symbol for logical negation in set theory?

∨

⊢

∧

6. What is the symbol for universal quantification?

∀

∃

→

7. What is a tautology in logic?

A statement that is always true

A statement that is always false

A statement that can be either true or false

A statement that is neither true nor false

8. What is the symbol for logical conjunction (AND) in set theory?

∨

⊢

∃

∧

9. Which of the following is a valid inference rule in modal logic?

Necessitation

Possibility

Distribution

Transitivity

10. What is the symbol for logical negation in propositional logic?

∨

⊢

∧

Philosophy - Formal Logic MCQ Test 5