Logica voor AI. Responsiecollege. Antje Rumberg. 12 december Kripke Semantiek. Geldigheid. De bereikbaarheidsrelatie
|
|
- Valentijn van Beek
- 5 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Logica voor AI Responsiecollege Antje Rumberg 12 december
2 De taal L m van de modale propositielogica ϕ ::= p ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ Blokje en ruitje ϕ: het is noodzakelijk dat ϕ ϕ: het is mogelijk dat ϕ 2
3 Modelstructuur (of frame) Een modelstructuur (of frame) is een geordend paar F = W, R, waarbij W een verzameling mogelijke werelden en R W W een bereikbaarheidsrelatie is. w v u t s r 3
4 Kripke Model Een Kripke model is een geordend drietal M = W, R, V, waarbij W, R een modelstructuur en V : W Pow(VAR) een interpretatiefunctie is. Een propositie p is waar in een wereld w desda p V(w). (p, q) w (p) v (q) u t (q) s (p) r (q) 4
5 De semantische regels voor en M, w ϕ desda voor iedere v met wrv geldt M, v ϕ M, w ϕ desda voor tenminste één v met wrv geldt M, v ϕ Dualiteit ϕ ϕ ϕ ϕ 5
6 Waarheid in een wereld: M, w ϕ Zij ϕ L m een formule, M = W, R, V een Kripke model en w W een wereld. M, w p desda p V(w) M, w M, w ϕ desda M, w ϕ M, w ϕ ψ desda M, w ϕ en M, w ψ M, w ϕ ψ desda M, w ϕ en/of M, w ψ M, w ϕ ψ desda M, w ϕ en/of M, w ψ M, w ϕ desda voor iedere v met wrv geldt M, v ϕ M, w ϕ desda voor tenminste één v met wrv geldt M, v ϕ 6
7 Opgave Geef voor elke wereld in het onderstaande modelstructuur een formule die alleen in die wereld waar is, ongeacht de valuatie op de modelstructuur. Je kunt dit doen met behulp van en. w t v u w: v: t: u: 7
8 in een model: M ϕ Een formule ϕ is geldig in een Kripke model M = W, R, V, notatie: M ϕ, desda voor alle werelden w W geldt M, w ϕ in een modelstructuur: F ϕ Een formule ϕ is geldig in een modelstructuur F = W, R, notatie: F ϕ, desda voor alle modellen M = W, R, V geldt M ϕ in een klasse van modelstructuren: C ϕ Een formule ϕ is geldig in een klasse C van modelstructuren, notatie: C ϕ, desda voor alle modelstructuren F C geldt F ϕ Algemene modaallogische geldigheid: ϕ Een formule ϕ is algemeen modaallogisch geldig, notatie: ϕ, desda voor alle modelstructuren F = W, R geldt F ϕ 8
9 Opgave Geef één valuatie op de onderstaande modelstructuur zodanig dat de volgende formules waar zijn in elke wereld. Met andere worden, laat de volgende formules geldig zijn in het resulterende model. p p p p p p w v u w v u ( ) (p) ( ) 9
10 Bewijs van geldigheid Hoe laat je zien dat een formule ϕ geldig is in een modelstructuur F = W, R? Je bekijkt een willekeurige Kripke model M = W, R, V op F en een willekeurige wereld w W en laat met behulp van de semantische regels zien dat M, w ϕ. Bewijs van ongeldigheid Hoe laat je zien dat een formule ϕ niet geldig is in een modelstructuur F = W, R? Je geeft een valuatie V op de modelstructuur zodanig dat voor tenminste één wereld w in het resulterende model M = W, R, V geldt dat M, w ϕ. 10
11 Opgave Zijn de volgende formules algemeen modaallogisch geldig? Laat zien waarom wel/niet? ϕ ϕ ϕ ϕ ϕ ϕ is algemeen modaallogisch geldig. Zij F = W, R een willekeurige modelstructuur, M = W, R, V een willekeurige model op F en zij w W een willekeurige wereld. Stel dat M, w ϕ. Dan is er op grond van de semantische regels voor en een wereld v zodanig dat wrv en v ϕ. Aangezien en duaal zijn, geldt dus: M, v ϕ. Omdat wrv, volgt op grond van de semantische regel voor : M, w ϕ Dus: M, w ϕ ϕ. 11
12 Opgave Zijn de volgende formules algemeen modaallogisch geldig? Laat zien waarom wel/niet? ϕ ϕ ϕ ϕ ϕ ϕ is niet algemeen modaallogisch geldig. Beschouw het volgende tegenmodel: (p) w v ( ) M, w p, want v is een blinde wereld M, w p, want v is een blinde wereld Dus: M, w p p 12
13 Geldige gevolgtrekking: Γ ϕ Een formule ϕ L m is een geldige gevolgtrekking uit een verzameling van formules Γ L m, notatie: Γ ϕ, desda voor alle modellen M = W, R, V en alle werelden w W geldt: Als voor alle ψ Γ, W, w ψ, dan M, w ϕ. ϕ desda ϕ {ψ} ϕ desda ψ ϕ Geldige gevolgtrekking: Γ CS Een formule ϕ L m is een geldige gevolgtrekking uit een verzameling van formules Γ L m met betrekking tot de klasse C S van modelstructuren, notatie: Γ CS ϕ, desda voor alle modelstructuren F C S, alle modellen M = F, V en alle werelden w W geldt: Als voor alle ψ Γ, W, w ψ, dan M, w ϕ. ϕ 13
14 Bewijs van geldigheid Hoe laat je zien dat een formule ϕ een geldige gevolgtrekking uit een verzameling Γ is? Je bekijkt een willekeurige Kripke model M = W, R, V en een willekeurige wereld w W waarin de formules uit Γ allemaal waar zijn (d.w.z. M, w ψ voor alle ψ Γ) en laat met behulp van de semantische regels zien dat de formule ϕ vervolgens ook waar is in w (d.w.z. M, w ϕ). Bewijs van ongeldigheid Hoe laat je zien dat een formule ϕ geen geldige gevolgtrekking uit een verzameling Γ is? Je geeft een model M = W, R, V zodanig dat er in tenminste één wereld w W alle formules uit Γ waar zijn (d.w.z. M, w ψ voor alle ψ Γ) en ϕ onwaar is (d.w.z. M, w ϕ). 14
15 Zij R W W een bereikbaarheidsrelatie. R is reflexief desda w(wrw). w R is symmetrisch desda w v(wrv vrw). w v R is transitief desda w v z((wrv vrz) wrz). v w z R is euclidisch desda w v z((wrv wrz) vrz). v w z R is voortzettend (of serieel) desda w v(wrv). 15
16 R is reflexief w(wrw) R is irreflexief w (wrw) R is symmetrisch w v(wrv vrw) R is asymmetrisch w v(wrv vrw) R is anti-symmetrisch w v((wrv w v) vrw) R is transitief w v z((wrv vrz) wrz) R is euclidisch w v z((wrv wrz) vrz) R is dicht w v(wrv z(wrz zrv)) R is deterministisch w v z((wrv wrz) v = z) R is voortzettend w v(wrv) R is disconnected w v( vrw) R is universeel w v(wrv) 16
17 Karakteriseerbaarheid Een verzameling formules Γ L m karakteriseert een klasse C van modelstructuren desda voor alle modelstructuren F geldt: F C desda F ψ voor alle ψ Γ. Als Γ de klasse C van modelstructuren karakteriseert en Γ de klasse C van modelstructuren karakteriseert, dan karakteriseert Γ Γ de klasse C C van modelstructuren. Modale definieerbaarheid Een klasse C van modelstructuren is modaal definieerbaar desda er is een verzameling modale formules Γ L m die deze klasse karakteriseert. 17
18 Zij F = W, R een modelstructuur. F ϕ ϕ desda F is voortzettend F ϕ ϕ (of F ϕ ϕ) desda F is reflexief F ϕ ϕ (of F ϕ ϕ) desda F is symmetrisch F ϕ ϕ (of F ϕ ϕ) desda F is transitief F ϕ ϕ (of F ϕ ϕ) desda F is euclidisch F ϕ ϕ (of F ϕ ϕ) desda F is dicht F ϕ ϕ desda F is deterministisch F ϕ (of F ) desda F is disconnected 18
19 Opgave Noem een modelstructuur M = W, R indirect reflexief dan en slechts dan als w v(wrv vrw). Geef een bewijs voor het volgende correspondentie-theorema: F is indirect reflexief F ϕ ϕ Stel dat F = W, R indirect reflexief is. Zij M = W, R, V een willekeurige model op F en w W een willekeurige wereld. Stel dat M, w ϕ. Aangezien F indirect reflexief is, is er een wereld v met wrv en vrw. Omdat vrw en M, w ϕ, volgt M, v ϕ. Omdat wrv en M, v ϕ, volgt M, w ϕ. Dus: M, w ϕ ϕ 19
20 Opgave Noem een modelstructuur M = W, R indirect reflexief dan en slechts dan als w v(wrv vrw). Geef een bewijs voor het volgende correspondentie-theorema: F is indirect reflexief F ϕ ϕ Stel dat F = W, R niet indirect reflexief. Dan is er een wereld w zodanig dat voor alle v met wrv geldt: niet vrw. Beschouw M = W, R, V met p V(x) desda x = w. Dan: M, w p en M, w p (want voor alle v met wrv geldt M, v p) Daaruit volgt: M, w p p Dus: F p p 20
21 Zij C een modaal definieerbare verzameling modelstructuren, waarbij ϕ L m de karakteriserende formule is. Dan geldt voor alle modelstructuren F : F C desda F ϕ. Is het mogelijk dat er een modelstructuur F C met een valuatie V op F zodanig dat ϕ in het resulterende model M = W, R V geldig is? - Ja! Voorbeeld F reflexief desda F ϕ ϕ Bekijk het volgende model M dat op een niet-reflexieve modelstructuur gebaseerd is. Het geldt: M p p. (p) w v (p) 21
22 Verschillende modaliteiten epistemisch doxastisch deontisch temporeel Verschillende principes Naam Principe Modelstructuren D ϕ ϕ voortzettend T ϕ ϕ reflexief B ϕ ϕ symmetrisch 4 ϕ ϕ transitief 5 ϕ ϕ euclidisch 22
23 Niet-karakteriseerbaarheid De klasse van irreflexieve intransitieve asymmetrische anti-symmetrische universele modelstructuren is niet modaal definieerbaar. 23
24 Zijn M = W, R, V en M = W, R, V Kripke modellen. Een bisimulatie tussen M en M is een relatie Z W W zodanig dat als wzw, dan V(w) = V(w ); als wzw en wrv, dan is er een v z.d.d. w R v en vzv ; R w v Z R w Z als wzw en w R v, dan is er een v z.d.d. wrv en vzv. R w v Z v v R w Z 24
25 Voorbeeld 0 (p) 1 (p) 2 (p) 3 (p)... a (p) P Z = {< 0, a >, < 1, a >, < 2, a >, < 3, a >,... } 25
26 Opgave Laat zien dat er geen bisimulatie bestaat tussen de werelden v en a door een formule te geven die waar is in één van deze werelden v en a, en onwaar in de andere. w v u ( ) ( ) (p) M, v p M, a p a b ( ) (p) 26
27 theorema Zijn M = W, R, V en M = W, R, V Kripke modellen. Zij Z W W een bisimulatie tussen M en M. Als < w, w > Z, dan geldt voor alle formules ϕ L m : M, w ϕ desda M, w ϕ Complete bisimulatie Zijn M = W, R, V en M = W, R, V Kripke modellen. Een bisimulatie Z W W tussen M en M heet compleet voor M desda voor alle w W is er een w W met wzw. 27
28 Zijn M = W, R, V en M = W, R, V Kripke modellen. Zij Z W W een bisimulatie tussen M en M die compleet is voor M. Dan geldt: M ϕ M ϕ Zijn F = W, R en F = W, R modelstructuren. Als er voor elke valuatie V op F een valuatie V op F is zodanig dat er een bisimulatie Z W W tussen de resulterende modellen M = W, R, V en M = W, R, V is die compleet is voor M, dan geldt: F ϕ F ϕ 28
29 Niet-karakteriseerbaarheid Gegenereerde subframes Zij F = W, R een modelstructuur en zij w W een wereld. Zij R = {< w, v >: er zijn u 1,..., u n z.d.d. wru 1 R... Ru n Rv}. Het w-gegenereerde subframe van F is de modelstructuur F w = W w, R w, waarbij Ww = {v W : v = w of wr v} en Rw = R (W w W w ) = {< v, w > R : v R w en w R w }. Voorbeeld: v F t v F w t w u w 29
30 Niet-karakteriseerbaarheid Disjoint unions Zijn F 1 = W 1, R 1 en F 2 = W 2, R 2 modelstructuren. De disjoint union van F 1 en F 2 is de modelstructuur F 1 F 2 = W, R, waarbij W = {(w, i) : w Wi, i {1, 2}} R = {< (w, i), (v, i) >: wri v, i {1, 2}} Voorbeeld: F 1 v w w t F 2 F 1 F 2 (v, 1) (w, 1) (w, 2) (t, 2) 30
31 Niet-karakteriseerbaarheid P-morfisme Zijn F = W, R en F = W, R modelstructuren. Een p-morfisme tussen F en F is een functie f : W W zodanig dat f is een surjectie; als wrv, dan f(w)r f(v); v R w f f v w R als f(w)r v, dan is er een v W met wrv en f(v) = v. v R w f f v w R p p 31
32 Niet-karakteriseerbaarheid P-morfismen Voorbeeld: a f(n) = a voor alle n N 32
33 Niet-karakteriseerbaarheid Zijn F = W, R en F = W, R modelstructuren. F het w-gegenereerde subframe F w van F Als F de disjoint union F F er een p-morfisme f : W W tussen F en F dan geldt voor alle formules ϕ L m : F ϕ F ϕ is, Bewijs: Voor elke valuatie V op F is er een valuatie V op F zodanig {< v, v >: v F } dat er een bisimulatie Z = {< w, (w, i) >: w W} {< w, f(w) >: w W} tussen de resulterende modellen M = W, R, V en M = W, R, V is die compleet is voor M. 33
34 Niet-karakteriseerbaarheid Zijn F = W, R en F = W, R modelstructuren. Zij C een klasse van modelstructuren met F C en F C. F het w-gegenereerde subframe F w van F Als F de disjoint union F F is, er een p-morfisme f : W W tussen F en F dan is de klasse C niet modaal definieerbaar. Bewijs: Stel dat de klasse C modaal definieerbaar was. Dan is er een karakteriserende formule ϕ zodanig dat voor alle modelstructuren F geldt: F ϕ desda F C Aangezien F C geldt: F ϕ. Daaruit volgt: F ϕ Aangezien F C volgt dat ϕ geen karakteriserende formule voor de klasse C zijn kan. 34
35 Niet-karakteriseerbaarheid Opgave Neem de volgende frame eigenschap: F heet verschillig dan en slechts dan als w v(w v wrv). Bewijs dat deze eigenschap niet modaal definieerbaar is. Zij F = W, R een verschillige modelstructuur. De disjoint union F F = W, R met W = {(w, i) : w W, i {1, 2}} en R = {< (w, i), (v, i) >: wrv, i {1, 2}} is niet verschillig. Voor alle werelden w W geldt: (w, 1) (w, 2) en < (w, 1), (w, 2) > R 35
36 De minimale normale modale logica K Axioma s alle tautologieën van de propositielogica (ϕ ψ) ( ϕ ψ) (K-axioma) ϕ ϕ (Def. ) Afleidingsregels Substitutie: Als ϕ, dan ψ voor elke instantie ψ van ϕ Modus Ponens: Als ϕ ψ en ϕ, dan ψ Necessitatie: Als ϕ, dan ϕ 36
37 voor de modale logica Uitbreidingen van het systeem K Naam Systeem Modelstructuren K K alle D KD voortzettend T KT reflexief B KB symmetrisch 4 K 4 transitief 5 K 5 euclidisch S4 KT 4 reflexief + transitief S5 KTB4 reflexief + symmetrisch + transitief Zwakke S5 KD45 voortzettend + transitief + euclidisch Let op: S5 = KTB4 = KT45 = KT5 37
38 Uitbreidingen van het systeem K KT45 KD45 K45 KT4 KD4 KT KD K 38
39 Deductie De -aanname... ϕ ϕ ϕ. M, w ϕ wrv : M, v ϕ vrt : M, t ϕ 39
40 : Het systeem K De modale operatoren en -intro -elim -intro Def.. ϕ... ϕ ϕ ϕ. ϕ ψ ϕ. ψ ϕ... ϕ ϕ... ϕ 40
41 Deductie Herhalingen toegestaan. ϕ ψ. ϕ.. ϕ niet toegestaan. ϕ.. ϕ. ϕ. 41
42 Uitbreidingen van het systeem K D T B 4 5 ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ 42
43 Afgeleide regels ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ CP ϕ ψ ψ ϕ 43
44 Opgave Geef een afleiding in natuurlijke (met de regels van het systeem K) voor ( p (p q)) q. 1 p (p q) (Aann.) 2 p ( -elim, 1) 3 (p q) ( -elim), 1 4 ( ) 5 p q (Aann.) 6 p ( -elim, 2+4) 7 q ( -elim, 5+6) 8 q ( -intro, ) 9 ( p (p q)) q ( -intro, 1+8) 44
45 Een informele afleiding in systeem S bestaat uit een reeks van opeenvolgend genummerde modaallogische formules voorzien van een rechtvaardiging, waarbij we tot een rechtvaardiging in S van ϕ met nummer n rekenen. ϕ is een instantie van een axioma van systeem S. (Ax.) ϕ kan worden verkregen uit de formule ψ met nummer m < n door toepassing van de definitie van. (Def.,m) ϕ kan worden verkregen uit de formule ϕ met nummer m < n door het vervangen van minstens één voorkomen van θ in ϕ door ψ en ψ θ. (ψ θ,m) ϕ volgt volgens de regels van de propositielogica uit de formules met nummers m 1,..., m n, m i < n. (m 1,..., m n ) ϕ = ψ, waarbij ψ de formule met nummer m < n is en ψ van geen aannames afhangt. (Nec,m) ϕ is een aanname. (Aann.) 45
46 De axioma s van het systeem K alle tautologieën van de propositielogica (ϕ ψ) ( ϕ ψ) (K-axioma) Def. & Def. ϕ := ϕ ϕ := ϕ Regels van de propositielogica regels voor de logische connectieven als ϕ ψ, dan ψ ϕ als ϕ ψ en ψ θ, dan ϕ θ als ϕ ψ en ϕ θ, dan ϕ (ψ θ) 46
47 Volledigheid Correctheid Alles wat bewijsbaar is, is ook geldig. Volledigheid Γ ϕ Γ ϕ Alles wat geldig is, is ook bewijsbaar. Γ ϕ Γ ϕ Γ ϕ Γ ϕ 47
48 Correctheid Correctheidsstelling: Γ S ϕ Γ CS ϕ Γ K ϕ Γ ϕ Γ D ϕ Γ CD ϕ Γ T ϕ Γ CT ϕ Γ B ϕ Γ CB ϕ Γ 4 ϕ Γ C4 ϕ Γ 5 ϕ Γ C5 ϕ Γ S4 ϕ Γ CT C 4 ϕ Γ S5 ϕ Γ CT C B C 4 ϕ Γ KD45 ϕ Γ CD C 4 C 5 ϕ 48
49 Correctheid Γ K ϕ Γ ϕ Als Γ K ϕ, dan M w(m, w Γ M, w ϕ). Bewijs: inductie op de lengte van een bewijs Laat zien dat elke instantie van een afleidingsregel een geldige gevolgtrekking is. 49
50 Volledigheid Volledigheidsstelling: Γ CS ϕ Γ S ϕ Γ ϕ Γ K ϕ Γ CD ϕ Γ D ϕ Γ CT ϕ Γ T ϕ Γ CB ϕ Γ B ϕ Γ C4 ϕ Γ 4 ϕ Γ C5 ϕ Γ 5 ϕ Γ CT C 4 ϕ Γ S4 ϕ Γ CT C B C 4 ϕ Γ S5 ϕ Γ CD C 4 C 5 ϕ Γ KD45 ϕ 50
51 Volledigheid Γ ϕ Γ K ϕ Als M w(m, w Γ M, w ϕ), dan Γ K ϕ. Γ K ϕ Γ ϕ Als Γ K ϕ, dan is er een model M en een wereld w zodanig dat M, w Γ en M, w ϕ. Voor alles dat niet bewijsbaar is, is er een tegenmodel. 51
52 Volledigheid: Consistentie S-consistente verzameling Een verzameling formules Γ L m is S-consistent Γ S. Maximaal S-consistente verzameling desda Een S-consistente verzameling Γ is maximaal S-consistent desda voor alle ϕ L m geldt: ϕ Γ of ϕ Γ. Lindenbaum Lemma Elke S-consistente verzameling van formules Γ L m kan worden uitgebreid tot een maximaal S-consistente verzameling. 52
53 Volledigheid: Consistentie Opgave De volgende afleidingsregel is correct voor voortzettende modelstructuren. Het is een alternatief voor regel D: ( ) Laat zien met behulp van deze regel dat de verzameling { p, p} niet KD4-consistent is.. 53
54 Volledigheid: Consistentie Opgave 1 p (Prem.) 2 p (Prem.) 3 p (4, 2) 4 ( ) 5 p ( -elim, 1+4) 6 p ( -elim, 3+4) 7 ( ) 8 p ( -elim, 5+7) 9 p ( -elim, 6+7) 10 ( -elim, 8+9) 11 ( -intro, 7+10) 12 (, 11) 13 ( -intro, 4+12) 14 (, 13) 54
55 Volledigheid: Kanoniek model Het S-kanoniek model Het S-kanonieke model is het Kripke-model M S = W S, R S, V S waarbij WS = {Γ L m : Γ is maximaal S-consistent}; < Γ, Γ > R S desda voor alle ϕ L m : ϕ Γ ϕ Γ ; p VS (Γ) desda p Γ. Waarheidslemma Zij M S = W S, R S, V S het S-kanonieke Kripke-model en zij Γ W S. Dan geldt: M S, Γ ϕ desda ϕ Γ 55
56 Volledigheid van het systeem K ϕ K ϕ Bewijs: contrapositie Stel K ϕ. Dan is { ϕ} K-consistent. Op grond van het Lindenbaum lemma kan { ϕ} worden uitgebreid tot een maximaal K-consistente verzameling Γ. Op grond van het waarheidslemma volgt: M K, Γ en M K, Γ ϕ. Dus: M K, Γ en M K, Γ ϕ. Daaruit volgt: ϕ 56
57 Volledigheid lemma Zij M S = W S, R S, V S het S-kanonieke Kripke-model. Als D een regel van S is, dan is RS voortzettend. Als T een regel van S is, dan is RS reflexief. Als B een regel van S is, dan is RS symmetrisch. Als 4 een regel van S is, dan is RS transitief. Als 5 een regel van S is, dan is RS euclidisch. 57
Logica voor AI. Bewijstheorie en natuurlijke deductie. Antje Rumberg. 28 november Kripke Semantiek.
Logica voor AI en natuurlijke deductie Antje Rumberg AntjeRumberg@philuunl 28 november 2012 1 De taal L m van de modale propositielogica ::= p Blokje en ruitje : het is noodzakelijk dat : het is mogelijk
Nadere informatieLogica voor AI. Bisimulatie en niet-karakteriseerbaarheid. Antje Rumberg. 21 november Correspondentie.
Logica voor AI en niet-karakteriseerbaarheid Antje Rumberg Antje.Rumberg@phil.uu.nl 21 november 2012 1 Kripke Semantiek De taal L m van de modale propositielogica ϕ ::= p ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ Blokje en
Nadere informatieLogica voor AI. Verschillende modale systemen en correctheid. Antje Rumberg. 30 november 2012.
Logica voor AI en correctheid Antje Rumberg AntjeRumberg@philuunl 30 november 2012 1 De minimale normale modale logica K Axioma s alle tautologieën van de propositielogica ( ψ) ( ψ) (K-axioma) (Def ) Afleidingsregels
Nadere informatieLogica voor AI. Inleiding modale logica en Kripke semantiek. Antje Rumberg. 14 november 2012
Logica voor AI Inleiding modale logica en Kripke semantiek Antje Rumberg Antje.Rumberg@phil.uu.nl 14 november 2012 1 Logica voor AI Deel 1: Modale logica semantiek en syntax van verschillende modale logica
Nadere informatieLogica voor AI. Tijdslogica. Antje Rumberg. 07 december Kripke Semantiek. Tijdslogica. De bereikbaarheidsrelatie
Logica voor AI Antje Rumberg Antje.Rumberg@phil.uu.nl 07 december 2012 1 De taal L m van de modale propositielogica ϕ ::= p ϕ ϕ ϕ ϕ ϕ Blokje en ruitje ϕ: het is noodzakelijk dat ϕ ϕ: het is mogelijk dat
Nadere informatieLogica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3
Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3 3.1 Stel ϕ, ψ α, β γ, en ψ, α, γ χ. Indien nu bovendien bekend wordt dat χ onwaar is, maar ψ en β waar, wat weet u dan over ϕ? oplossing:
Nadere informatieIL-modellen en bisimulaties
IL-modellen en bisimulaties René de Jonge juli 2004 Samenvatting In dit artikel worden enkele bekende begrippen en stellingen uit de klassieke modale logica geformuleerd voor de uitgebreidere logica IL.
Nadere informatieLogica voor Informatica. Propositielogica. Bewijssystemen voor propositielogica. Mehdi Dastani
Logica voor Informatica Propositielogica Bewijssystemen voor propositielogica Mehdi Dastani mmdastani@uunl Intelligent Systems Utrecht University Deductie Tot nu toe voornamelijk semantisch naar logica
Nadere informatieInleiding Wiskundige Logica
Inleiding Wiskundige Logica Yde Venema 2017/2018 c YV 2018 Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, NL 1098XH Amsterdam E-mail: yvenema@uvanl Voorwoord
Nadere informatieLogica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani
Logica voor Informatica Propositielogica Normaalvormen en Semantische tableaux Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Literals Een literal is een propositieletter, of de
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieParvulae Logicales VI Modale Logica
Parvulae Logicales VI Modale Logica Inhoud 1. Inleiding...2 2. Semantiek...6 2.1 Inleiding...6 2.2 Modellen voor modale logica...7 2.3 Geldigheid en ongeldigheid in modale logica...10 3 Modale (afleidings)systemen...14
Nadere informatieTegenvoorbeeld. TI1300: Redeneren en Logica. De truc van Gauss. Carl Friedrich Gauss, 7 jaar oud (omstreeks 1785)
Tegenvoorbeeld TI1300: Redeneren en Logica College 3: Bewijstechnieken & Propositielogica Tomas Klos Definitie (Tegenvoorbeeld) Een situatie waarin alle premissen waar zijn, maar de conclusie niet Algoritmiek
Nadere informatieLogica als een oefening in Formeel Denken
Logica als een oefening in Formeel Denken Herman Geuvers Institute for Computing and Information Science Radboud Universiteit Nijmegen Wiskunde Dialoog 10 juni, 2015 Inhoud Geschiedenis van de logica Propositielogica
Nadere informatieLogica voor Informatica. Propositielogica. Syntax & Semantiek. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica Propositielogica Syntax & Semantiek Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Wat is Logica? Afleiden van conclusies uit aannames Jan Sara Petra Schuldig
Nadere informatieb) Niet geldig. Zij π(n)(p) = 1 als n is even, anders π(n)(p) = 0. Schrijf
opgave 2.1 a) Geldig. Zij n N en π een willekeurige valuatie. Schrijf T = (N, π). Stel, T, n p. Dan bestaat m > n zodat T, m p. Dus voor k > m geldt altijd T, k p. Nu geldt T, n p, want voor alle x > n
Nadere informatieSamenvatting. TI1306 Redeneren & Logica Review Guide 2014 Door: David Alderliesten. Disclaimer
Samenvatting TI1306 Redeneren & Logica Review Guide 2014 Door: David Alderliesten Disclaimer De informatie in dit document is afkomstig van derden. W.I.S.V. Christiaan Huygens betracht de grootst mogelijke
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieLogica voor Informatica
Logica voor Informatica 10 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vorige keer Syntax van predikatenlogica Alfabet Termen Welgevormde formulas (wff) 2 Alfabet van de predikatenlogica
Nadere informatie4 Beschouw de volgende formuleverzameling S: {"x "y ((Rxy Æ "z (Rxz Æ y = z)), "x "y (Ryx Æ "z (Rzx Æ y = z)),
T E N T A M E N L O G I C A 1 1 Bepaal met behulp van een waarheidstabel een disjunctieve normaalvorm voor de formule (p (q Ÿ ( r Æ (p Ÿ q)))). Is er een eenvoudiger formule waarmee de gevonden formule
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieMededelingen. TI1300: Redeneren en Logica. Waarheidstafels. Waarheidsfunctionele Connectieven
Mededelingen TI1300: Redeneren en Logica College 4: Waarheidstafels, Redeneringen, Syntaxis van PROP Tomas Klos Algoritmiek Groep Voor de Fibonacci getallen geldt f 0 = f 1 = 1 (niet 0) Practicum 1 Practicum
Nadere informatieTentamen Grondslagen van de Wiskunde A, met uitwerkingen
Tentamen Grondslagen van de Wiskunde A, met uitwerkingen 8 december 2015, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is het totaal
Nadere informatieHandout Natuurlijke Deductie
Handout Natuurlijke Deductie Peter van Ormondt 4 februari 2017 1 Inleiding In Van Benthem et al (2016, Hoofdstuk 2), hebben we redeneringen bestudeerd door te kijken naar de semantiek of betekenis van
Nadere informatiebehulp van een semantisch tableau en een daarmee geconstrueerd tegenvoorbeeld.
4 punten Reduceer (lxy. x (x y))(lz. x z) tot een normaalvorm. Werk alle mogelijke reducties uit. 4 punten 2 a Een relatie R heet voortzettend als voor elke x geldt dat er een y is zodat Rxy. Bewijs dat
Nadere informatieOefenopgaven Grondslagen van de Wiskunde A
Oefenopgaven Grondslagen van de Wiskunde A Jaap van Oosten 2007-2008 1 Kardinaliteiten Opgave 1.1. Bewijs, dat R N = R. Opgave 1.2. Laat Cont de verzameling continue functies R R zijn. a) Laat zien dat
Nadere informatieTentamen TI1300 en IN1305-A (Redeneren en) Logica
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 21 Januari 2011, 8.30 11.30 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR
Nadere informatieMededelingen. TI1300: Redeneren en Logica. Metavariabelen Logica, p Minder connectieven nodig
Mededelingen TI1300: Redeneren en Logica College 5: Semantiek van de Propositielogica Tomas Klos Algoritmiek Groep Tip: Als ik je vraag de recursieve definitie van een functie over PROP op te schrijven,
Nadere informatieFormeel Denken 2014 Uitwerkingen Tentamen
Formeel Denken 2014 Uitwerkingen Tentamen (29/01/15) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Als het regent word ik
Nadere informatieDeel I: Modale Logica
Deel I: Modale Logica i Contents Inleiding 1 1 Modale logica: basisbegrippen 3 1.1 basisdefinities.................................... 3 1.2 karakteriseerbaarheid................................ 8 1.3
Nadere informatieFormeel Denken 2013 Uitwerkingen Tentamen
Formeel Denken 201 Uitwerkingen Tentamen (29/01/1) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Het is koud, maar er ligt
Nadere informatiePropositielogica. Onderdeel van het college Logica (2017) Klaas Landsman
Propositielogica Onderdeel van het college Logica (2017) Klaas Landsman They who are acquainted with the present state of the theory of Symbolic Algebra, are aware of the validity of the processes of analysis
Nadere informatieInleiding Wiskundige Logica
Inleiding Wiskundige Logica Yde Venema 2017/2018 c YV 2018 Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, NL 1098XH Amsterdam E-mail: yvenema@uvanl Voorwoord
Nadere informatieCollege WisCKI. Albert Visser. 17 oktober, Department of Philosophy, Faculty Humanities, Utrecht University. Equivalentierelaties.
College WisCKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 17 oktober, 2012 1 Overview 2 Overview 2 Overview 2 Overview 2 Overview 3 Wat is een equivalentierelatie? Een
Nadere informatieWiskunde logica Werkcollege 6
Wiskunde logica Werkcollege 6 Jolien Oomens 17 maart 2017 Jolien Oomens Werkcollege 6 17 maart 2017 1 / 7 Opgave 1 Welke van deze formules zijn af te leiden? (a) Γ$ϕ,Γ$ψ Γ$ϕ^ψ (b) Γ$Dxϕ Γ$@xϕ. Jolien Oomens
Nadere informatieEerste-orde logica (= Predikaatlogica)
Eerste-orde logica (= Predikaatlogica) Onderdeel van het college Logica (2017) Klaas Landsman 1.1 Eerste-orde taal (aanvulling op 2.2 in Moerdijk & van Oosten) De propositielogica is te eenvoudig om bijv.
Nadere informatieOpmerking. TI1300 Redeneren en Logica. Met voorbeelden kun je niks bewijzen. Directe en indirecte bewijzen
Opmerking TI1300 Redeneren en Logica College 2: Bewijstechnieken Tomas Klos Algoritmiek Groep Voor alle duidelijkheid: Het is verre van triviaal om definities te leren hanteren, beweringen op te lossen,
Nadere informatieRedeneren over kennis
Faculteit Wetenschappen Vakgroep Toegepaste Wiskunde en Informatica Voorzitter: Prof. Dr. W. Govaerts Redeneren over kennis met vaagmodale epistemische logica door Sofie De Clercq Begeleidster: Marjon
Nadere informatieLogic for Computer Science
Logic for Computer Science 06 Normaalvormen en semantische tableaux Wouter Swierstra University of Utrecht 1 Vorige keer Oneindige verzamelingen 2 Vandaag Wanneer zijn twee formules hetzelfde? Zijn er
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieLogica voor Informatica
Logica voor Informatica 12 Normaalvormen Wouter Swierstra University of Utrecht 1 Vandaag We hebben gezien dat er verschillende normaalvormen zijn voor de propositionele logica. Maar hoe zit dat met de
Nadere informatieInleiding logica Inleveropgave 3
Inleiding logica Inleveropgave 3 Lientje Maas 30 september 2013 Ik (Rijk) heb verbeteringen in rood vermeld. Deze verbeteringen meegenomen zijn dit correcte uitwerkingen van de derde inleveropgaven. 1
Nadere informatieHet Logische Alwetendheidprobleem. Alwetendheid binnen de modale logica en Science of Discourse.
Het Logische Alwetendheidprobleem. Alwetendheid binnen de modale logica en Science of Discourse. Bachelor Kunstmatige Intelligentie Studiejaar 2015-2016 Student: Abdulmohaimen Amer Studentnummer: 3910873
Nadere informatie(Isomorfie en) RELATIES
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 15 maart 2009 (Isomorfie en) RELATIES. Paragrafen 10.5,11.1,11.2,11.4,11.5 Discrete
Nadere informatierh265e 0 true. In onze schrijfwijze wordt dat dus: (de bewering) [ P ] is even waar als (de bewering) P = true.
rh265e 0 Elementaire Predikatenrekening 0 Inleiding Dit is een samenvatting 0 van de rekenregels voor proposities en predikaten, zoals behandeld in het vak Logica & Verzamelingen. Enige vertrouwdheid met
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl. 9 februari 2009 BEWIJZEN
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 9 februari 2009 BEWIJZEN Discrete Structuren Week1 : Bewijzen Onderwerpen Puzzels
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieTentamen IN1305-I Fundamentele Informatica 1, deel I: Logica
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen IN1305-I Fundamentele Informatica 1, deel I: Logica 27 oktober 2008, 9.00 12.00 uur Dit tentamen bestaat uit 5
Nadere informatieTentamen Grondslagen van de Wiskunde A Met beknopte uitwerking
Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking 10 december 2013, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is
Nadere informatieSYLLABUS LOGISCHE ANALYSE
SYLLABUS LOGISCHE ANALYSE FRANK VELTMAN (MET BIJDRAGEN VAN KAREN KWAST EN EMAR MAIER) AFDELING WIJSBEGEERTE FACULTEIT DER GEESTESWETENSCHAPPEN UNIVERSITEIT VAN AMSTERDAM 2004-2007 2 Inhoudsopgave Inhoudsopgave
Nadere informatieElfde college complexiteit. 23 april NP-volledigheid III
college 11 Elfde college complexiteit 23 april 2019 NP-volledigheid III 1 TSP Als voorbeeld bekijken we het Travelling Salesman/person Problem, ofwel het Handelsreizigersprobleem TSP. Hiervoor geldt: TSP
Nadere informatieTI1300: Redeneren en Logica. TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken. Blackboard: enroll!
TI1300: Redeneren en Logica TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken Tomas Klos TI1300 bestaat uit 2 delen: Th: Theorie, Tomas Klos Pr: Practicum, Tomas Klos plus student-assistenten
Nadere informatieModelleren en Programmeren voor KI
Modelleren en Programmeren voor KI Practicumopdracht 4: SAT Solver Tomas Klos Het SAT probleem Parvulae Logicales: Propositielogica, Hoofdstuk 6 (Semantiek), p. 62: Het SAT probleem Ik geef je een propositielogische
Nadere informatieAutomaten. Informatica, UvA. Yde Venema
Automaten Informatica, UvA Yde Venema i Inhoud Inleiding 1 1 Formele talen en reguliere expressies 2 1.1 Formele talen.................................... 2 1.2 Reguliere expressies................................
Nadere informatieOver Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding. G.J.E. Rutten
1 Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding G.J.E. Rutten Introductie In dit artikel wil ik het argument van de Amerikaanse filosoof Alvin Plantinga voor
Nadere informatieTI1300: Redeneren en Logica, Practicum 2 Deadline: 1 oktober 2010, 10:45 uur
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica TI1300: Redeneren en Logica, Practicum 2 Deadline: 1 oktober 2010, 10:45 uur Introductie In deze practicumopgave komt de
Nadere informatieWie A zegt moet B zeggen
Logica in actie H O O F D S T U K 3 Wie A zegt moet B zeggen Logici ontwerpen niet alleen systemen om bestaande vormen van redeneren te analyseren, ze bestuderen ook de eigenschappen van die systemen op
Nadere informatieLogica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2
Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2 2.1 Geef de volgende zinnen weer in propositionele notatie: i Als de bus niet komt, komen de tram en de trein We voeren de volgende
Nadere informatieRelaties en Functies
Logica voor Informatica Relaties en Functies Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Geordende paren, productverzameling, relatie (a, b) geordend paar (a, b) = (c, d) a =
Nadere informatieTer Leering ende Vermaeck
Ter Leering ende Vermaeck 15 december 2011 1 Caleidoscoop 1. Geef een relatie op Z die niet reflexief of symmetrisch is, maar wel transitief. 2. Geef een relatie op Z die niet symmetrisch is, maar wel
Nadere informatieInleiding Wiskundige Logica
Inleiding Wiskundige Logica Yde Venema 2015/2016 c YV 2016 Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, NL 1098XH Amsterdam E-mail: yvenema@uvanl Voorwoord
Nadere informatieFormalisering van Gettier-voorbeelden door Rechtvaardigingslogica
Formalisering van Gettier-voorbeelden door Rechtvaardigingslogica Jop Brandenburg 3963772 Kunstmatige Intelligentie 3 juli 2016 7.5 ECTS Begeleider Rosalie Iemhoff Tweede beoordelaar Michael Moortgat Samenvatting
Nadere informatieRAF belangrijk te onthouden
RAF belangrijk te onthouden Auteur: Daan Pape Hoofdstuk 1 symbool omschrijving lees als negatie (ontkenning) p niet p het is niet zo dat p conjunctie p q p en q disjunctie p q p of q implicatie p q als
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 30 april 2007 INLEIDING Kennisrepresentatie & Redeneren Week1: Introductie
Nadere informatieHoofdstuk 4. In dit hoofdstuk wordt een aantal uiteenlopende eigenschappen van de propositielogica
Hoofdstuk 4 Stellingen over de Propositielogica In dit hoofdstuk wordt een aantal uiteenlopende eigenschappen van de propositielogica behandeld. In x4.1 wordt het begrip meta-stelling gentroduceerd en
Nadere informatieBewijzen en Redeneren voor Informatici
Bewijzen en Redeneren voor Informatici Reinoud Berkein 17 januari 2018 Samenvatting Een korte samenvatting van definities uit de cursus. Hoofdstuk 1 Doorsnede: De verzamerling die alle elementen bevat
Nadere informatieGetallensystemen, verzamelingen en relaties
Hoofdstuk 1 Getallensystemen, verzamelingen en relaties 1.1 Getallensystemen 1.1.1 De natuurlijke getallen N = {0, 1, 2, 3,...} N 0 = {1, 2, 3,...} 1.1.2 De gehele getallen Z = {..., 4, 3, 2, 1, 0, 1,
Nadere informatieSemantiek (2IT40) Jos Baeten. HG 7.19 tel.: Hoorcollege 3 (12 april 2007)
Jos Baeten josb@wintuenl http://wwwwintuenl/~josb/ HG 719 tel: 040 247 5155 Hoorcollege 3 (12 april 2007) Voorbeeld [Bewijstechniek 2 niet altijd succesvol] Executie van commands is deterministisch: c
Nadere informatieSemantiek van predicatenlogica en Tractatus
Logica en de Linguistic Turn 2012 Semantiek van predicatenlogica en Tractatus Maria Aloni ILLC-University of Amsterdam M.D.Aloni@uva.nl 1/11/12 Plan voor vandaag 1. Predicatenlogica: semantiek 2. Tractatus:
Nadere informatieIII.2 De ordening op R en ongelijkheden
III.2 De ordening op R en ongelijkheden In de vorige paragraaf hebben we axioma s gegeven voor de optelling en vermenigvuldiging in R, maar om R vast te leggen moeten we ook ongelijkheden in R beschouwen.
Nadere informatieStelling. SAT is NP-compleet.
Het bewijs van de stelling van Cook Levin zoals gegeven in het boek van Sipser gebruikt niet-deterministische turing machines. Het is inderdaad mogelijk de klasse NP op een alternatieve wijze te definiëren
Nadere informatieOefening 2.2. Welke van de volgende beweringen zijn waar?
Oefeningen op hoofdstuk 2 Verzamelingenleer 2.1 Verzamelingen Oefening 2.1. Beschouw A = {1, {1}, {2}}. Welke van de volgende beweringen zijn waar? Beschouw nu A = {1, 2, {2}}, zelfde vraag. a. 1 A c.
Nadere informatieInleiding Analyse 2009
Inleiding Analyse 2009 Inleveropgaven A). Stel f(, y) = In (0, 0) is f niet gedefinieerd. We bestuderen y2 2 + y 4. lim f(, y). (,y) (0,0) 1. Bepaal de waarde van f(, y) op een willekeurige rechte lijn
Nadere informatieEnkele valkuilen om te vermijden
Enkele valkuilen om te vermijden Dit document is bedoeld om per onderwerp enkele nuttige strategieën voor opgaven te geven. Ook wordt er op een aantal veelgemaakte fouten gewezen. Het is géén volledige
Nadere informatieWiskundige beweringen en hun bewijzen
Wiskundige beweringen en hun bewijzen Analyse (en feitelijk de gehele wiskunde) gaat over het bewijzen van beweringen (proposities), d.w.z. uitspraken waaraan de karakterisering waar of onwaar toegekend
Nadere informatiePropositionele logica
Logic is the beginning of wisdom, not the end. Captain Spock, Star Trek VI (1991) Hoofdstuk 1 ropositionele logica 1.1 Uitspraken Het begrip uitspraak. We geven hier geen definitie van het begrip uitspraak
Nadere informatieBespreking Examen Analyse 1 (Augustus 2007)
Bespreking Examen Analyse 1 (Augustus 2007) Vooraf: Zoals het stilletjes aan een traditie is geworden, geef ik hier bedenkingen bij het examen van deze septemberzittijd. Ik zorg ervoor dat deze tekst op
Nadere informatieWiskunde. Verzamelingen, functies en relaties. College 2. Donderdag 3 November
Wiskunde Verzamelingen, functies en relaties College 2 Donderdag 3 November 1 / 17 Equivalentierelaties Def. Een relatie R heet reflexief als x xrx. R heet transitief als x y z (xry yrz xrz). R heet symmetrisch
Nadere informatieTentamen Grondslagen van de Wiskunde B met uitwerkingen
Tentamen Grondslagen van de Wiskunde B met uitwerkingen 8 november 2012, 14:00 17:00 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is het totaal
Nadere informatieSemantiek 1 college 10. Jan Koster
Semantiek 1 college 10 Jan Koster 1 Vandaag Vorige keer: conceptuele structuur en semantische decompositie Vandaag: inleiding in de formele semantiek Gebruikt notaties uit formele logica plus de daar gehanteerde
Nadere informatieHoofdstuk 3. behandeld. In de paragrafen 3.1 en 3.2 worden de noties valuatie, model en
Hoofdstuk 3 Semantiek van de Propositielogica In dit hoofdstuk wordt de semantiek (betekenistheorie) van de propositielogica behandeld. In de paragrafen 3.1 en 3.2 worden de noties valuatie, model en logisch
Nadere informatieTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN
TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN Vakcode: 8D. Datum: Donderdag 8 juli 4. Tijd: 14. 17. uur. Plaats: MA 1.44/1.46 Lees dit vóórdat je begint! Maak iedere opgave op een apart vel. Schrijf je
Nadere informatieBeslisbare talen (1) IN2505-II Berekenbaarheidstheorie. Beslisbare talen (2) Beslisbare talen (3) De talen: College 7
Beslisbare talen (1) College 7 Algoritmiekgroep Faculteit EWI TU Delft 10 mei 2009 De talen: A DFA = { M, w M is een DFA die w accepteert} A NFA = { M, w M is een NFA die w accepteert} E DFA = { M M is
Nadere informatieRiemann-Roch voor grafen
T.J. Sijpesteijn Riemann-Roch voor grafen Bachelorscriptie Scriptiebegeleider: dr. T.C. Streng Datum bachelorexamen: juni 2016 Mathematisch Instituut, Universiteit Leiden Inhoudsopgave 1 Inleiding 2 1.1
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 15 februari 2009 RELATIES & GRAFEN Discrete Structuren Week 2: Relaties en Grafen
Nadere informatieIntelligente Systemen & Logica. Architectuur. Intelligent Systeem als Logische Theorie. Geschiktheid van Logica
Intelligente Systemen & Logica Architectuur Intelligent systeem als kennissysteem: kennisrepresentatie automatisch redeneren/inferentie acquisitie van kennis modelleren communicatie (systeem-gebruikersdialoog)
Nadere informatieVoortgezette Logica, Week 2
Voortgezette Logica, Week 2 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 164, 030-2535575 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier
Nadere informatieHoorcollege Logica. Hans-Dieter A. Hiep
Hoorcollege Logica Hans-Dieter A. Hiep Agenda 1. Horn-formules 2. Vervulbaarheidsprobleem Validiteit en vervulbaarheid Gegeven een formule φ in de (klassieke) propositielogica. Definitie φ is valide voor
Nadere informatieII.3 Equivalentierelaties en quotiënten
II.3 Equivalentierelaties en quotiënten Een belangrijk begrip in de wiskunde is het begrip relatie. Een relatie op een verzameling is een verband tussen twee elementen uit die verzameling waarbij de volgorde
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 22 maart 2009 ONEINDIGHEID
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 22 maart 2009 ONEINDIGHEID. Paragraaf 13.3. De paradox van de oneindigheid ligt slechts
Nadere informatieDe Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica
De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica College 7: Resolutie Tomas Klos Algoritmiek Groep De Resolutiemethode De resolutiemethode is een methode waarmee je
Nadere informatieBegrenzing van het aantal iteraties in het max-flow algoritme
Begrenzing van het aantal iteraties in het max-flow algoritme Het oplossen van het maximum stroom probleem met behulp van stroomvermeerderende paden werkt, maar het aantal iteraties kan aardig de spuigaten
Nadere informatieWiskunde logica Werkcollege 1
Wiskunde logica Werkcollege 1 Jolien Oomens 10 februari 2017 Opgave 2 Geef een voorbeeld van een verzameling en een relatie die (a) reflexief maar niet transitief is; (b) reflexief en transitief maar niet
Nadere informatieNotatie van verzamelingen. Lidmaatschap. Opgave. Verzamelingen specificeren
Overzicht TI1300: Redeneren en Logica College 10: Verzamelingenleer Tomas Klos Algoritmiek Groep Colleges 1 2: Bewijstechnieken Colleges 3 9: Propositielogica Vandaag en morgen: Verzamelingenleer Colleges
Nadere informatieVerzamelingen deel 3. Derde college
1 Verzamelingen deel 3 Derde college rekenregels Een bewerking op A heet commutatief als voor alle x en y in A geldt dat x y = y x. Een bewerking op A heet associatief als voor alle x, y en z in A geldt
Nadere informatie1. TRADITIONELE LOGICA EN ARGUMENTATIELEER
Inhoud Inleidend hoofdstuk 11 1. Logica als studie van de redenering 11 2. Logica als studie van deductieve redeneringen 13 3. Logica als formele logica Het onderscheid tussen redenering en redeneringsvorm
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 23 februari 2009 GRAFEN & BOMEN Paragrafen 6.1-6.4 Discrete Structuren Week 3 en 4:
Nadere informatie