[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff]

Mathematics-Online course: Basic Mathematics - Propositional Logic

# Logical Operations

Logical statements may be joined via operations listed in the following table.

Operation Notation (read as) is true if and only if
Negation (not ) is false
Conjunction ( and ) both and are true
Disjunction ( or ) or is true (or both are true)
Antivalence (either or ) and are assigned different truth values
Implication
 ( implies ) ( follows from )
is false or is true
Equivalence ( is equivalent to ) and are assigned identical truth values

In order to reduce the usage of parentheses in logical formulas, we define that is more closely linked to a symbol than and , which in turn are more closely linked than , and .

Note that an implication only requires the truth of if is true. A false proposition implies anything, hence both true and false implications can be drawn.

Usually, the or-connective is symbolised by a v, derived from the word vel (Latin: or), yet it is also common practice to use the symbol ,,; then ,,symbolizes the and-connective. Using 0 to refer to the truth value ,,falsewhile interpreting any other value as ,,trueenables us to determine the truth value of logical formulas via calculation with natural numbers.
Particularly computer-linguists frequently use the English terms NOT (negation), AND (conjunction), OR (disjunction), EXOR or XOR (exclusive or, antivalence) as well as their negations NAND (negated conjunction), NOR (negated disjunction) and NXOR (equivalence).

(Authors: Höllig/Hörner/Kimmerle/Abele)

Displaying statements as switches that are closed if the statement is true (and open if the statement is false, respectively), the and-connective can be represented by a serial connection and the or-connective by a parallel connection.
 and-connective or-connective

A negated statement corresponds to a switch that is closed if the statement is false. Thus it is possible to draw circuits representing equivalence, antivalence and implication.

 Equivalence: which can be rewritten as Antivalence: which can be rewritten as Implication: which can be rewritten as

Switches can be represented by transistors, for example, that conduct electricity when a high or low voltage is impressed. Values w and f (or 1 and 0) represent high and low voltages respectively.

DIN 40900 defines symbols for the corresponding circuits. These consist of rectangles in which the respective operations are inscribed. Negation is symbolized by a circle.

 Conjunction Disjunction Antivalence Negation Implication Equivalence
(Authors: Hörner/Abele)