Informatiker Board | Druckvorschau: Konstanten und Widerspruch frage.

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Konstanten und Widerspruch frage. (http://www.informatikerboard.de/board/thread.php?threadid=3565)

Geschrieben von mickey am 05.05.2017 um 18:44:

Konstanten und Widerspruch frage.

hallo leute,

dies ist mein erster thread in diesem forum und die frage ist für die meissten wohl ziemlich
trivial. ich finde in google leider keine antworten darauf.mein thema ist zur zeit die aussagenlogik und ich verstehe da einige sachen nicht. also meine frage:

ich soll rausfinden ob der term ( F "oder" (b "und" nicht b) ) syntaktisch korrekt sind, erfüllbar oder eine tautologie sind. Welchen platzt nimmt eigentlich F ein ? Es gibt anscheinend F und T, sind ja Konstanten, aber was genau bedeutet das ? was passiert wenn ich dieses mit einem Widerspruch verknüpfe ?

danke schonmal ;-)

Geschrieben von eulerscheZahl am 05.05.2017 um 19:26:

Ich schätze mal F=false, T=true.
$[latex]F \lor (b \land \overline{b}) = F \lor F = F[/latex]$
b und nicht-b können nicht gleichzeitig erfüllt sein, also ist das F.

Geschrieben von mickey am 05.05.2017 um 19:33:

also ist es möglich etwas mit einem widerspruch zu verknüpfen ? quasi F v Widerspruch ist F ? was genau ist denn F ? ja F wird wohl "False" sein, aber was beinhaltet so eine Konstante ? ist das ein Term ?

Geschrieben von eulerscheZahl am 05.05.2017 um 19:36:

Zitat:

Ich schätze mal F=false, T=true.

Einfach eine unerfüllbare Bedingung (eine Konstante).
$[latex]b \land \overline b[/latex]$ würde ich nicht als Widerspruch bezeichnen, eben einfach als unerfüllbar bzw. falsch.

Geschrieben von mickey am 05.05.2017 um 19:40:

also bei mir im script wird sowas als widerspruch bezeichnet. ist ja auch egal, wollte eher wissen ob man überhaupt etwas mit einem widerspruch verknüpfen darf. also beinhaltet die Konstante F z.b einen Ausdruck der falsch ist ? nur anstatt dem term wird einfach ein F verwendet ?

Geschrieben von eulerscheZahl am 05.05.2017 um 19:42:

Ja. Damit kann man dann auch weiterrechnen, z.B. T und F = F.

Geschrieben von mickey am 05.05.2017 um 19:46:

( F "oder" (b "und" nicht b) ) sorry blicke grade nicht wie ichs anders darstellen soll.

was würde man denn da jetzt antworten ? syntaktisch korrekt: ja erfüllbar: ja tautologie: nein

danke für eure hilfe

Geschrieben von eulerscheZahl am 05.05.2017 um 19:54:

$[latex]F \lor (b \land \overline{b})[/latex]$ ist nicht erfüllbar.

Für die Darstellung: Formel von mir markieren und kopieren, dann im Eingabefenster einfügen.

Geschrieben von mickey am 05.05.2017 um 19:57:

danke. ist es also generell nicht möglich etwas mit einem widersprüch zu verknüpfen ? b und nicht b ist ja ein "widerspruch" . wird das quasi immer unerfüllbar oder ist das allgemein ungültig ? oder wäre z.b T ODER Widerspruch erfüllbar ?

Geschrieben von eulerscheZahl am 05.05.2017 um 19:59:

Natürlich kann man das verknüpfen. Aber F oder F ist eben auch wieder F. Egal was du für deine Variablen einsetzt, es geht nicht.
$[latex]T \lor (b \land \overline{b})[/latex]$ wäre z.B. immer erfüllt.