Examen Logica voor Informatici

Woensdag 25/1/2012 14u-18u

Let op:
• Beantwoord elke vraag op een appart blad!

• Op elke blad moet uw naam staan.

1 Theorie (4pt)
1. (3pt) Stelling : als een logisch theorie T een model A heeft, dan geldt voor elke KE-redenering dat er
minstens 1 tak bestaat met een uitbreiding A1 van A zodat alle zinnen van deze tak waar zijn in A1 .
Bewijs deze stelling (gedeeltelijk). Het bewijs bevat een gevallenanalyse. Je hoeft enkel twee gevallen
te bewijzen: die waarbij stap n een gevalsonderscheid is voor de logische zin A, en die waarbij stap n
een toepassing is van de Erule.
• Een bijvraag waarmee je 1 extra punt kunt verdienen (dus, 4pt op een totaal van 3!): bewijs de
correctheid van de tweede gelijkheidsregel.
Zie formularium voor de definitie van de regels.
2. (1pt) Wat bedoelt men met ”de predikatenlogica is semi-beslisbaar”?

2 Oefeningen (16pt)
1. (3pt) Zijn de volgende zinnen waar in de volgende Geo-wereld:

!
!
!
!"##$%&'!"#!$%&'(&)!"*(+,-./0)!1(2345%6!7(!85,9(&7(!:;&&(&<!!
!
!"#$$$$$!Ӄ%#!Ӂ&#'$!Ӄ(#)*+,-./0,!(#$$ӟ$$1.2345!&6(#7$$ѧ$$8+5-45!%6&#$9$
!:#$$$$$!Ӄ(#*+,-./0,!(#$$
• (∃x)(T riangle(x)∧(∀y)(Square(y)∧(∀z)(P entagon(z)∧Large(z) ⇒ BackOf (y, z)) ⇒ Lef tOf (x, y)))
!;#$$$$$!Ӄ%#!Ӂ&#'$!Ӂ(#)*+,-./0,!(#$ѧ$1.2345!&6(#7$$ѧ$$8+5-45!%6&#$9$
$$$$$$
=55&!>>&!7>'!:;&!"#)!((&!,59;234!9(85,9!;2!8>&!"?)!(&!"/)@!755A!B;77(,!8>&!((&!C;&DE!F(6;G2-!
E,H(!A(9(,!;&!G5%6!C;&DE!F(6;G2!B5('!8(A>&'655A7!65A7(&@!(&!G(!B>9!9((&!A(9(,2!35BF;&(I
A(&-!
• (∃x)(T riangle(x) ∧ (∀z)(P entagon(z) ⇒ (∀y)(Square(y) ∧ BackOf (y, z) ⇒ Lef tOf (x, y))))
!
"#$%&&'()<!
!

! /
2. (4pt) Geef een formeel KE-bewijs van de zin

(∃x)(S(x) ∧ ¬Q(x))

uit de verzameling bestaande uit de volgende zinnen:

(a) (∀x)(P (x) ⇒ (∀y)(Q(y) ⇒ ¬R(x, y)))

(b) (∀x)(P (x) ⇒ (∃y)(S(y) ∧ R(x, y)))
(c) (∃x)P (x)

3. (4pt) Logisch gevolg en logische waarheid. Is de zin onder de streep al dan niet een logisch gevolg van
de zinnen erboven? Zo ja, bewijs. Zo neen, illustreer dit in een geschikte structuur.

(∃x)(∀y)¬P (y, x)
(∀x)(∃y)[¬(P (x, y) ∨ Q(x)) ∨ P (y, x)]
(∃x)(∃y)(¬P (y, x) ∨ ¬Q(y))

Vervolgens, op een nieuw blad: Is de volgende zin al dan niet logisch waar? Zo ja, bewijs. Zo neen,
illustreer dit in een geschikte structuur.

((∃x)P (x) ⇒ (∃x)Q(x)) ⇒ (∃x)((P (x) ∧ R(x)) ⇒ (Q(x) ∧ R(x)))

4. (5pt) Toepassingen van logica in de informatica. Veronderstel dat we een voetbalkalender willen op-
stellen. Er zijn een aantal teams die op een aantal wedstrijddagen tegen elkaar moeten spelen. Gebruik
het volgende vocabularium:
• Predicaatsymbool T eam/1: T eam(x) betekent dat x een team is.
• Predicaatsymbool W edDag/1: W edDag(x) betekent dat x een wedstrijddag is.
• Predicaatsymbool V olgt/2: V olgt(x, y) betekent dat x de volgende wedstrijddag is na wedstri-
jddag y.
• Predicaatsymbool W edstrijd/3: W edstrijd(x, y, z) betekent dat team x thuis speelt tegen team
y op wedstrijddag z.
Los de volgende vragen op:

• Formuleer in predikatenlogica gebruikmakend van dit vocabularium:

– Elk team speelt elke wedstrijddag één wedstrijd, tegen een ander team.
– Elk team speelt afwisselend thuis- en uitwedstrijden (of omgekeerd natuurlijk).
– Elk paar van teams speelt exact twee wedstrijden tegen elkaar: elk één thuiswedstrijd en één
uitwedstrijd.
– Twee teams mogen niet op dezelfde of opeenvolgende wedstrijddagen tegen elkaar spelen.
• Leg uit in niet meer dan 3 zinnen welke vorm van redeneren je zou toepassen op de aldus bekomen
theorie om een kalender te berekenen voor een verzameling van teams en wedstrijddagen.