Aussagenlogik, gib zwei Formelmengen k und k´ an, die erfüllbar sind, aber keine Tautologie sind. Warum kann die Formelmenge k U k´ niemals eine Tautologie sei?
k U k´ kann anscheinend keine Tautologie sein, aber eine Kontradiktion.
Das verstehe ich nicht ganz.
Warum kann es eine Kontradiktion sein?
Sagen wir
k= a oder b, nicht a und a
k´ = a oder b, nicht a und a
a sei=wahr und b=falsch.
Ich habe jetzt einfach k´wie k gewählt. Denke ist ja nciht verboten,
wenn ich nun k U k´ mache, also die Vereinigungsmenge, habe ich a und b, sowei nicht a und a enthalten.
Warum sei das nicht erfüllbar?
Schule,
Mathematik,
Informatik,
Aussagenlogik
