You are on page 1of 66

Informatiker

Logik fur

Vorlesung 1: Einfuhrung
in die Logik
Informatik, Cluj-Napoca
Babes-Bolyai Universitat, Department fur
csacarea@cs.ubbcluj.ro

6. Oktober 2016

1/60

O RGANISATORISCHES
Vorbemerkungen
 Die Vorlesung wird (teilweise) folienbasiert gehalten;
 Die Folien enthalten nur die wichtigsten Aspekte
(Definitionen, Satze, knappe Beispiele, wichtige
Bemerkungen);
 Alles was sonst eine Vorlesung ausmacht (Erlauterungen,

ausfuhrliche
Beispiele, Beweise von Satzen ,
Anwendungen, Querverweise auf andere Gebiete der
Informatik, etc.) gibt es nur in der Vorlesung selbst.

Sprechstunden
Nach Vereinbarung
2/60

BUNGEN
U
 Autonomes Losen der Aufgaben
 ohne vorherige Wiederholung seitens des Dozenten

 ohne Musterlosung
an der Tafel (kommt dann spater als
extra Datei).
ist, dass
Notwendig dafur
 man wahrend der Vorlesung mitschreibt

die nachste Ubungsstunde


 man sich fur
zu Hause
vorbereitet
 Mitschrift und Folien mitgebracht werden
 Initiative ergriffen wird.

3/60

V ORTEILE
 aktives Erlernen der Inhalte ist effektiver
 Zusammenhange aus dem Vorlesungsstoff werden selbst
entdeckt und ausgearbeitet
 Man erlernt strukturiert und unabhangig zu denken
 team work wird erlernt
und erlernt
 Erklaren wird geubt
die Prufung

 Trainieren fur
;-)
 You have finished your study of . . . Your personal
strengths include pro-activity and team work, you are
communicative and willing to cooperate. (typical job
advertisement)

4/60

O RGANISATORISCHES

 Sprechstunden! (Consultatii): Ihr stellt (logische) Fragen,


ich beantworte sie. Wann? Nach Vereinbarung!

 Prufungen:
Ich stelle Fragen, ihr beantwortet sie :)
 Einmal im Monat: TEST IN LOGIK: Jeweils 15 Minuten,
wahrend der Vorlesung.
 Die Endnote besteht aus: Note in der schriftlichen Klausur
+ maximal 1 Punkt aus den drei Teste + verschiedene
Bonuspunkte die wahrend des Semesters vergeben werden

5/60

O RGANISATORISCHES

 Alle Lehrinhalte werden hier hochgeladen.


 Deine Deutschkenntnisse sind sind zwischen a hm und
ha?. Dann kannst du kostenlos die Deutschkurse, die vom
Deutsche Lehre und Forschung
IDLF - Institut fur
angeboten werden besuchen.
alle anderen!
 Gilt auch fur
 Termine:




Einschreibung bis den 15. Oktober


Sprachtest: 17. Oktober oder 19. Oktober.
Kursstart: 21. Oktober 2016

6/60

I NFORMATIKER
L OGIK F UR

 Mathematisch?

7/60

I NFORMATIKER
L OGIK F UR

 Mathematisch?
 Ja
 Unverstandlich?

7/60

I NFORMATIKER
L OGIK F UR

 Mathematisch?
 Ja
 Unverstandlich?
 Mal schauen...

7/60

I NFORMATIKER
L OGIK F UR

 Mathematisch?
 Ja
 Unverstandlich?
 Mal schauen...
 Reine Theorie ohne praktischen Nutzen?

7/60

I NFORMATIKER
L OGIK F UR

 Mathematisch?
 Ja
 Unverstandlich?
 Mal schauen...
 Reine Theorie ohne praktischen Nutzen?
 nein: Verifikation von Hardware, Software, Protokollen
Sprachverarbeitung und Wissensreprasentation,
Datenbanken;
Abfragensprachen fur

7/60

H ILFE ! I CH BIN EIN I NFORMATIKER ...


 Rechnerarchitektur (logische Schaltungen);
 Software Engineering (Testen und Verifikation);
 Programmiersprachen (Semantik, logische
Programmierung) ;
 Datenbanken (relationale Algebra);

 Kunstliche
Intelligenz (automatisches Beweisen);
 Komplexitat der Algorithmen.
J. Y. Halpern, R. Harper, N. Immerman, P.G.Kolaitis, M.Y. Vardi,
V.Vianu, On the Unusual Effectiveness of Logic in Computer
Science Bulletin of Symbolic Logic 7(2), 2001, 213-233

8/60

F ORMALE L OGIK
Ziel
 Formalisierung und Automatisierung rationalen Denkens,
 Rational richtige Ableitung von neuem Wissen aus
gegebenem Wissen.

Rolle der Logik in der Informatik


 Anwendung innerhalb der Informatik: Spezifikation,
Programmentwicklung, Programmverifikation
Anwendungen auerhalb der Informatik:
 Werkzeug fur

Kunstliche
Intelligenz, Wissensreprasentation

9/60

WAS IST L OGIK ?


Die Logik ist zu verstehen als die Wissenschaft des formal
richtigen Schlieens und fungiert als vorgangige Wissenschaft
alle anderen Wissenschaften (insbesondere der
fur
Mathematik).

Wortabstammung
logike techne = die Wissenschaft des Denkens; logos = Wort,
Schlufolgerung

Aristotel, Prior Analytics:


A deduction is speech (logos) in which, certain things having
been supposed, something different from those supposed
results of necessity because of their being so. Smith, R.,
Aristotles Logic, SEP (Spring 2014), Ed. N. Zalta (ed.)
10/60


WAS SAGT MAN SO UBER
L OGIK ?

Contrariwise [...] if it was so, it might be; and if it were so, it


would be; but as it isnt, it aint. Thats logic.
Lewis Carroll, Through the Looking-Glass, and What Alice
Found There
Logic is the beginning of wisdom, [...], not the end.
Captain Spock, Star Trek VI: The Undiscovered Country (1991)

11/60

WAS IST NUN L OGIK ?


Logik
Ist eine formale Sprache, die aus Syntax und Semantik besteht.
Jede Logik hat auch ein Deduktionsmechanismus, ein
des Schlieens, welches logische
sogenannter Kalkul

Schlufolgerungen ermoglicht.

Die klassische Logik


Syntax: p q. Deduktion:
Semantik:
p q
0 0 1
0 1 1
1 0 0
1 1 1

pq,p
q

(modus ponens)

12/60

G IBT ES MEHRERE L OGIKEN ?


JA!
 Klassische Logik;
 modale Logik;
 Temporale, dynamische und epistemische Logik;
 Intuitionistische Logik;
 Lineare Logik;
 Mehrwertige Logik;
 Fuzzy Logik;

das Uberpr

 Logiken fur
ufen
der Korrektheit von
Programmen;
 Hoare Logik, dynamische Logik;
 Separation Logic, Matching Logic
 Beschreibungslogiken (Semantic Web)
 etc.

13/60

A NWENDUNGSBEREICHE

14/60

A NWENDUNGSBEREICHE

15/60

A NWENDUNGSBEREICHE : C ONTROLLER

16/60

L OGIK : S PASS HABEN , SCHLAUER WERDEN !


Ein Ratsel:
In der folgenden Unterhaltung sagt jede der drei Damen A, B
und C zweimal die Wahrheit und einmal die Unwahrheit:
1) A: B ist zwei Jahre a lter als ich. 2) B: C ist 32 Jahre alt.
3) C: A ist a lter als ich. 4) B: Der Altersunterschied zwischen C
und mir betragt drei Jahre.
5) C: A ist 30 Jahre alt. 6) A: Ich bin 29 Jahre alt.

7) B: Mindestens eine von euch ist junger


als ich. 8) A: Ich bin
ein Jahr a lter als C.

9) C: A ist drei Jahre junger


als B. .
Wie alt sind die drei Damen?

17/60

A NTWORT

18/60

A NTWORT

A ist 30, B ist 32 und C ist 29 Jahre alt.

18/60


D AS E INSTEINR ATSEL
Dieses Ratsel wurde wahrscheinlich von Albert Einstein
[1879-1955] entwickelt. Er versah es mit dem Vermerk, dass nur

2% der Bevolkerung
in der Lage seien, es zu losen.
Es ist

tatsachlich durch reine Logik losbar.


Hauser stehen nebeneinander. In ihnen wohnen
Funf
unterschiedlichen Nationalitaten, die funf

Menschen von funf


unterschiedliche
unterschiedliche Getranke trinken, funf
unterschiedliche Haustiere
Zigarettenmarken rauchen und funf
haben.
1. Der Brite lebt im roten Haus.
2. Der Schwede halt sich einen Hund.
3. Der Dane trinkt gern Tee.
Haus steht (direkt) links neben dem weien Haus.
4. Das grune

5. Der Besitzer des grunen


Hauses trinkt Kaffee.
19/60


D AS E INSTEINR ATSEL
6. Die Person, die Pall Mall raucht, hat einen Vogel.
7. Der Mann im mittleren Haus trinkt Milch.
8. Der Bewohner des gelben Hauses raucht Dunhill.
9. Der Norweger lebt im ersten Haus.
10.Der Marlboro-Raucher wohnt neben der Person mit der
Katze.
11. Der Mann mit dem Pferd lebt neben der Person, die Dunhill
raucht.
12. Der Winfield-Raucher trinkt gern Bier.
13. Der Norweger wohnt neben dem blauen Haus.
14. Der Deutsche raucht Rothmanns.
15. Der Marlboro-Raucher hat einen Nachbarn, der Wasser
trinkt.
20/60


W EM GEH ORT
DER F ISCH ?

21/60

S CHRITT 0

22/60

S CHRITT 1
Der Mann im mittleren Haus trinkt Milch.

Ubrig:
wei; Norweger; Dane; Brite; Deutscher;
gelb; blau; rot; grun;
Schwede; Wasser; Tee; Kaffee; Bier; Dunhill; Marlboro; Pall
Mall; Rothmanns; Winfield; Katze; Pferd; Vogel; Fisch; Hund;
23/60

S CHRITT 2
Der Norweger lebt im ersten Haus.

Ubrig:
wei; Dane; Brite; Deutscher; Schwede;
gelb; blau; rot; grun;
Wasser; Tee; Kaffee; Bier; Dunhill; Marlboro; Pall Mall;
Rothmanns; Winfield; Katze; Pferd; Vogel; Fisch; Hund;
24/60

S CHRITT 3
Der Norweger wohnt neben dem blauen Haus.

Ubrig:
wei; Dane; Brite; Deutscher; Schwede; Wasser;
gelb; rot; grun;
Tee; Kaffee; Bier; Dunhill; Marlboro; Pall Mall; Rothmanns;
Winfield; Katze; Pferd; Vogel; Fisch; Hund;
25/60


L OSUNG

dem...
Der Fisch gehort

26/60


L OSUNG

dem...
Der Fisch gehort
Der Kaffee trinkende, Rothmanns rauchende Deutsche aus

dem grunen
Haus halt den Fisch!

26/60

J ETZT GEHT ES LOS !

27/60

D IE L OGIK DER B EWEISE

Mathematische Aussagen
 haben oft die Form: Wenn A, dann B.
 als Formel: A B.

Mathematischer Beweis
 bzgl. eines vorgegebenen Axiomensystems
 mit Hilfe von Inferenzregeln

28/60

B EWEISSTRATEGIEN
Mathematische Aussagen der Form A B (Wenn A, dann B)

Direkter Beweis:
Annahme: A gilt. Benutze A, Axiome, und Inferenzregeln um B
zu beweisen.

29/60

B EWEISSTRATEGIEN
Mathematische Aussagen der Form A B (Wenn A, dann B)

Direkter Beweis:
Annahme: A gilt. Benutze A, Axiome, und Inferenzregeln um B
zu beweisen.

30/60

B EWEISSTRATEGIEN
Mathematische Aussagen der Form A B (Wenn A, dann B)
 Beweis durch Kontraposition: Beweis von B A
 Beweis durch Widerspruch: Beweis von A B falsch

31/60

B EWEISSTRATEGIEN
Mathematische Aussagen der Form A B (Wenn A, dann B)
 Beweis durch Kontraposition: Beweis von B A
 Beweis durch Widerspruch: Beweis von A B falsch

32/60

B EWEISSTRATEGIEN

 Aquivalenzbeweis:
(A B) (A genau dann, wenn B).
Beweise, dass A B und dass B A. (Wenn A, dann B,
und wenn B, dann A.)
 Beweis durch Widerspruch Um A zu beweisen nehmen
wir an, dass A falsch ist (die Negation von A ist wahr).

Zeige, dass dies zu einem Widerspruch fuhrt.

33/60

B EWEISSTRATEGIEN
Widerspruchsbeweis:

34/60

B EWEISSTRATEGIEN
Beweis durch Fallunterscheidung:
Um B zu beweisen, beweise dass A1 B, . . . , An B, wobei
A1 An wahr ist.

35/60

B EWEISSTRATEGIEN

Aussagen mit Quantoren:


x U : (p(x) q(x)). Wahle a beliebig aus U. Beweise, dass
p(a) q(a). Da a beliebig gewahlt werden kann, folgt
x U : p(x) q(x).

36/60

B EWEISSTRATEGIEN

37/60

B EWEISSTRATEGIEN

38/60


N AT URLICHE
I NDUKTION

39/60


N AT URLICHE
I NDUKTION

40/60


V OLLST ANDIGE
I NDUKTION

41/60


V OLLST ANDIGE
I NDUKTION

42/60


V OLLST ANDIGE
I NDUKTION

43/60


V OLLST ANDIGE
I NDUKTION

44/60

S TRUKTURELLE I NDUKTION

Bei der vollstandigen Induktion werden Eigenschaften der

naturlichen
Zahlen bewiesen.

Bei der strukturellen Induktion werden Eigenschaften fur


Mengen bewiesen, deren Elemente aus Grundelementen durch
eine endliche Anzahl von Konstruktionsschritten (unter
Verwendung bereits konstruierter Elemente) bzw. mittels eines
Erzeugungssystems entstehen.

45/60

I NDUKTIVE D EFINITION VON M ENGEN

46/60

I NDUKTIVE D EFINITIONEN : B EISPIELE

47/60

I NDUKTIVE D EFINITIONEN : B EISPIELE

48/60

I NDUKTIVE D EFINITIONEN : B EISPIELE

49/60

I NDUKTIVE D EFINITIONEN : B EISPIELE

50/60

I NDUKTIVE D EFINITIONEN : B EISPIELE

51/60

I NDUKTIVE D EFINITION VON M ENGEN

52/60

S TRUKTURELLE I NDUKTION

53/60

S TRUKTURELLE I NDUKTION

54/60

B EISPIEL 1

55/60

B EISPIEL 1

56/60

B EISPIEL 2

57/60

B EISPIEL 2

58/60

R EGELINDUKTION

59/60

60/60