Richtigstellung
(max 500 Zeichen)
Captcha Code-Check*
Beanstandungen werden
nicht veröffentlicht.
I 1
Logische Operatoren/Wessel: Bsp ist, und, nicht, oder, alle, einige, "die Tatsache, dass", "die Untatsache, dass".
>
Verknüpfungen, >
Logische Konstanten.
Termini/Term/Wessel: Bsp "Die Tatsache, dass Metalle Strom leiten", "H
2O", "Bruder und Schwester", "durch drei teilbar"...
Keine Termini sind: und, alle, bei, oder, "Die Erde dreht sich um die Sonne".
I 131
Operator/Wessel: Ein Operator darf in beweisbaren Formeln der Aussagenlogik nicht mehrmals vorkommen.
>
Aussagenlogik, >
Beweise, >
Beweisbarkeit, >
Logische Formeln.
((s) Operator/(s): (Bsp Subjunktion) führt nicht zu Paradoxien, weil nicht "von etwas ausgesagt" wie Prädikate (Implikation).
Operator/(s): rein formal statt Prädikat: Das Prädikat ist inhaltlich.)
>
Prädikate, >
Prädikation.