Symbolic Logic Set 16
On This Page
This set of Symbolic Logic Multiple Choice Questions & Answers (MCQs) focuses on Symbolic Logic Set 16
Q1 | Name the rule of inference( p . q ) ≡ ( q . p )
- Distribution
- Commutation
- Association
- Exportation
Q2 | If (∃x ) ~ Mx is true , then (x) Mx is _____________
- valid
- true
- false
- true or false
Q3 | If (x) ( H x Ͻ Mx ) is true, then (∃x ) ( H x . ~Mx ) is ___________
- false
- true or false
- true
- valid
Q4 | Bi-conditional statement is also called _____________
- implication
- material equivalence
- material implication
- logical equivalence
Q5 | The negation of p v q is symbolised as
- ~p v q
- p v ~q
- ~(p v q)
- ~ p v ~q
Q6 | Raju and Manu will both not win is symbolised as
- ~ R v M
- ~(R.M)
- R v ~M
- ~R.~M
Q7 | By using symbols, we can ___________the validity of an argument quickly andaccurately
- combine
- determine
- deny
- negation
Q8 | A statement can be replaced only by a statement logically __________to it .
- different
- vague
- equivalent
- contradiction
Q9 | By _______________, the left-hand conjunct can be switched over to the right-hand
- association
- distribution
- exportation
- commutation
Q10 | The negation of the conjunction of two statements is logically equivalent to __________ of their negation.
- disjunction
- conjunction
- implication
- negation
Q11 | Name the rule of replacement (P ≡ q)≡ [(p.q) v (~p.~q)]
- Exportation
- Material Equivalence
- Transposition
- Association
Q12 | If (∃x ) Mx is true, then (∃x ) ~Mx is ____________
- true
- true or false
- valid
- false
Q13 | Conjunction, Disjunction,Implication and biconditional are called Truth ________ connectives
- contradictory
- contrary
- hidden
- functional
Q14 | A general proposition is formed from a propositional function by placing either a universal or an existential __________before it.
- variable
- quantifier
- reference
- denotation