Logic

• postulate

  (logic) a proposition that is accepted as true in order to provide a basis for logical...

• axiom

  (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to...

• particular

  (logic) a proposition that asserts something about some (but not all) members of a c...

• universal

  (logic) a proposition that asserts something of all members of a class.

• negation

  (logic) a proposition that is true if and only if another proposition is false.

Also contains

• term

  One of the substantive phrases in a logical proposition; "the major term of a syllogism must...

• conclusion

  The proposition arrived at by logical reasoning (such as the proposition that must follow...

• theorem

  A proposition deducible from basic postulates.

• converse

  A proposition obtained by conversion.

• lemma

  A subsidiary proposition that is assumed to be true in order to prove another proposition.