Logic

All X are Y is an example of ____________ affirmative.

This symbol connotes that two statements are materially equivalent or equivalent in truth value, they are either both true or both false.

• ⊃

• ≡

• “≡”

• ∴∼

The ______________ syllogism is a type of syllogism wherein the major premise is in a disjunctive proposition while the minor premise and the conclusion are both in categorical propositions.

To ______________ means “to lay down the markers or limits.”

What kind of argument is this?

"All men are mortals.

Socrates is a man.

Socrates is mortal. "

• inductive

• deducive

• deductive

• inducive

____________ is a “science” because it is a body of knowledge derived from reasoned demonstration of causes and reduced to a system. It is not based on mere opinions or

hypotheses.

You cannot serve both God and Satan simultaneously.

But you serve God.

Therefore, you do not serve Satan.

The syllogism above is:

• conjuncive

• conjunctive

• disjunctive

• disjuncive

______________ is a systematized body of knowledge about the principles and laws of correct inferential reasoning.

______________ is the similarity in terms of meaning between propositions.

It is the standard expression of argument in Aristotelian logic, it is a basic form of argument wherein it is arranged orderly so as to show the structure or form of the argument and important terms and propositions to facilitate logical analysis.

• inference

• argument

• syllogism

• tautology