Professional Documents
Culture Documents
0 VU Formale Modellierung
Gernot Salzer
unter Mitwirkung von Lara Spendier
und Ch. Fermller, R. Freund, B. Gramlich, M. Kronegger, M. Oswald
sowie 22 TutorInnen
Institut fr Computersprachen
Arbeitsbereich Theoretische Informatik und Logik
Wintersemester 2011/2012
1
Verortung in der Landschaft der Bachelorstudien
Modul Modellierung
Medieninformatik & Visual Computing
Medizinische Informatik
Software & Information Engineering
Wirtschaftsinformatik
3.0 VU Formale Modellierung
3.0 VU Datenmodellierung
3.0 VU Objektorientierte
Modellierung
Modul Gl. digitaler Systeme
Technische Informatik
3.0 VU Formale Modellierung
3.0 VU Grundlagen digitaler
Systeme
3.0 . . . 3 Ects = 75 Arbeitsstunden
Formale Modellierung ist Teil der Studieneingangs- u. Orientierungsphase.
Voraussetzung fr die Lehrveranstaltungen ab dem 3.Semester.
Nur zwei Wiederholmglichkeiten.
2
Formale Modellierung Lehrziele und Inhalt
In dieser Lehrveranstaltung lernen Sie
. . . die wichtigsten formalen Spezikationsmethoden kennen.
. . . Sachverhalte mit diesen Methoden zu modellieren.
. . . formal-mathematischen Beschreibungen zu lesen und zu
verstehen, insbesondere die formale Denition der Methoden selbst,
wie sie in der Fachliteratur blich ist.
Themengebiete:
Aussagenlogik
Endliche Automaten, regulre Ausdrcke und Petri-Netze
Formale Grammatiken
Prdikatenlogik als Spezikationssprache
3
Was Sie heute erwartet
1. Organisatorisches
2. Was bedeutet Modellierung?
3. Aussagenlogik
3.1. Was ist Logik?
3.2. Aussagenlogische Funktionen
3.3. Syntax und Semantik der Aussagenlogik
4
Anmeldung
1
Studieneingangsgesprch (STEG): Anmeldung bis 5.10.2011
nicht erforderlich fr alte Studierende
2
Inskription in der Studienabteilung bis 10.10.2011
= Matrikelnummer
3
Anmeldung zur Lehrveranstaltung in TISS bis 12.10.2011
STEG und Matrikelnummer erforderlich!
4
Eingangstest in TUWEL bis 13.10.2011
TISS-Anmeldung erforderlich!
Multiple-Choice-Test
Vorlesungsprsentation
bungsbltter
weitere Materialen
Abgabe der gelsten bungsaufgaben
Terminvereinbarung fr die Abgabegesprche
Stellen Sie Fragen!
Whrend oder nach der Vorlesung,
im TUWEL Diskussionsforum (Sie drfen auch antworten!),
per Email an fmod11w@logic.at, und
in den wchentlichen Sprechstunden.
6
Ablauf (1)
Vorlesung
jeweils Dienstag, 13:0016:00, AudiMax
5 Termine: 4.10., 11.10., 18.10., 25.10., 8.11.2011
2 bungsbltter
Verfgbar in TUWEL ab 16.10. bzw. 6.11.2011
Abgabe der Lsungen in TUWEL bis 23.10. bzw. 13.11.2011
Textsystem oder leserliche (!) Handschrift gescannt im PDF-Format
Korrigierte Lsungen per Email retour bis 30.10. bzw. 20.11.2011
Stellen Sie sicher, dass Ihre @student.tuwien.ac.at-Adresse
funktioniert!
Diskussion ist gut, Abschreiben schlecht.
Beurteilt werden vernnftige Lsungsversuche,
Fehler sind erlaubt.
7
Ablauf (2)
2 Abgabegesprche
im Zeitraum 31.10.11.11. bzw. 21.11.2.12.2011
mndlich, etwa eine Stunde (gemeinsam mit 34 KollegInnen)
Terminvereinbarung ber TUWEL
Fragen zum Sto der bungsbltter
Abschlusstest
schriftlich, etwa zwei Stunden
1.Termin Mi, 21.12.2011, 18:0020:00
2.Termin Di, 17.1.2012, 14:0016:00
3. und 4. Termin im Sommersemester 2012
Anmeldung ber TISS erforderlich!
Antritt bei mehreren Terminen mglich, falls Ergebnis nicht gengend.
Pro Antritt wird ein Zeugnis ausgestellt.
Nach dem 4.Termin verfallen die bungsleistungen.
8
Beurteilung
Fr positive Note erforderlich:
min. 1 Punkt/bungsblatt
min. 1 P./Abgabegesprch
min. 35 P. bei Abschlusstest
min. 50 Punkte insgesamt
Notenschlssel:
50-61 Punkte: gengend
62-74 Punkte: befriedigend
75-87 Punkte: gut
88-100 Punkte: sehr gut
Punkteverteilung
max. 5 Punkte/bungsblatt
max. 10 P./Abgabegesprch
max. 70 P. bei Abschlusstest
max. 100 Punkte insgesamt
(100 = 2 5 + 2 10 + 70)
Gute Taktik: 5 P./-Blatt, min. 5 P. bei Gesprchen, min. 35 P. bei Test
Riskant: 1 Punkt/-Blatt, 1 Punkt/Gesprch, 46 Punkte bei Abschlusstest9
Was Sie heute erwartet
1. Organisatorisches
2. Was bedeutet Modellierung?
3. Aussagenlogik
3.1. Was ist Logik?
3.2. Aussagenlogische Funktionen
3.3. Syntax und Semantik der Aussagenlogik
10
Was bedeutet Modellierung?
Modell
Abstrakte, vereinfachte Darstellung eines komplexen Sachverhalts der
Realitt die nur die fr relevant erachteten Aspekte darstellt.
Aspekte: Komponenten, Beziehungen zwischen Komponenten,
Eigenschaften
Zwei grundlegende Verwendungsmglichkeiten:
Analyse komplexer Systeme:
Prmissen, Annahmen
Sokrates ist sterblich. Konklusion, Folgerung
Clipart courtesy FCIT
Die Prmissen sind durch und verbunden.
Die Linie bedeutet daher.
Wahre Prmissen, wahre Konklusion.
Gltige Inferenz: Die Konklusion folgt logisch aus den Prmissen.
Alle geraden Zahlen sind durch 2 teilbar.
4 ist eine gerade Zahl.
4 ist durch 2 teilbar.
wahre Prmissen, wahre Konklusion
gltige Inferenz
Inferenzmuster identisch mit vorigem Beispiel
19
Alle US-Prsidenten sind in der USA geboren.
Schwarzenegger ist US-Prsident.
Schwarzenegger ist in der USA geboren.
eine wahre und eine falsche Prmisse
falsche Konklusion
trotzdem korrekte Inferenz!
Zugrundeliegende Inferenzregel
Alle x sind y.
z ist ein x.
z ist y.
x . . . Mensch, US-Prsident, gerade Zahl
y . . . sterblich, in USA geboren, durch 2 teilbar
z . . . Sokrates, Schwarzenegger, 4
x, y, z: Platzhalter (Variablen) fr Eigenschaften, Individuen, . . .
Die Logik befasst sich mit den Inferenzregeln.
Das Anwendungsgebiet bestimmt den Wertebereich der Variablen und
die Wahrheit der elementaren Aussagen.
20
Gltigkeit von Inferenzregeln
Unzulssige Inferenzen
Alle Menschen sind sterblich.
Sokrates ist sterblich.
Sokrates ist ein Mensch.
Sokrates ist ein Mensch.
Sokrates ist sterblich.
Alle Menschen sind sterblich.
wahre Prmissen
wahre Konklusionen
aber trotzdem keine zulssigen Inferenzen!
Kriterium fr die Gltigkeit von Inferenzregeln
Immer wenn alle Prmissen wahr sind, ist auch die Konklusion wahr.
quivalentes Kriterium (Umkehrung)
Immer wenn die Konklusion falsch ist, ist mindestens eine Prmisse falsch.
21
Alle Menschen sind sterblich.
Sokrates ist sterblich.
Sokrates ist ein Mensch.
Inferenzregel:
Alle x sind y.
z ist y.
z ist ein x.
Diese Regel erfllt nicht das Kriterium.
Gegenbeispiel: x = Ball, y = rund, z = Sonne
Alle Fublle sind rund.
Die Sonne ist rund.
Die Sonne ist ein Fuball.
wahr
wahr
falsch
Die Inferenzregel ist daher nicht gltig,
obwohl sie gelegentlich zu wahren Konklusionen fhrt.
Aber eben nicht immer!
22
Logische Junktoren (Operatoren, Konnektive, Funktionen)
. . . ermglichen die Bildung zusammengesetzter Aussagen,
so wie Addition und Subtraktion bei arithmetischen Ausdrcken.
Wenn Feiertag ist oder der Professor krank ist,
ndet die Vorlesung nicht statt.
es ist Feiertag (x), Prof ist krank (y), VO ndet statt (z)
. . . elementare Aussagen aus dem Uni-Milieu
Logische Struktur: Wenn x oder y, dann nicht z
Junktoren: wenn-dann, oder, nicht
Weitere Junktoren in . . .
der Aussagenlogik: und, entweder-oder, genau dann-wenn, . . .
Zeitlogiken: morgen, gestern, im nchsten Moment, bis, . . .
Modallogiken: notwendigerweise, mglicherweise, . . .
. . .
23
Quantoren
. . . ermglichen Aussagen ber die Anzahl betroener Individuen,
Zeitpunkte etc.
Jeder Mann liebt eine Frau.
Wertebereiche: Mnner (x) , Frauen (y)
Logische Struktur:
Fr alle x gibt es mindestens ein y, sodass x y liebt."
Quantoren: fr alle, mindestens ein
Weitere Quantoren: einige, viele, mindestens fnf, hchstens drei, immer,
manchmal, irgendwann spter, . . .
24
Komponenten einer Logik
logische Symbole, Variablen:
notwendig fr kompakte, bersichtliche Schreibung
Syntax: Regeln fr Wohlgeformtheit
Wann ist eine Folge logischer Symbole eine Formel?
Semantik: Bedeutung von Formeln
Welche Wahrheitswerte gibt es?
Wann ist eine Formel wahr, wann falsch?
Konsequenzrelation:
Wann folgt eine Formel logisch aus anderen Formeln?
Inferenzregeln (logischer Kalkl)
Wie lassen sich Formeln beweisen?
25
Unterscheidung von Logiken
. . . nach Wahrheitswerten:
Zweiwertige Logik: wahr/falsch
Mehrwertige Logiken: wahr/falsch/unbekannt/widersprchlich, . . .
Fuzzy logic: [0,1] (alle reellen Zahlen zwischen 0 und 1)
. . . nach Quantoren:
Aussagenlogik: keine Quantoren
Quantizierte Aussagenlogik: Quantoren ber Aussagenvariablen
Prdikatenlogik: Quantoren ber Individuenvariablen
Logiken hherer Stufen: Quantoren ber Funktionen und Prdikate
. . . nach den Ausdrucksmglichkeiten:
Elementare Logik: und, oder, nicht, fr alle, . . .
Zeitlogiken: im nchsten Moment, fr immer, irgendwann spter, . . .
Modallogiken: ich glaube/wei, dass, es ist mglich/notwendig,
dass, . . .
. . . nach wahren/beweisbaren Formeln, nach Kalklen, . . .
26
Klassische Aussagenlogik (Propositionallogik)
zwei Wahrheitswerte: wahr/falsch, true/false, verum/falsum, 1/0,
ein/aus, . . .
Aussagenvariablen, die wahr oder falsch sein knnen
elementare Operatoren wie und, oder, nicht, . . .
keine Quantoren
Geht zurck auf die Antike
Grundlegend fr
Philosophie
Mathematik
Informatik
Clipart courtesy FCIT
Aristoteles
384322 v.Chr.
27
Was Sie heute erwartet
1. Organisatorisches
2. Was bedeutet Modellierung?
3. Aussagenlogik
3.1. Was ist Logik?
3.2. Aussagenlogische Funktionen
3.3. Syntax und Semantik der Aussagenlogik
28
Negation
Ich gehe nicht ins Kino.
Ist falsch, wenn ich ins Kino gehe, und wahr andernfalls.
x not x
1 0
0 1
Andere Bezeichnung: non
Symbole: x, x, x, x
, !x, x, Nx, . . .
Logikgatter:
1
29
Konjunktion
Der Himmel ist blau und die Sonne scheint.
Trit nur zu, wenn jede der beiden Teilaussagen wahr ist.
x y x and y
1 1 1
1 0 0
0 1 0
0 0 0
Andere Bezeichnung: et
Symbole: x y, x y, xy, x&y, Kxy, . . .
Logikgatter:
&
30
Disjunktion, Alternative
Ich verbringe den Urlaub in Italien oder in Kroatien.
Nur falsch, wenn ich in keines der beiden Lnder fahre.
x y x or y
1 1 1
1 0 1
0 1 1
0 0 0
Andere Bezeichnung: vel
Symbole: x y, x + y, x [ y, Axy
Logikgatter:
1
31
Ausschlieende Disjunktion
Ich fahre entweder Auto oder hre Musik.
(Auf beides gleichzeitig kann ich mich nicht konzentrieren.)
Trit zu, wenn ich genau eines von beidem tue (aber nicht beides).
x y x xor y
1 1 0
1 0 1
0 1 1
0 0 0
Andere Bezeichnungen: exor, aut
Symbole: x , y, x y, x ,y, x ,y, Jxy, . . .
Logikgatter:
=1
32
quivalenz
Ich springe dann (und nur dann), wenn du es auch tust.
Trit zu, wenn beide springen oder keiner.
x y x i y
1 1 1
1 0 0
0 1 0
0 0 1
Andere Formulierungen: x genau dann wenn y, x if and only if y, x ist
notwendig und hinreichend fr y, x ist quivalent zu y
Andere Bezeichnungen: eq, q, xnor, nxor, . . .
Symbole: x y, x y, x y, Exy, . . .
Logikgatter:
=1
33
Implikation
Wenn/Falls ich ins Kino gehe, (dann) esse ich Popcorn.
Falsch, wenn ich im Kino kein Popcorn esse, und wahr, wenn doch.
Keine Festlegung betreend Popcorn auerhalb des Kinos, daher auch in
diesen Fllen wahr.
x y x implies y
1 1 1
1 0 0
0 1 1
0 0 1
Verum ex quodlibet: x implies 1 = 1
Ex falso quodlibet: 0 implies y = 1
Andere Formulierungen: aus x folgt y, x impliziert y, x hinreichend fr y
Andere Bezeichnung: seq (sequi)
Symbole: x y, x y, x y, Cxy, . . .
Logikgatter:
x
y
1
x
y 34
Implikation (Umkehrung)
Ich esse Popcorn, wenn/falls ich ins Kino gehe.
x y x if y
1 1 1
1 0 1
0 1 0
0 0 1
Andere Formulierungen: x folgt aus y, x wird von y impliziert, x ist
notwendig fr y
Symbole: x y, x y, x y, . . .
Logikgatter:
x
y
1
x
y
35
Negierte Konjunktion Negierte Disjunktion
x y x and y x nand y
1 1 1 0
1 0 0 1
0 1 0 1
0 0 0 1
Andere Bezeichnungen:
Sheer-Strich, nd (J.Nicod)
Symbole: x y, x [ y, x/y, Dxy, . . .
Logikgatter:
&
x y x or y x nor y
1 1 1 0
1 0 1 0
0 1 1 0
0 0 0 1
Andere Bezeichnungen:
Peirce-Pfeil, sh (H.M.Sheer)
Symbole: x y, Xxy, . . .
Logikgatter:
1
36
Wenn Feiertag ist oder der Professor krank ist,
ndet die Vorlesung nicht statt.
Logische Struktur: Wenn x oder y, dann nicht z.
Logische Funktion: (x or y) implies not z implies (or (x, y), not(z))
Logische Formel: (x y) z
Prex-Notation: CAx y Nz
Algebraische Notation: (x + y) z x y + z
Logischer Schaltkreis:
x
y
z
x
1
y
1
z
37
Implikation oder quivalenz?
Natrlichsprachliche Implikationen sind oft logische quivalenzen.
Wenn du mein Auto wscht, bekommst du 10 Euro.
Und was, wenn ich es nicht tue?
Nur ein Logiker hlt in diesem Fall 10 Euro fr mglich.
Alle anderen interpretieren den Satz als:
Du bekommst 10 Euro dann und nur dann, wenn du das Auto wscht.
Der positive Erfolg bei allen Lehrveranstaltungen und Prfungen der
Studieneingangs- und Orientierungsphase berechtigt zur Absolvierung der
weiteren Lehrveranstaltungen und Prfungen sowie zum Verfassen der im
Curriculum vorgesehenen Bachelor- oder Diplomarbeiten.
Universittsgesetz 2002, Stand Bgbl I Nr. 13/2011, 66(1a)
Logiker: Keine Einschrnkung bei nicht bestandener STEOP.
Ministerium: Restliches Studium dann und nur dann, wenn STEOP.
38
Der Besitz eines Fhrerscheins berechtigt zum Lenken eines Autos.
Ohne Fhrerschein keine Berechtigung? (quivalenz)
Auch nicht auf Privatgelnde? (Doch nur Implikation?)
In formalen Kontexten wird strikt zwischen Implikation und quivalenz
unterschieden. Implikation = halbe quivalenz
Wenn eine Zahl durch 4 teilbar ist, ist sie gerade.
4-Teilbarkeit ist eine hinreichende Bedingung fr Geradheit, aber keine
notwendige.
quivalenz fhrt zu einer falschen Aussage:
Eine Zahl ist durch 4 teilbar genau dann, wenn sie gerade ist.
2 ist eine gerade Zahl, aber nicht durch 4 teilbar.
39
Inklusive oder exklusive Disjunktion?
Natrlichsprachliche Disjunktionen sind meist ausschlieend gemeint.
Falls du mich suchst: Ich bin zu Hause oder in der Arbeit.
Physikalisch kann ein Krper nicht an zwei Orten gleichzeitig sein.
Andererseits: Das Bro kann Teil der Wohnung sein.
Tee oder Kaee? Beides, bitte!
Eher unblich. Aber: Der Gast ist Knig.
Ich besuche dich morgen oder bermorgen.
Ein Besuch an beiden Tagen wre unerwartet.
40
Ich fahre entweder Auto oder hre Musik.
(Auf beides gleichzeitig kann ich mich nicht konzentrieren.)
Wirklich ein Beispiel fr ausschlieende Disjunktion?
Habe ich auerhalb des Autos tatschlich keine ruhige Minute?
Die exklusive Disjunktion ist hier als Implikation gemeint (und wird auch
so verstanden):
Wenn ich Auto fahre, hre ich nicht Musik.
Legt nicht fest, was ich auerhalb des Autos mache.
41
Rezept fr Zweifelsflle der aussagenlogischen Modellierung
1
Identiziere die elementaren Aussagen.
2
Analysiere alle Wahrheitsbelegungen.
3
Whle geeignete logische Funktionen
(unbeirrt von Intuition und natrlicher Sprache).
z = Entweder ich fahre Auto (x) oder ich hre Musik (y).
x y z
1 1 0
1 0 1
0 1 1
0 0 1
x or y
1
1
1
0
x xor y
0
1
1
0
x implies not y
0
1
1
1
x nand y
0
1
1
1
x implies not y: Wenn ich Auto fahre, dann hre ich nicht Musik.
x nand y: Es kommt nicht vor, dass ich Auto fahre und Musik hre.
42
Aussagenlogische Funktionen Zusammenfassung
t
r
u
e
f
a
l
s
e
1 0
x n
o
t
1 0
0 1
x y a
n
d
n
a
n
d
o
r
n
o
r
i
x
o
r
i
m
p
l
i
e
s
i
f
1 1 1 0 1 0 1 0 1 1
1 0 0 1 1 0 0 1 0 1
0 1 0 1 1 0 0 1 1 0
0 0 0 1 0 1 1 0 1 1
,
Es gibt 2
2
n
verschiedene n-stellige logische (Boolesche) Funktionen.
2
n
verschiedene Argumentkombinationen (Zeilen)
2 Ergebnismglichkeiten fr jede Argumentkombination
2 nullstellige Funktionen (Konstanten): true (1), false (0)
4 einstellige Funktionen: not, . . .
16 zweistellige Funktionen: and, nand, or, . . .
43
Funktionale Vollstndigkeit
Eine Menge von Funktionen heit vollstndig (fr eine Funktionsklasse),
wenn damit alle Funktionen (der Klasse) ausgedrckt werden knnen.
not, and, or ist funktional vollstndig.
Begrndung siehe spter.
not, and ist funktional vollstndig.
not, and, or ist vollstndig (siehe oben).
or kann durch not, and ausgedrckt werden kann:
x or y = not(not x and not y)
x y not x not y not x and not y not(not x and not y)
1 1 0 0 0 1
1 0 0 1 0 1
0 1 1 0 0 1
0 0 1 1 1 0
44
nand ist funktional vollstndig.
not, and ist funktional vollstndig (siehe oben).
not x = x nand x
x and y = not(x nand y) = (x nand y) nand (x nand y)
Praktisch relevant: nand ist einfach als Halbleiter-Schaltkreis realisierbar.
Somit ist jede logische Funktion als Schaltkreis realisierbar.
Die Mengen nor, not, or, not, implies und implies, false sind
ebenfalls funktional vollstndig.
45
Was Sie heute erwartet
1. Organisatorisches
2. Was bedeutet Modellierung?
3. Aussagenlogik
3.1. Was ist Logik?
3.2. Aussagenlogische Funktionen
3.3. Syntax und Semantik der Aussagenlogik
46
Aussagenlogik Syntax
Ausdrcke wie x and y und (x nand y) nand (x nand y) sind
ununterscheidbar (gleiche Funktion!). Um Aussagen ber ihre Form treen
zu knnen, bentigen wir eine Formelsprache.
Syntax aussagenlogischer Formeln
Die Menge / der aussagenlogischen Formeln ist die kleinste Menge, fr
die gilt:
(A1) 1 / Variablen sind Formeln.
(A2) , / und sind Formeln.
(A3) F /, wenn F /. F ist eine Formel, falls F eine ist.
(A4) (F G) /, wenn F, G / und , , , , , ,, , .
(F G) ist eine Formel, falls F und G welche sind und ein binres Op.symbol ist.
1 = A, B, C, . . . , A
0
, A
1
, . . . aussagenlogische Variablen
47
((A B) (A B)) ist eine aussagenlogische Formel, weil:
1
A und B sind Formeln. (A1)
2
(A B) ist eine Formel, (A4)
i 0
G
i
Umstndlich, aber konstruktiv: Beginnend mit G
0
lassen sich systematisch
alle geraden Zahlen berechnen.
Beobachtung:
G
0
G
Wenn n G, dann auch n + 2 G.
G ist die kleinste Menge mit diesen beiden Eigenschaften.
49
Induktive Denition der geraden Zahlen
G ist die kleinste Menge, fr die gilt:
0 G
Wenn n G, dann auch n + 2 G.
Kompakte Denition, aber nicht konstruktiv:
In den Bedingungen kommt die zu denierende Menge G selbst vor.
Beiden Methoden denieren dieselbe Menge.
(Nicht oensichtlich, Beweis erforderlich!).
Daher: Use the best of both worlds.
Deniere die Menge induktiv.
Konstruiere bentigte Elemente stufenweise.
Anmerkung: Der Zusatz ist kleinste Menge ist wesentlich.
Die natrlichen Zahlen erfllen ebenfalls beide Bedingungen, sind aber
nicht die kleinste derartige Menge.
50
Induktive Denition allgemeine Situation
| . . . Universum, Menge aller relevanten Elemente
/
0
| . . . Menge von Grundelementen
f
1
: |
n
1
|, f
2
: |
n
2
|, . . . Konstruktionsfunktionen
Stufenweise Konstruktion der Menge /
/
i +1
= /
i
f
1
(x
1
, . . . , x
n
1
) [ x
1
, . . . , x
n
1
/
i
f
2
(x
1
, . . . , x
n
2
) [ x
1
, . . . , x
n
2
/
i
/= lim
i
/
i
=
i 0
/
i
Induktive Denition der Menge /
/ ist die kleinste Menge, fr die gilt:
/
0
/
Wenn x
1
, . . . , x
n
1
/, dann f
1
(x
1
, . . . , x
n
1
) /.
Wenn x
1
, . . . , x
n
2
/, dann f
2
(x
1
, . . . , x
n
2
) /.
. . .
51
/ ist die kleinste Menge, fr die gilt:
(A1) 1 /
(A2) , /
(A3) F /, wenn F /.
(A4) (F G) /, wenn F, G / und , , , , , ,, , .
| . . . Menge aller Zeichenketten bestehend aus Variablen,
Operatorsymbolen und Klammern
1 , . . . Grundelemente
f
(F) = F
f
(F, G) = (F G)
f
(F, G) = (F G)
. . .
f
(F, G) = (F G)
. . . Konstruktionsfunktionen
52
Aussagenlogik Semantik
B = 1, 0 . . . Wahrheitswerte
I : 1 B . . . Wahrheitsbelegung, Interpretation
J = I [ I : 1 B} . . . Menge aller Interpretationen
I(A) = I(C) = 1 und I(v) = 0 sonst
Die elementaren Aussagen A und C sind wahr, die brigen sind falsch.
Semantik aussagenlogischer Formeln
Der Wert einer Formel in einer Interpretation I wird festgelegt durch die
Funktion val : J / B:
(v1) val
I
(A) = I(A) fr A 1;
(v2) val
I
() = 1 und val
I
() = 0;
(v3) val
I
(F) = not val
I
(F);
(v4) val
I
( (F G) ) = val
I
(F) val
I
(G),
wobei die logische Funktion zum Operator ist.
53
Wert von ((A B) ) fr I (A) = 1 und I (B) = 0
val
I
(((A B) )) = val
I
((A B)) implies val
I
()
= (val
I
(A) and val
I
(B)) implies 0
= (1 and not val
I
(B)) implies 0
= (1 and not 0) implies 0
= (1 and 1) implies 0
= 1 implies 0 = 0
Wahrheitstafel
Kompakte Berechnung der Formelwerte fr alle Interpretationen
Unter jedem Operator steht der Wert der entsprechenden Teilformel.
A B ((A B) )
1 1 1 0 0 1 1 0
1 0 1 1 1 0 0 0
0 1 0 0 0 1 1 0
0 0 0 0 1 0 1 0
54
Eine Formel F heit
gltig, wenn val
I
(F) = 1 fr alle I J;
erfllbar, wenn val
I
(F) = 1 fr mindestens ein I J;
widerlegbar, wenn val
I
(F) = 0 fr mindestens ein I J;
unerfllbar, wenn val
I
(F) = 0 fr alle I J.
Folgerungen:
Eine gltige Formel ist erfllbar, aber weder widerlegbar noch
unerfllbar.
Eine erfllbare Formel kann gltig oder widerlegbar sein, aber nicht
unerfllbar.
Eine widerlegbare Formel kann erfllbar oder unerfllbar sein, aber
nicht gltig.
Eine unerfllbare Formel ist widerlegbar, aber weder gltig noch
erfllbar.
F ist gltig/erfllbar/widerlegbar/unerfllbar genau dann,
wenn F unerfllbar/widerlegbar/erfllbar/gltig ist.
55
((A B) ) ist erfllbar und widerlegbar.
A B ((A B) )
1 1 1 0 0 1 1 0
1 0 1 1 1 0 0 0
0 1 0 0 0 1 1 0
0 0 0 0 1 0 1 0
Die Formel ist
erfllbar (daher nicht unerfllbar),
widerlegbar (daher nicht gltig).
(A A) ist gltig und erfllbar.
A (A A)
1 1 1 0 1
0 0 1 1 0
Die Formel ist
gltig (daher nicht widerlegbar),
erfllbar (daher nicht unerfllbar).
(A A) ist unerfllbar und widerlegbar.
A (A A)
1 1 0 0 1
0 0 0 1 0
Die Formel ist
unerfllbar (daher nicht erfllbar),
widerlegbar (daher nicht gltig).
56