1. What is the other name of Propositional Logic?
2. Sentential connective is used in which?
3. Rules of inference are
1. applied when the main operators are in use.
2. nine in number.
3. applied only to entire statements.
4. not applied to entire statements.
Select the correct answer:
1. applied when the main operators are in use.
2. nine in number.
3. applied only to entire statements.
4. not applied to entire statements.
Select the correct answer:
4. A consistent theory is essential for which logic?
5. An axiomatic system is called complete when?
6. Match the following:
List-I
List-II
a. Universal instantiation
1. ∀ × Σ × P(x) ⟶ P(c)
b. Universal generalisation
2. P(c) ⟶ ∀ × Σ × P(x)
c. Existential quantification
3. ∃ × Σ × P(x)
d. Axiomatic system
4. Consistency
| List-I | List-II |
| a. Universal instantiation | 1. ∀ × Σ × P(x) ⟶ P(c) |
| b. Universal generalisation | 2. P(c) ⟶ ∀ × Σ × P(x) |
| c. Existential quantification | 3. ∃ × Σ × P(x) |
| d. Axiomatic system | 4. Consistency |
7. Which one of the following is equivalent to ∼ P ⊃ ∼ ∼ q?
8. Inclusive sense means
1. One disjunct are true.
2. Other disjunct are false.
3. Both disjunct are true.
4. Both disjunct are false.
Select the correct answer:
1. One disjunct are true.
2. Other disjunct are false.
3. Both disjunct are true.
4. Both disjunct are false.
Select the correct answer:
9. Fallacy of presumption is committed only when we make unnecessary dogmatic presumptions
10. What is the other name of Modus Tollens?
Read More Section(Modern Symbolic logic)
Each Section contains maximum 100 MCQs question on Modern Symbolic logic. To get more questions visit other sections.