Sie sind auf Seite 1von 56

3.

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!

Sto: Heutige Vorlesungseinheit

Multiple-Choice-Test

80 % richtige Antworten erforderlich

Beliebig oft wiederholbar


Ab hier nehmen Sie an der Lehrveranstaltung teil und erhalten ein Zeugnis!
TISS . . . TU Wien Informationssysteme & Services (tiss.tuwien.ac.at)
TUWEL . . . E-Learning-Plattform der TU Wien (tuwel.tuwien.ac.at)
5
Kommunikation
TUWEL Drehscheibe fr Information und Kommunikation
Diskussionen mit uns ausschlielich ber TUWEL-Forum
(keine Verwendung von TISS- oder Informatikforum)
Alle Unterlagen liegen in TUWEL oder sind dort verlinkt.

Vorlesungsprsentation

bungsbltter

Videoaufzeichnung der Vorlesung

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:

Modell kommt nach der Realitt.

Modell wird angepasst und korrigiert, bis es die Realitt wiedergibt.

Kritischer Vergleich der Voraussagen des Modells mit der Realitt.


Plan fr die Konstruktion von Systemen:

Modell kommt vor dem System.

System wird angepasst und korrigiert, bis es dem Modell entspricht.

Kritischer Vergleich des Systemverhaltens mit dem Modell.


Modellierungssprachen: dienen der Beschreibung und Kommunikation des
Modells
11
Natrliche Sprachen
Basis jeder Kommunikation
bedeutenste Kulturleistung der Menschenheit
universell, vielseitig, ausdruckstark
wandlungsfhig
Ein Albtraum fr Modellierung und Spezikation!
komplex
mehrdeutig
unscharf
Jeder Mann liebt eine Frau.
Jeder Mann liebt mindestens eine Frau?
Jeder Mann liebt genau eine Frau?
Alle Mnner lieben dieselbe Frau?
Es gibt genau eine Frau, und alle Mnner lieben sie?
12
Schimmel: Pilz oder Pferd?
Hunde riechen gut. Guter Geruchssinn, oder duften sie?
Wieviel Geld mssen wir noch nach Griechenland schicken?
Das ist eine gute Gelegenheit, auch heute wieder klarzustellen, man soll da
gar nichts schnreden. Der Euro ist geschaen worden als gemeinsame
Whrung und [man] hat damals auch bereits bei der Einfhrung gewusst,
es handelt sich um Lnder mit ganz verschiedenen Volkswirtschaften, ganz
unterschiedlichen Voraussetzungen in einer gemeinsamen Whrungsunion.
Und durch die Wirtschaftskrise einerseits, aber anderseits natrlich auch
durch die Finanzmrkte, die Spekulation, die Globalisierung der
Finanzmrkte hat sie ja verndert, die hat sie ja noch viel strker gemacht,
durch diese beiden Faktoren zeigen sich die Schwchen innerhalb dieses
Euro . . . (Bundeskanzler Faymann auf die Frage eines Zusehers, 30.8.2011, ORF2)
Und was genau heit das nun?
13
Formale Sprachen
konstruiert, knstlich
eingeschrnkte Ausdrucksmglichkeiten
spezische Anwendungsgebiete
Bedeutung przise festlegbar
Beispiele:
Mathematische Notationen
Programmiersprachen
logische Formelsprachen
Formale Modellierung/Formalisierung/Spezikation
bersetzung unprziser natrlichsprachiger Problemstellungen in
unmissverstndliche Beschreibungen in einer formalen Sprache
14
Formale Modellierungssprachen in dieser Lehrveranstaltung
Textuelle Sprachen:
Logische Sprachen: Aussagenlogik, Prdikatenlogik
Regulre Ausdrcke
Formale Grammatiken
Graphische Sprachen:
Endliche Automaten
Petri-Netze
Kernaspekte:
Syntax: Was ist eine zulssige uerung in dieser Sprache?
Semantik: Was bedeuten die uerungen?
Ausdrucksstrke: Was kann ausgedrckt werden, was nicht?
15
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
16
Was ist Logik?
Neulich in der U-Bahn
Stell dir vor, die Julia hat mit dem Mike Schluss gemacht!
Logisch, er hat ja was mit der Laura angefangen.
Was daran ist logisch?
Es ist nicht logisch,
dass Mike mit Laura anbandelt
oder dass man bei Untreue Schluss machen muss
oder dass sich Julia von Mike trennt.
Diese Aussagen knnen zutreen oder auch nicht, sie sind aber nicht
logisch.
17
Falls man aber akzeptiert,
dass Mike untreu war
und dass Untreue zur Trennung fhrt
dann ist es logisch schlssig,
dass sich Julia von Mike trennt.
Mike ist Julia untreu.
Wenn Untreue, dann Trennung.
Julia trennt sich von Mike.
x
Wenn x, dann y.
y
Die Logik untersucht allgemeine Prinzipien korrekten Schlieens.
18
Schlussfolgerungen (Inferenzen)
Alle Menschen sind sterblich.
Sokrates ist ein Mensch.

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)

da A und B Formeln sind (Punkt 1)

und ein binres Operatorsymbol ist.


3
((A B) (A B)) ist eine Formel, (A4)

da (A B) und (A B) Formeln sind (Punkt 2)

und ein binres Operatorsymbol ist.


A B ist keine aussagenlogische Formel.
kann nur aufgrund von A4 in einer Formel vorkommen.
Dann muss es aber auch ein Klammernpaar geben.
A B enthlt , aber keine Klammern.
Die Denition der Formelsyntax ist Beispiel einer induktiven Denition.
48
Induktive Denition unendlicher Mengen
Stufenweise Konstruktion der gerade Zahlen:
0 ist eine gerade Zahl: G
0
= 0
Addiert man zu geraden Zahlen 2, erhlt man wieder gerade Zahlen:
G
1
= G
0
n + 2 [ n G
0
= 0, 2
G
2
= G
1
n + 2 [ n G
1
= 0, 2, 4
G
i +1
= G
i
n + 2 [ n G
i
= 0, 2, 4, . . . , 2(i + 1)
Die geraden Zahlen sind alle so konstruierten Zahlen:
G = lim
i
G
i
=

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