Exam 11: Rules of Inference and Quantifiers

Name the rule of inference p v q ) ? q v p )

Name the rule of inference ( P ? q ) ? P v q )

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

Name the rule of inference P ? q ) ? [ p ? q ) . ( q ? p ) ]

The phrase ' there is at least one x such that' is called ………………………………

Name the rule of inference P . Q) ? P V Q)

Universal quantifier is symbolized as …………

Name the rule of inference P V Q) ? P . Q )

General propositions can be regarded as resulting from propositional functions by a process called

Name the rule of inference P ? p

The rule of Addition is symbolized as

The rule of Hypothetical Syllogism ( H.S) is symbolized as

Name the rule of inference ( P ? q ) ? Q ? P )

Name the rule of inference P ? q ) ? [ p . q ) v P . Q ) ]

The rule of Absorption (Abs) is symbolized as

The phrase 'Given any x' is called …………………………………….

Name the rule of inference [ (P . Q ) ? r ) ] ? [ p ? ( q ? r ) ]

An 'existential quantifier' is symbolized as ,

Name the rule of inference p ? p . p )

The process of obtaining a proposition from a propositional function by substituting a constant for a variable is called …………………………………