Discover published sets by community

A type of deductive reasoning where a conclusion is drawn from two given or assumed propositions (premises), each of which shares a common or middle term not present in the conclusion.

A statement in Aristotelian logic that can either be true or false, making an assertion about the subject using a predicate.

The premise that contains the minor term and the middle term in a syllogism.

A valid form of argument in logic where one assumes a conditional statement (if A, then B), and a premise stating A, thus concluding with B.

The basic building block of a syllogism in Aristotelian logic, terms are the subject or predicate of a proposition.

In a syllogism, the major term is the predicate of the conclusion, and is also found in the major premise.

A method of reasoning where the conclusion logically follows from the given premises. In Aristotelian logic, it is exemplified by the use of syllogisms to arrive at conclusions that are necessarily true, provided the premises are true.

The minor term is the subject of the conclusion in a syllogism, and is also found in the minor premise.

The term that appears in both premises of a syllogism but not in the conclusion, used to link the subject and predicate of the conclusion.

The premise that contains the major term and the middle term in a syllogism.

A valid form of argument in which one assumes a conditional statement (if A, then B), along with a premise stating not B, and concludes not A.