Welcher Logikoperator < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) beantwortet | Datum: | 16:36 Fr 06.10.2006 | Autor: | xmms |
Hallo,
welcher Logikoperator steht für die Subjunktion?
[mm] A \rightarrow B [/mm]
oder aber
[mm] A \Rightarrow B [/mm]
In meinem Skript werden beide Symbole für die Subjunktion verwendet. Ich denke es ist der erste, bin mir aber nicht sicher. Im Papula Band 1 finde ich leider nichts hierzu. In welchem Buch kann ich das Thema nochmal genauer nachlesen, das Skript ist mir etwas dürftig.
Vielen Dank schon einmal für die Antworten
Gruss
S.
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 21:18 So 08.10.2006 | Autor: | kresse |
es ist der erste operator, also A [mm] \to [/mm] B
weitere infos auf: subjunktion
|
|
|
|