Mittwoch, 31. Oktober 2007

Tautologie

Für jede Aussage A ist "Wenn A, dann A" eine Tautologie.

In Zeichen:

\models A \rightarrow A

siehe Wiki
Sendite de je
kategorioj: ,

Keine Kommentare:

Kommentar veröffentlichen

Abonnieren Kommentare zum Post (Atom)