Symbolic Logic MCQs and Notes

V

Vijay Sangwan • 28.62K Points
Instructor II

Q 1. A general proposition is formed from a propositional function by placing either a universal or an existential __________before it.

(A) variable
(B) quantifier
(C) reference
(D) denotation

S

Shiva Ram • 30.44K Points
Instructor I

Q 2. Conjunction, Disjunction,Implication and biconditional are called Truth ________ connectives

(A) contradictory
(B) contrary
(C) hidden
(D) functional

S

Shiva Ram • 30.44K Points
Instructor I

Q 3. If (∃x ) Mx is true, then (∃x ) ~Mx is ____________

(A) true
(B) true or false
(C) valid
(D) false

V

Vinay • 28.75K Points
Instructor II

Q 4. Name the rule of replacement (P ≡ q)≡ [(p.q) v (~p.~q)]

(A) Exportation
(B) Material Equivalence
(C) Transposition
(D) Association

R

Rakesh Kumar • 28.44K Points
Instructor II

Q 5. The negation of the conjunction of two statements is logically equivalent to __________ of their negation.

(A) disjunction
(B) conjunction
(C) implication
(D) negation

R

Ranjeet • 34.60K Points
Instructor I

Q 6. By _______________, the left-hand conjunct can be switched over to the right-hand

(A) association
(B) distribution
(C) exportation
(D) commutation

R

Rakesh Kumar • 28.44K Points
Instructor II

Q 7. A statement can be replaced only by a statement logically __________to it .

(A) different
(B) vague
(C) equivalent
(D) contradiction

P

Priyanka Tomar • 35.28K Points
Coach

Q 8. By using symbols, we can ___________the validity of an argument quickly and accurately

(A) combine
(B) determine
(C) deny
(D) negation

S

Shiva Ram • 30.44K Points
Instructor I

Q 9. Raju and Manu will both not win is symbolised as

(A) ~ R v M
(B) ~(R.M)
(C) R v ~M
(D) ~R.~M

V

Vinay • 28.75K Points
Instructor II

Q 10. The negation of p v q is symbolised as

(A) ~p v q
(B) p v ~q
(C) ~(p v q)
(D) ~ p v ~q

Download our easy to use, user friendly Android App from Play Store. And learn MCQs with one click.

Image