Mo logo [home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff] german flag

Mathematics-Online course: Basic Mathematics - Propositional Logic


[next page] [table of contents][page overview]

A statement is a verbal expression that is either true or false, i.e. that is uniquely assigned one of the two truth values t (true) or f (false) respectively.

We use capital letters as symbols for statements, such as

$\displaystyle A:$   description$\displaystyle \quad .

Statements can be joined using logical operators. Basic mathematical statements that cannot be derived from other statements are called axioms.
(Authors: Höllig/Kimmerle/Abele)

(temporary unavailable)

[next page] [table of contents][page overview]

  automatically generated 10/31/2008