Logik: Verneinung

Hallo,

angenommen, die Aussage*
A -> B sei wahr.

Ist dann die Aussage
nichtA -> nichtB zwingend wahr

oder könnte auch
nichtA -> B wahr sein?

Ciao maxet.

* Aund B seien Feststlegung, wie
A= grüne Fussgängerampel
B= Erlaubnis zum Betrteten der Fahrbahn

Hi…

angenommen, die Aussage
A -> B sei wahr.

Ist dann die Aussage
nichtA -> nichtB zwingend wahr

Nein, aber die folgende ist es:

nichtB -> nichtA

BTW: Ich würde empfehlen, diesen Folgepfeil zu verwenden: ==>

genumi

Auch hallo.

erstmal für den Bereich offtopic: eine Warn Email vom BKA in Wiesbaden.
Die Phisher lassen sich ja einiges einfallen: http://mitglied.lycos.de/schachspielen/mail_bka.png
Der gezippte Anhang enthält ‚rein zufällig‘ eine exe-Datei…

Hallo,

angenommen, die Aussage*
A -> B sei wahr.

Ist dann die Aussage
nichtA -> nichtB zwingend wahr

Es kommt drauf an. Siehe z.B. http://de.wikipedia.org/wiki/Aussagenlogik

oder könnte auch
nichtA -> B wahr sein?

Ciao maxet.

* Aund B seien Feststlegung, wie
A= grüne Fussgängerampel
B= Erlaubnis zum Betrteten der Fahrbahn

1.) rote Ampel -> keine Erlaubnis = wahr
2.) rote Ampel -> Erlaubnis = falsch(*)
…obwohl es Leute gibt, die die Ampel nicht achten :wink:
(*)interessant: aus !A -> B = wahr

HTH
mfg M.L.

Hallo,

angenommen, die Aussage*
A -> B sei wahr.

Ist dann die Aussage
nichtA -> nichtB zwingend wahr

Hallo,
wenn du mehr darüber wissen willst, heisst das Stichwort „de Morgan’s laws“ bzw. de Morgansche Regeln, eine Einführung:

http://en.wikipedia.org/wiki/DeMorgan’s_Law

Gruss Reinhard

Hallo maxet,

angenommen, die Aussage*
A -> B sei wahr.

Ist dann die Aussage
nichtA -> nichtB zwingend wahr

oder könnte auch
nichtA -> B wahr sein?

Ciao .

* Aund B seien Feststlegung, wie
A= grüne Fussgängerampel
B= Erlaubnis zum Betrteten der Fahrbahn

Machen wir es noch einfacher:
Ein Schalter und eine Lampe

A ==> B
Lampe leuchtet ==> Schalter EIN

nicht A ==> nicht B
Aber aus „Lampe leuchtet NICHT“ folgt nicht zwingend „Schalter AUS“
Die Lampe kann durchgebrannt sein oder die Spannung fehlt insofern kann jetzt auch:
nicht A ==> B wahr sein !!

Selbst ganz einfache Systeme haben da schon ihre Tücken.

MfG Peter(TOO)