Question 1

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

Accepted Answer

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

Question 2

Bi-conditional statement is also called _____________

Accepted Answer

A) implication 
B) material equivalence 
C) material implication 
D) logical equivalence 
A) implication 
B) material equivalence 
C) material implication 
D) logical equivalence B

Question 3

The negation of p v q is symbolised as

Accepted Answer

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

Question 4

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

Accepted Answer

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

Question 5

Raju and Manu will both not win is symbolised as

Accepted Answer

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

Question 6

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

Accepted Answer

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

Question 7

Name the rule of inference ( p . q ) ? ( q . p )

Accepted Answer

A) Distribution 
B) Commutation 
C) Association 
D) Exportation 
A) Distribution 
B) Commutation 
C) Association 
D) Exportation

Question 8

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

Accepted Answer

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

Question 9

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

Accepted Answer

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

Question 10

Conjunction, Disjunction,Implication and biconditional are called Truth ________ connectives

Accepted Answer

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

Question 11

Name the rule of replacement (P ? q)? [(p.q) v (~p.~q)]

Accepted Answer

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

Question 12

If (?x ) ~ Mx is true , then (x) Mx is _____________

Accepted Answer

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

Question 13

If (?x ) Mx is true, then (?x ) ~Mx is ____________

Accepted Answer

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

Question 14

If (x) ( H x ? Mx ) is true, then (?x ) ( H x . ~Mx ) is ___________

Accepted Answer

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

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

Bi-conditional statement is also called _____________

The negation of p v q is symbolised as

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

Raju and Manu will both not win is symbolised as

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

Name the rule of inference ( p . q ) ? ( q . p )

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

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

Conjunction, Disjunction,Implication and biconditional are called Truth ________ connectives

Name the rule of replacement (P ? q)? [(p.q) v (~p.~q)]

If (?x ) ~ Mx is true , then (x) Mx is _____________

If (?x ) Mx is true, then (?x ) ~Mx is ____________

If (x) ( H x ? Mx ) is true, then (?x ) ( H x . ~Mx ) is ___________

Logic and Language

Propositions and Connectives in Logic

Symbolic Logic and Statement Forms

Propositions, Truth Values, and Logical Connections

Propositional Logic and Symbolic Notation

Logic and Truth

Truth Values, Symbolism, and Logic in Propositional Logic

Logic and Propositional Statements

Propositional Logic and Compound Statements

Symbolizing Statements and Argument Forms

Rules of Inference and Quantifiers

Symbolism and Logic in Propositional Functions

Logic and Quantifiers

Logic and Argumentation

Topics in Propositional Logic and Categorical Syllogisms

Filters

Exam 16: Logic and Propositional Functions

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

Bi-conditional statement is also called _____________

The negation of p v q is symbolised as

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

Raju and Manu will both not win is symbolised as

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

Name the rule of inference ( p . q ) ? ( q . p )

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

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

Conjunction, Disjunction,Implication and biconditional are called Truth ________ connectives

Name the rule of replacement (P ? q)? [(p.q) v (~p.~q)]

If (?x ) ~ Mx is true , then (x) Mx is _____________

If (?x ) Mx is true, then (?x ) ~Mx is ____________

If (x) ( H x ? Mx ) is true, then (?x ) ( H x . ~Mx ) is ___________

Logic and Language

Propositions and Connectives in Logic

Symbolic Logic and Statement Forms

Propositions, Truth Values, and Logical Connections

Propositional Logic and Symbolic Notation

Logic and Truth

Truth Values, Symbolism, and Logic in Propositional Logic

Logic and Propositional Statements

Propositional Logic and Compound Statements

Symbolizing Statements and Argument Forms

Rules of Inference and Quantifiers

Symbolism and Logic in Propositional Functions

Logic and Quantifiers

Logic and Argumentation

Topics in Propositional Logic and Categorical Syllogisms

Filters