4. Saccheris Definitionsregeln
|
Glossar der logischen Symbole
Da die Notation der Logik immer noch unterschiedlich gehandhabt wird, füge
ich vorsichtshalber das folgende Glossar bei. Die Symbole sind in der Reihenfolge
der Rechenhierarchie aufgelistet.
= Identität # Verschiedenheit /\ Allquantor \/ Existenzquantor - Negation + und, Konjunktion v einschließendes oder (vel), Adjunktion => Implikation <=> Äquivalenz ! Behauptung, d.h. der so bezeichnete Satz wird in der entsprechenden Argumentation nicht bewiesen. |