Philosophy - Formal Logic MCQ Test: Philosophy - Formal Logic MCQs - Practice Questions
1. What is the philosophy of language?
2. What is the symbol for existential quantification?
3. What is a tautology in logic?
4. Which of the following is a valid proof technique in formal logic?
5. What is the principle of bivalence?
6. What is the law of identity?
7. What is the symbol for logical disjunction (OR) in propositional logic?
8. What is the symbol used to represent logical negation in formal logic?
9. What is a valid argument in logic?
10. What is the symbol for universal quantification?
11. What is the study of formal logic concerned with?
12. What is the truth value of the statement 'If it is not raining, then the ground is dry' when it is not raining and the ground is wet?
13. Which of the following is a valid inference rule in philosophical logic?
14. What is propositional logic?
15. Which logical connective represents the negation in predicate logic?
16. What is the truth value of the statement 'If it is raining and the ground is wet, then it is not Monday' in formal logic?
17. What is the truth value of the statement 'If it is not raining, then it is not Monday' in formal logic?
18. What is a contingency in logic?
19. What is the truth value of the statement 'All cats are mammals' when there exists a cat that is not a mammal?
20. What is the symbol for logical negation in propositional logic?
21. Which of the following is a valid inference rule in propositional logic?
22. What is the truth value of the statement 'If it is Monday, then it is raining' in formal logic?
23. What is the symbol for logical material implication (IF...THEN)?
24. What is proof theory?
25. What is the symbol for logical conjunction (AND) in modal logic?
26. What is the truth value of the statement 'It is possible that it will rain tomorrow' when it is certain that it will rain tomorrow?
27. Which logical connective represents the exclusive disjunction (XOR) in propositional logic?
28. What is the truth value of the statement 'If it is raining, then the ground is wet' when it is not raining and the ground is wet?
29. What is the truth value of the statement 'If it is raining, then the ground is wet' when it is raining and the ground is wet?
30. What is the truth value of the statement 'If it is not Monday, then it is Monday' in formal logic?
31. Which logical connective represents the disjunction (OR) in set theory?
32. What is the truth value of the statement 'If it is raining and the ground is wet, then it is raining' in formal logic?
33. What is the symbol for logical implication (IF...THEN)?
34. Which logical connective represents the implication in predicate logic?
35. What is the symbol for logical exclusive disjunction (XOR)?
36. What is inductive reasoning?
37. What is the symbol for universal quantification in predicate logic?
38. What is the truth value of a tautology in formal logic?
39. Which logical connective represents the conjunction (AND) in predicate logic?
40. Which logical connective represents logical disjunction in formal logic?