1 Anwendungen der Aussagenlogik

Werbung
1
Anwendungen der Aussagenlogik
1.1 Umsetzung in Excel oder LibreOce Calc
In Excel können logische Formeln verwendet werden:
Logik
A→B
Excel oder LibreOce Beispiel
=UND(A2;B2)
=ODER(A2;B2)
=NICHT(A2)
WAHR()
FALSCH()
=WENN(A2;B2;WAHR())
A→B
A=B
A 6= B
=ODER(NICHT(A2);B2)
=WENN(A2=B2;WAHR();FALSCH())
=WENN(A2 = B2;FALSCH();WAHR())
A∧B
A∨B
¬A
1
0
oder
Frage: Wie können die Kombinationen der Wahrheitswerte der Variablen in
der Tabelle generiert werden?
Beispiel Medizinischer Eingangstest:
Siehe TMS Aufgabe 9, Seite 15
Fehlschlüsse:
Fehlschlüsse lassen sich am besten nachweisen, indem man die Prämissen als
wahr annimt und versucht, eine falsche Konklusion zu nden.
Schluss: A → B und B , also A. Wenn der Schluss falsch ist, muss A falsch
sein und A → B als auch B wahr. Wenn A falsch ist und B wahr, dann ist
A → B wahr. Also sind beide Prämissen wahr und die Konklusion falsch. Damit ist der Schluss widerlegt.
Beispiel: Wenn es regnet, wird die Straÿe nass. Die Straÿe wird nass. Also regnet
es.
Schluss: A → B und ¬A, also ¬B . Wenn der Schluss falsch ist, muss B wahr
sein und A → B wahr und A falsch. Wenn A falsch ist und B wahr, dann ist
A → B wahr. Also sind beide Prämissen wahr und die Konklusion falsch. Damit
ist der Schluss widerlegt.
Beispiel: Wenn es regnet, wird die Straÿe nass. Es regnet nicht. Also wird die
Straÿe nicht nass.
Abkürzungen:
Es ist oft sinnvoll, die logischen Ausdrücke kürzer zu schreiben. Es werden oft
die äuÿeren Klammern weggelassen:
(A ∨ B) wird geschrieben als A ∨ B .
1 ANWENDUNGEN DER AUSSAGENLOGIK
Ferner bindet ∧ stärker als ∨.
Dann kann das ∧ ganz weggelassen werden:
AB ∨ BC steht also für (A ∧ B) ∨ (A ∧ B).
Schlieÿlich wird die Negation noch als Strich über dem Negierten geschrieben:
AB ∨ CD steht für (A ∧ ¬B) ∨ (¬C ∧ D).
AB ∨ AB ∨ BD steht für ¬(A ∧ ¬B) ∨ ¬((¬A ∧ B) ∨ (B ∧ D))
2
Herunterladen