Konstanten und Widerspruch frage. |
mickey
Grünschnabel
Dabei seit: 05.05.2017
Beiträge: 7
|
|
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 ;-)
|
|
05.05.2017 18:44 |
|
|
mickey
Grünschnabel
Dabei seit: 05.05.2017
Beiträge: 7
|
|
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 ?
|
|
05.05.2017 19:40 |
|
|
mickey
Grünschnabel
Dabei seit: 05.05.2017
Beiträge: 7
|
|
( 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
|
|
05.05.2017 19:46 |
|
|
|
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.
wäre z.B. immer erfüllt.
__________________ Syntax Highlighting fürs Board (Link)
|
|
05.05.2017 19:59 |
|
|
mickey
Grünschnabel
Dabei seit: 05.05.2017
Beiträge: 7
|
|
alles klar vielen dank ;-)
|
|
05.05.2017 20:00 |
|
|
|