Proposition

• proposition

  (logic) a statement that affirms or denies something and is either true or false.

• 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.

Logical Relation

• logical relation

  A relation between propositions.

• transitivity

  (logic and mathematics) a relation between three elements such that if it holds between...

• reflexivity

  (logic and mathematics) a relation such that it holds between an element and itself.

Statement

• explicandum

  (logic) a statement of something (a fact or thing or expression) to be explained.

• explanans

  (logic) statements that explain the explicandum; the explanatory premises.

Logicality

• consistency

  (logic) an attribute of a logical system that is so constituted that none of the propositions...

• completeness

  (logic) an attribute of a logical system that is so constituted that a contradiction...

Contradiction

• contradiction

  (logic) a statement that is necessarily false; "the statement `he is brave and he...

• paradox

  (logic) a statement that contradicts itself; "`I always lie' is a paradox because if it...

Term

• subject

  (logic) the first term of a proposition.

• predicate

  (logic) what is predicated of the subject of a proposition; the second term in a proposition...

Also contains

• proof

  A formal series of statements showing that if one thing is true something else necessarily...

• quantifier

  (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical...

• corollary

  (logic) an inference that follows directly from the proof of another proposition.

• postulation

  (logic) a declaration of something self-evident; something that can be assumed as the...

• non sequitur

  (logic) a conclusion that does not follow from the premises.

• arity

  The number of arguments that a function can take.

• logic operation

  An operation that follows the rules of symbolic logic.

• modal logic

  The logical study of necessity and possibility.

• tautology

  (logic) a statement that is necessarily true; "the statement `he is brave or he is not...

More Connections

• logician

  A person skilled at symbolic logic.