Forum "Diskrete Mathematik" - logische Implikation Interpr. - Vorhilfe.de

Vorhilfe Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
	Hallo Gast! [ einloggen \| registrieren ]
	Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum

Forenbaum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation

Startseite...
Neuerdings beta neu
Forum...
vorwissen...
vorkurse...
Werkzeuge...
Nachhilfevermittlung beta...
Online-Spiele beta
Suchen
Verein...
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:

Vorhilfe.de

FunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme

Forum "Diskrete Mathematik" - logische Implikation Interpr.

logische Implikation Interpr. < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe

Ansicht:

[ geschachtelt ]

Forum "Diskrete Mathematik" |

Alle Foren |

Forenbaum | Materialien

logische Implikation Interpr.: Unterschied

Status:	(Frage) überfällig
Datum:	13:21 So 22.11.2009
Autor:	dayscott

Aufgabe

 Was ist der Unterschied zwischen  "true folgt aus F" und "F folgt aus true"?   

Mit "Phi folgt aus Gamma" meine ich http://uploadz.eu/images/ze7qzpbe9np3u43ub3gj.png - ich finde das entsprechende Zeichen in Editor hier leider nicht.

Ich verstehe dass das Zeichen "logische Implikation" heist und es eine Aussage über eine Formel und keine Formel ist, d.h. der Formel eine Semantik gibt- jedoch kann ich leider nicht genau ausdrücken was der Unterschied nun ist.

Bezug

logische Implikation Interpr.: Fälligkeit abgelaufen

Status:	(Mitteilung) Reaktion unnötig
Datum:	14:20 Di 24.11.2009
Autor:	matux