Während ... mache ...


Wahr
CATO: (Paket) Logik (auswählen) → Wahr (auswählen)
CATO: (Paket) mathematische Konstante (auswählen) → Wahr (auswählen)

Maple, math. Toolbox, Mathematica, MATLAB, Maxima, MuPAD, Yacas
Wahr ist eine boolesche Konstante, ein logischer Wert. Üblicherweise sind Aussagen Wahr, Falsch oder nicht entscheidbar. Somit ist eigentlich Wahr ein Rückgabewert, wenn man logische Ausdrücke an ein CA-System übermittelt.
So ist die Verneinung von Wahr eben Falsch, die Oder-Verknüpfung von Wahr und Falsch ergibt Wahr.
Die Konstante Wahr befindet sich im Paket Logik und im Paket mathematische Konstante.

BEISPIELE:
Bsp.: Es soll Wahr negiert (= verneint) werden. Dazu wählen wir in CATO links unten unter Pakete zuerst das Paket Logik aus, dann rechts daneben in diesem Paket den Befehl Negation. Im Eingabefenster erscheint:
Negation(
. Jetzt tippen ein:
Wahr)
und können mit Auswerten den Befehl an CATO abschicken.
Wenn Maple angeschlossen ist, erhalten wir als Antwort:
false
In Maple bezeichnet false den Wert Falsch.
Wenn die math. Toolbox angeschlossen ist, erhalten wir als Antwort:
FALSE
Die math. Toolbox bezeichnet mit FALSE den logischen Wert Falsch..
Wenn Mathematica angeschlossen ist, erhalten wir als Antwort:
False
In Mathematica bezeichnet False den Wert Falsch.
Wenn MATLAB angeschlossen ist, erhalten wir als Antwort:
false
In MATLAB bezeichnet false den Wert Falsch.
Wenn Maxima angeschlossen ist, erhalten wir als Antwort:
false
In Maxima bezeichnet false den Wert Falsch.
Wenn MuPAD angeschlossen ist, erhalten wir als Antwort:
FALSE
In MuPAD bezeichnet FALSE den Wert Falsch.
Wenn Yacas angeschlossen ist, erhalten wir als Antwort:
False
In Yacas bezeichnet false den Wert Falsch.

Bsp.: Es sollen Falsch und Wahr mit Oder verknüpft werden. Dazu wählen wir in CATO links unten unter Pakete zuerst das Paket Logik aus, dann rechts daneben in diesem Paket den Befehl Oder. Es erscheint das Zusatzfenster „Oder” mit dem Hinweis „Verknüpfung zweier logischer Ausdrücke/Werte mit "oder"” und zwei Eingabezeilen:
   erster Ausdruck :                                              
   zweiter Ausdruck :                                              
Wir sind automatisch in der erste Eingabezeile positioniert und tippen ein:
Wahr
und betätigen weiter !. Danach sind wir in der zweiten Eingabezeile und geben ein:
Falsch
Wir beenden die Eingabe mit weiter !, schließen des Fensters mit alle Eingaben abgeschlossen und können mit Auswerten den Befehl an CATO abschicken.
Wenn Maple angeschlossen ist, erhalten wir als Antwort:
true
Wenn die math. Toolbox angeschlossen ist, erhalten wir als Antwort:
TRUE
Die math. Toolbox bezeichnet mit TRUE den logischen Wert Wahsr..
Wenn Mathematica angeschlossen ist, erhalten wir als Antwort:
True
Wenn MATLAB angeschlossen ist, erhalten wir als Antwort:
true
Wenn Maxima angeschlossen ist, erhalten wir als Antwort:
true
Wenn MuPAD angeschlossen ist, erhalten wir als Antwort:
TRUE
Wenn Yacas angeschlossen ist, erhalten wir als Antwort:
True


(letzte Änderung: 31.10.13)


Wahracheinlichkeit(x≤c), Be