What is the other name of Propositional Logic?
Select an option to see the answer and solution.
Philosophy · all questionsModern Symbolic logic
Modern Symbolic logic
practice.
Practice every MCQ with options. Use Show answers when you want the correct option and solution.
127
Questions
1/7
Page
Pick an option on a question to see the right answer and solution.
Sentential connective is used in which?
Select an option to see the answer and solution.
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:
Select an option to see the answer and solution.
A consistent theory is essential for which logic?
Select an option to see the answer and solution.
An axiomatic system is called complete when?
Select an option to see the answer and solution.
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 |
Select an option to see the answer and solution.
Which one of the following is equivalent to ∼ P ⊃ ∼ ∼ q?
Select an option to see the answer and solution.
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:
Select an option to see the answer and solution.
Fallacy of presumption is committed only when we make unnecessary dogmatic presumptions
Select an option to see the answer and solution.
What is the other name of Modus Tollens?
Select an option to see the answer and solution.
Disjunctive is referred as
1. ∨
2. ⊃
3. or
4. And
Select the correct answer:
1. ∨
2. ⊃
3. or
4. And
Select the correct answer:
Select an option to see the answer and solution.
The dot (.) in the statement p.q is the connector used in the statements.
Select an option to see the answer and solution.
Some good actor are not powerful athletes. Therefore, all professional wrestlers are good actor. All professional wrestlers are powerful athlets.
The syllogism involves the fallacy of
The syllogism involves the fallacy of
Select an option to see the answer and solution.
Quantification helps in what?
Select an option to see the answer and solution.
If A and B are true statements and X and Y are false statements, the compound statement ∼ (A ∨ X) is
Select an option to see the answer and solution.
Which one of the following rules of inference is employed in the argument.
[N ⊃ (O.P)] • [Q ⊃ (O.P)]
N ∨ Q
∴ (O.P) ∨ (O.R)
[N ⊃ (O.P)] • [Q ⊃ (O.P)]
N ∨ Q
∴ (O.P) ∨ (O.R)
Select an option to see the answer and solution.
Conjunction function deal with . . . . . . . .
Select an option to see the answer and solution.
The invalidity of an argument can be proved through the shorter truth table technique in which of the following ways?
Select an option to see the answer and solution.
What is the truth value of following statement?
''Why are you late"?
''Why are you late"?
Select an option to see the answer and solution.
Find the equivalence by matching List I with List II and select the correct answer:
| List-I | List-II |
| a. [(p.q) ⊃ r] ≡ | 1. [(p ⊃ q) . (q ⊃ p)] |
| b. [p ∨ (q.r)] ≡ | 2. ∼ p ∨ q |
| c. [(p ≡ q)] ≡ | 3. [p ⊃ (q ⊃ r)] |
| d. [p ⊃ q] ≡ | 4. [(p ∨ q) . (p ∨ r)] |
Select an option to see the answer and solution.