www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Mengenlehre" - Welcher Logikoperator
Welcher Logikoperator < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Mengenlehre"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Welcher Logikoperator: Frage (beantwortet)
Status: (Frage) beantwortet Status 
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.


        
Bezug
Welcher Logikoperator: Antwort
Status: (Antwort) fertig Status 
Datum: 21:18 So 08.10.2006
Autor: kresse

es ist der erste operator, also A [mm] \to [/mm] B

weitere infos auf: []subjunktion
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Mengenlehre"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]