Question 1

'Some fruits are ripe' is symbolized as

Accepted Answer

A) ( ?x ) ( F x . R x ) 
B) ( ?x ) ( F x . R x ). 
C) (x) ( F x ? R x ) 
D) (x) ( F x ? R x ). 
A) ( ?x ) ( F x . R x ) 
B) ( ?x ) ( F x . R x ). 
C) (x) ( F x ? R x ) 
D) (x) ( F x ? R x ). B

Question 2

If (x) Mx is true, then (?x ) Mx is …………………………..

Accepted Answer

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

Question 3

The negation of ( ?x) M x is logically equivalent to ………………….

Accepted Answer

A) (x) M x. 
B) ( ?x ) M x 
C) (x) M x 
D) ( ?x ) M x. 
A) (x) M x. 
B) ( ?x ) M x 
C) (x) M x 
D) ( ?x ) M x. A

Question 4

The relation between the general propositions (?x ) Mx and (?x ) Mx is …………

Accepted Answer

A) contrary 
B) sub altern 
C) sub contrary 
D) contradiction 
A) contrary 
B) sub altern 
C) sub contrary 
D) contradiction

Question 5

The relation between the general propositions x) Mx and x) Mx is ……..………

Accepted Answer

A) sub contrary 
B) contradiction 
C) sub altern 
D) contrary 
A) sub contrary 
B) contradiction 
C) sub altern 
D) contrary

Question 6

'Everything is mortal ' is symbolized as …………

Accepted Answer

A) ( ?x ) M x 
B) ( ?x ) M x. 
C) (x) M x. 
D) (x) M x 
A) ( ?x ) M x 
B) ( ?x ) M x. 
C) (x) M x. 
D) (x) M x

Question 7

The universal quantification of a propositional function is true if and only if ……...

Accepted Answer

A) at least one substitution instance is true 
B) all of it's substitution instances are false 
C) all of it's substitution instances are true 
D) it has both true and false substitution instances 
A) at least one substitution instance is true 
B) all of it's substitution instances are false 
C) all of it's substitution instances are true 
D) it has both true and false substitution instances

Question 8

' Something is mortal' is symbolized as

Accepted Answer

A) (x) M x 
B) ( ?x ) M x. 
C) (x) M x. 
D) ( ?x ) M x 
A) (x) M x 
B) ( ?x ) M x. 
C) (x) M x. 
D) ( ?x ) M x

Question 9

The negation of ( ?x) M x is logically equivalent to ……………………….

Accepted Answer

A) ( ?x ) M x. 
B) (x) M x 
C) ( ?x ) M x 
D) (x) M x. 
A) ( ?x ) M x. 
B) (x) M x 
C) ( ?x ) M x 
D) (x) M x.

Question 10

The negation of x) M x is logically equivalent to……………………………….

Accepted Answer

A) (x) M x 
B) ( ?x ) M x. 
C) ( ?x ) M x 
D) (x) M x. 
A) (x) M x 
B) ( ?x ) M x. 
C) ( ?x ) M x 
D) (x) M x.

Question 11

As per modern interpretation of traditional subject-predicate propositions, A and O propositions are …………………..

Accepted Answer

A) contraries 
B) sub-contraries 
C) sub alterns 
D) contradictories 
A) contraries 
B) sub-contraries 
C) sub alterns 
D) contradictories

Question 12

The negation of (x) M x is logically equivalent to……………………………….

Accepted Answer

A) ( ?x ) M x. 
B) (x) M x 
C) (x) M x. 
D) ( ?x ) M x 
A) ( ?x ) M x. 
B) (x) M x 
C) (x) M x. 
D) ( ?x ) M x

Question 13

If x) Mx is false, then x) Mx is …………………

Accepted Answer

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

Question 14

'Some fruits are not ripe' is symbolized as

Accepted Answer

A) (x) ( F x ? R x ) 
B) (x) ( F x ? R x ). 
C) ( ?x ) ( F x . R x ) 
D) ( ?x ) ( F x . R x ). 
A) (x) ( F x ? R x ) 
B) (x) ( F x ? R x ). 
C) ( ?x ) ( F x . R x ) 
D) ( ?x ) ( F x . R x ).

Question 15

The relation between the general propositions (x) Mx and (?x ) Mx is ……………

Accepted Answer

A) contrary 
B) contradiction 
C) sub contrary 
D) sub altern 
A) contrary 
B) contradiction 
C) sub contrary 
D) sub altern

Question 16

As per modern interpretation of traditional subject-predicate propositions, E and I propositions are ………………………………

Accepted Answer

A) Contradictories 
B) sub alterns 
C) sub-contraries 
D) contraries 
A) Contradictories 
B) sub alterns 
C) sub-contraries 
D) contraries

Question 17

' Nothing is mortal' is symbolized as

Accepted Answer

A) (x) M x 
B) ( ?x ) M x 
C) ( ?x ) M x. 
D) (x) M x. 
A) (x) M x 
B) ( ?x ) M x 
C) ( ?x ) M x. 
D) (x) M x.

Question 18

If x) Mx is true, then x) Mx is …………………

Accepted Answer

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

Question 19

' No fruits are ripe ' is symbolized as

Accepted Answer

A) (x) ( F x ? R x ) 
B) ( ?x ) ( F x . R x ) 
C) (x) ( F x ? R x ). 
D) ( ?x ) ( F x . R x ). 
A) (x) ( F x ? R x ) 
B) ( ?x ) ( F x . R x ) 
C) (x) ( F x ? R x ). 
D) ( ?x ) ( F x . R x ).

Question 20

If (x) Mx is false, then (?x ) Mx is …………………..

Accepted Answer

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

'Some fruits are ripe' is symbolized as

If (x) Mx is true, then (?x ) Mx is …………………………..

The negation of ( ?x) M x is logically equivalent to ………………….

The relation between the general propositions (?x ) Mx and (?x ) Mx is …………

The relation between the general propositions x) Mx and x) Mx is ……..………

'Everything is mortal ' is symbolized as …………

The universal quantification of a propositional function is true if and only if ……...

' Something is mortal' is symbolized as

The negation of ( ?x) M x is logically equivalent to ……………………….

The negation of x) M x is logically equivalent to……………………………….

As per modern interpretation of traditional subject-predicate propositions, A and O propositions are …………………..

The negation of (x) M x is logically equivalent to……………………………….

If x) Mx is false, then x) Mx is …………………

'Some fruits are not ripe' is symbolized as

The relation between the general propositions (x) Mx and (?x ) Mx is ……………

As per modern interpretation of traditional subject-predicate propositions, E and I propositions are ………………………………

' Nothing is mortal' is symbolized as

If x) Mx is true, then x) Mx is …………………

' No fruits are ripe ' is symbolized as

If (x) Mx is false, then (?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

Logic and Quantifiers

Logic and Argumentation

Topics in Propositional Logic and Categorical Syllogisms

Logic and Propositional Functions

Filters

Exam 12: Symbolism and Logic in Propositional Functions

'Some fruits are ripe' is symbolized as

If (x) Mx is true, then (?x ) Mx is …………………………..

The negation of ( ?x) M x is logically equivalent to ………………….

The relation between the general propositions (?x ) Mx and (?x ) Mx is …………

The relation between the general propositions x) Mx and x) Mx is ……..………

'Everything is mortal ' is symbolized as …………

The universal quantification of a propositional function is true if and only if ……...

' Something is mortal' is symbolized as

The negation of ( ?x) M x is logically equivalent to ……………………….

The negation of x) M x is logically equivalent to……………………………….

As per modern interpretation of traditional subject-predicate propositions, A and O propositions are …………………..

The negation of (x) M x is logically equivalent to……………………………….

If x) Mx is false, then x) Mx is …………………

'Some fruits are not ripe' is symbolized as

The relation between the general propositions (x) Mx and (?x ) Mx is ……………

As per modern interpretation of traditional subject-predicate propositions, E and I propositions are ………………………………

' Nothing is mortal' is symbolized as

If x) Mx is true, then x) Mx is …………………

' No fruits are ripe ' is symbolized as

If (x) Mx is false, then (?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

Logic and Quantifiers

Logic and Argumentation

Topics in Propositional Logic and Categorical Syllogisms

Logic and Propositional Functions

Filters