Vidyalelo
Philosophy · all questions

Modern Symbolic logic
practice.

Practice every MCQ with options. Use Show answers when you want the correct option and solution.

127

Questions

7/7

Page

Pick an option on a question to see the right answer and solution.

Match the following:
List-I List-II
a. Negation 1. Not
b. Disjunctive 2. Or
c. Conjunction 3. And
d. Hypothetical 4. If and then

Select an option to see the answer and solution.

Mathematical theory consists of which system?

Select an option to see the answer and solution.

Rules of replacement is used for compound statements when we want to replace them without changing the truth value:

Select an option to see the answer and solution.

Match List-I with List-II and select the correct answer:
List-I List-II
a. Exportation 1. (p ⊃ q) ≡ (q ∼ ⊃ ∼p)
b. Tautology 2. (p ⊃ q) ≡ (∼ p ∨ q)
c. Transposition 3. p ≡ (p.p)
d. Material implication 4. [(p.q) ⊃ r] ≡ [p ⊃ (q ⊃ r)]

Select an option to see the answer and solution.

Axiomatic system is known as what?

Select an option to see the answer and solution.

What is the task of a logical operator?

Select an option to see the answer and solution.

Proposition logic involves
1. logical connectives
2. non-logical connectives
3. words like and
4. words like or
Select the correct answer:

Select an option to see the answer and solution.