61. Exclusive disjunct holds
1. Atleast one of the disjunct is true
2. Atleast one of the disjunct is false
1. Atleast one of the disjunct is true
2. Atleast one of the disjunct is false
62. Either we will eat pizza or icecream. What kind of statement is this
63. What are the methods to do decision procedures?
1. Truth Table
2. Shorter Truth Table
3. Reduction ad Absurdum
4. Algorithm
1. Truth Table
2. Shorter Truth Table
3. Reduction ad Absurdum
4. Algorithm
64. Match the following:
List-I
List-II
a. Universal instantiation
1. (x) (Qx) ∴ (Qv)
b. Universal generalisation
2. Q y ∴ (x) (Qx)
c. Existential instantiation
3. (∃x) (Qx) ∴ qu
d. Existential generalisation
4. Q v ∴ (∃x) (Qx)
| List-I | List-II |
| a. Universal instantiation | 1. (x) (Qx) ∴ (Qv) |
| b. Universal generalisation | 2. Q y ∴ (x) (Qx) |
| c. Existential instantiation | 3. (∃x) (Qx) ∴ qu |
| d. Existential generalisation | 4. Q v ∴ (∃x) (Qx) |
65. Which combination of fallacies occur if the rule "Any term distributed in the conclusion must be distributed in the premises" is not followed.
66. When we have the truth values in all the resulting table than it is called
67. Truth table is used to determine what?
68. Consider the follwoing argument-form and identify the rule of inference involved in it from option given below.
69. The phrase "there is at least one object(x) such that" is the auxillary form of
70. In axiomatic system, axiom is regarded as what?
Read More Section(Modern Symbolic logic)
Each Section contains maximum 100 MCQs question on Modern Symbolic logic. To get more questions visit other sections.