Logische Theorien
Version vom 17. August 2018, 15:33 Uhr von Css (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Wir definieren zunächst, was eine '''Theorie''' ist. Gegeben sind zunächst die logischen Zeichen $\wedge$, welches für das logische "und" steht, $\vee$, wel…“)
Wir definieren zunächst, was eine Theorie ist. Gegeben sind zunächst die logischen Zeichen $\wedge$, welches für das logische "und" steht, $\vee$, welches für das logische "oder" steht, $\rightarrow$, welches für logische Implikation steht, $\bot$, welches für die immer falsche Aussage, das Falsum, steht, $\forall$, der Allquantor, $\exists$, der Existenzquantor.
