Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur
|
|
- Geert de Graaf
- 6 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur Hoofdstuk 2, tot en met pagina 41. Maak opdrachten 1,2,3,4,5,7,9,10,11,15,16 *1 Met "welgevormd" wordt bedoeld dat de formule toegestaan is volgens de syntactische regels van de taal. Een onwelgevormde formule heeft geen betekenis, dus kan niet waar of onwaar zijn. Een welgevormde formule kan al dan niet een bewering zijn; als het een bewering is kan hij waar zijn of onwaar. Neem als voorbeeld de rekenkunde. De formule " = : 3" is onwelgevormd. "2 + 2" is welgevormd, maar geen bewering. "2 + 2 = 5" en "2 + 2 = 4" zijn allebei welgevormde beweringen, één onwaar en één waar. De syntactische regels voor de verzamelingenleer, die je hier moet toepassen, moet je afleiden uit de bespreking op pagina 32. *4 De bedoeling is dat je een regel formuleert die zo precies mogelijk voorschrijft hoe je die symbolen moet gebruiken om een welgevormde formule te maken. *5 De bedoeling is dat je in een formule van de verzamelingenleer de verzameling noteert waar het woord boerin (in ons voorbeeld-model) naar verwijst. *7 Vertaal de formules in (2) op pagina 31 naar het Nederlands. *9 Stel dat gevraagd wordt om te laten zien dat A V H A. Dat kunt u als volgt doen: A V = {d,e} {c,e} = {e} H A = {a,b} {d,e} = {a,b,d,e} {e} {a,b,d,e} Ga op soortgelijke wijze te werk om vraag 9 te beantwoorden. *10/11. De bedoeling is dat je de omschreven verzamelingen noteert met accolade-notatie, zoals in *10 voorgedaan voor B/O. 1
2 Hoofdstuk 2 tot en met pagina 59. Maak opdrachten 18, 19, 20, 21, 23, 27, 28, 30, 31, 33. *18. De bedoeling is dat je elke zin vertaalt naar de propositielogica (waarbij je zelf een vertaalsleutel geeft die elke atomaire propositie vertaalt naar een propositieletter) en dat je vervolgens van de vertaling de volledige waarheidcondities noteert zoals in (19). Voorbeeld: h. Erica is geen paard en Dirk loopt vertaalsleutel: Erica is een paard ~> p Dirk loopt ~> q vertaling: (~p & q) waarheidcondities: zie (19). *18e. Vervang deze door: e. Caroline is vrouwelijk en Caroline is vrouwelijk (Let op!) *21 De bedoeling is dat je eerst (21c) en (21d) vertaalt naar de propositielogica (maak voor de 2 formules gebruik van dezelfde vertaalsleutel!). Vervolgens moet je van die 2 formules aantonen dat ze logisch equivalent zijn. Dat doe je door een waarheidstafel te tekenen waarin je beide formules ontleedt; als de formules equivalent zijn moet je voor beide formules op dezelfde kolom enen en nullen uitkomen. *23 Een formule is logisch geldig als hij in elk model waar is; dat wil zeggen als hij een waarheidstafel met alleen maar enen oplevert. Het "toepassen op B" mag je achterwege laten. *27. Hint: als 2 atomaire proposities een verschillende betekenis hebben, moeten we ze in de propositielogica natuurlijk met 2 verschillende propositieletters vertalen. Maar als 2 atomaire proposities dezelfde betekenis hebben (ook al klinken ze in het Nederlands anders) dan mogen we ze met dezelfde propositieletter vertalen. *30/31. "P impliceert Q" betekent: "Q volgt logisch uit P", anders gezegd: "als P waar is, dan moet het wel zo zijn dat Q ook waar is", nog anders gezegd: "je kunt je geen situatie in de werkelijkheid voorstellen waarin P waar is, maar Q niet". Als je dus wilt aantonen dat P niet Q impliceert, dan kun je dat doen door een situatie te schetsen waarin P waar is, maar Q niet. *33. Probeer voor elke zin een presuppositie en een implicatie te bedenken. Een presuppositie van een zin is, kort gezegd, een vooronderstelling van de zin, zodanig dat als die vooronderstelling niet waar is, de zin noch waar, noch onwaar is maar betekenisloze onzin. Voor uitgebreide uitleg over presupposities, zie het artikel van Potts. 2
3 Hoofdstuk 3 tot en met pagina 74 opdrachten 1-5, 8-10, 13, *1. Bedenk wat het predikaat is in a., en hoeveel-plaatsig dat predikaat is; doe hetzelfde voor b. *2. Bedenk wat het predikaat is in a., en hoeveel-plaatsig dat predikaat is; doe dan hetzelfde voor c.; doe dan hetzelfde voor b. De bedoeling is niet dat je het goede antwoord vindt maar dat je ziet wat het probleem is. *5. Tegen het eind van de cursus hebben we dit probleem opgelost. *8. De bedoeling is dat je elke zin vertaalt naar de predikatenlogica en dat je vervolgens van elke vertaling de waarheidscondities geeft. Bij het geven van die waarheidscondities moet je een stap verder gaan dan bijvoorbeeld in (18) wordt voorgedaan; je moet ook (14) toepassen. Bijvoorbeeld: g. Erica is ziek en Dirk is groot vertaling: Z(e) & G(d) waarheidcondities: V M (Z(e) & G(d) ) = 1 desda V M (Z(e)) = 1 en V M (G(d))=1 = 1 desda I(e) I(Z) en I(d) I(G). *13. Het antwoord is triviaal: dit is helemaal geen uitdrukking in P, de taal van de predikatenlogica, maar van de taal van de verzamelingenleer. Betere vraag is: waarom is het een onwelgevormde uitdrukking van de taal van de verzamelingenleer? *16. De bedoeling is dat je elke zin vertaalt naar de predikatenlogica, en vervolgens van elke vertaling de waarheidscondities noteert, net zoals bij vraag *8, maar nu ook gebruik makend van regel (25), die de betekenis geeft van atomaire proposities met meerplaatsige predikaten. *17. Het is voldoende om de vertalingen te geven naar de predikatenlogica; de waarheidscondities kun je achterwege laten. Bedenk wel dat als een zin ambigu is, er meerdere vertalingen moeten worden gegeven, één voor elke mogelijke interpretatie van de zin. 3
4 Hoofdstuk 4 tot en met pagina 128 opdrachten 4, 7, 8, 10-12, 14, 17, 18, 19, 21, 25, 27, 29. *10. Ga ervan uit dat een formule waarin een variabele voorkomt die ongebonden is (dus, die niet bij een kwantor hoort) onwelgevormd is (dus geen waarheidswaarde kan hebben). *17. Voor het gemak kun je op mijn werktafel staan als een één-plaatsig predikaat opvatten, laten we zeggen St. Dus Dirk staat op mijn werktafel vertalen we als St(d). Bedenk goed dat een formule van de vorm (p & q r) onwelgevormd is: er ontbreken haakjes. Bedenk steeds goed waar de haakjes moeten staan. *18. Herinner je dat B de boerderij uit hoofdstuk 2 is. *19. Vervang zin (35b) door: (35b') er zat een jongen op iedere ezel Geef voor elke lezing van de zinnen in (35), naast een parafrase, ook de vertaling in de predikatenlogica. *25. Schrap uit de instructie de passage waarbij het domein uit alle mensen bestaat. *29. Voorbeeld van het gebruik van de iota-operator: je kunt de man loopt vertalen als L(ιxMa(x)). 4
5 Hoofdstuk 6 tot en met pagina 205 opdrachten 2-7, en extra opdrachten (zie onder). *2. De bedoeling is dat je in deze expressies een functie ontdekt, en het argument (of "origineel") waarop die functie wordt toegepast, en het resultaat van de toepassing van die functie op dat argument (de "functiewaarde", of het "beeld"). Voorbeeld: g. Trix is de moeder van Alex functie: moeder van argument: Alex functiewaarde: moeder_van(alex) = Trix Sla 2.f over. *3. De bedoeling is dat je de karakteristieke functies tekent van de verzamelingen H en M (uit de boerderij van hoofdstuk 2) (sla verzameling O over). Noem die functies f H en f M. Noteer ze zoals in figuur 4 op pagina 197. *5. In *5a is T een eerste-orde predikaat, net als R en S. *6. De bedoeling van deze vraag is dat je formules schrijft met hoofdletter-variabelen, zoals in (8). Vertaal daartoe eerst de zinnen naar de predikatenlogica en vervang vervolgens een predikaat door een variabele, en zorg dat die variabele gebonden wordt door een kwantor. De resulterende formule betekent natuurlijk iets anders dan de zin waar je mee begon; vertaal de resulterende formule terug naar het Nederlands. Voorbeeld: e. Erika loopt vertaling: L(e) formule met variabele in plaats van het predikaat: XX(e) vertaling naar het Nederlands: Erika heeft een eigenschap (of: Erika doet iets) *7. Het is hier niet de bedoeling dat je voorbeelden probeert te bedenken van deze types; je moet alleen nagaan of de types goed zijn opgeschreven. Extra opdrachten. A. Bij elk van de volgende types: leg in woorden uit naar wat voor soort ding in het model een expressie verwijst als-ie van dat type is, en probeer een voorbeeld te geven van een expressie in het Nederlands met dat type. 5
6 Voorbeeldantwoord bij a.: als een expressie dit type heeft, dan verwijst hij naar een functie van individuen naar waarheidswaarden (d.w.z. hij verwijst naar een verzameling individuen); bijv. paard. a. <e,t> b. <e,<e,t>> c. <t,t> d. <<e,t>,<e,t>> e. <<e,t>,e> B. Zij gegeven een type-logische taal L, met de volgende constanten: a e, b e, P <e,t>, Q <e,t>, R <e,<e,t>>, H <<e,t>,<e,t>>, N <t,t>, V <e,e> Bij elk van de volgende expressies van L: reken uit wat het type van de hele expressie is, of geef aan waarom de expressie onwelgevormd is. Voorbeeldantwoord bij a.: type t. a. P(a) b. R(a) c. (R & P) d. P e. H(P) f. H(R) g. H(R(a)) h. N(~P(b)) i. V(a) j. R(a)(V(b)) C. Beantwoord vraag *5 op p. 199 van het boek nogmaals, nu in termen van types. Dus stel eerst vast wat de types zijn van de gebruikte constanten (bijvoorbeeld: gegeven is dat S een "eerste-orde predikaat" is, en in de typetheorie is dat een uitdrukking van het type <e,t>), en reken vervolgens op basis van de types uit welke formules (on)welgevormd zijn. 6
7 Hoofdstuk 6 tot en met pagina 211 opdrachten 8, 10, 11, 13, en extra opdrachten *8. De bedoeling is dat je de zinnen eerst naar de predikatenlogica vertaalt, en dat je vervolgens een van de constanten vervangt door een variabele, en zorg dat die variabele gebonden wordt door een λ. De resulterende formule betekent natuurlijk iets anders dan de zin waar je mee begon; vertaal de resulterende formule terug naar het Nederlands. Voorbeeld: e. Erika loopt of roskamt Albert vertaling: ( L(e) V Ro(e,a) ) λ-formule: λx( L(x) V Ro(x,a) ) vertaling naar het Nederlands: loopt of roskamt Albert. *11. Vertaal de formule ook naar het Nederlands (G staat voor is gezond). *13. Met "semantisch interpreteren" wordt gewoon bedoeld "bedenken wat het betekent". Doe dat, door de formule naar het Nederlands te vertalen. Extra opdrachten A. Bereken het type. Gebruik de regels in de definitie van de typenlogica, met name (regels 2 en 6 van) de syntaxis. Gegeven is L <e,t> en F <e,t> en X <e,t>, en x e en a e en b e, en Ro <e,<e,t>>. Voorbeeld: a. λx[l(x) & Z(x)] De formule is als volgt opgebouwd. L <e,t> toegepast op x e geeft L(x) van type t volgens regel 2. Z <e,t> toegepast op x e geeft Z(x) van type t volgens regel 2. Regel 4 verbindt deze tot [L(x) & Z(x)] van type t. Toepassing van regel 6, met gebruikmaking van x e geeft λx[l(x) & Z(x)] van type <e,t>. Oftewel: λx [ L (x) & Z (x) ] e <e,t> e <e,t> e t t t <e,t> b. λxl(x) 7
8 c. λx~l(x) d. Ro(a,b) [N.B. dat is een afkorting van Ro(b)(a) ] e. Ro(a) f. λxλyr(x,y) g. λx y[ L(x) Ro(x,y) ] h. λx y[ L(x) Ro(x,y) ](b) i. λx x[ L(x) & X(x) ] B. Vertaal naar het Nederlands. Pas zo mogelijk eerst lambda-conversie toe. Bedenk dat de vertaling niet per se een hele zin hoeft te zijn. Als je een λ-formule moeilijk vindt om te lezen is het meestal een handige methode om de λ-formule ergens op toe te passen en te bekijken wat het resultaat dan betekent; dat vertelt je meestal de betekenis van de λ-formule waar je mee begon. Voorbeeld: a. λx[ L(x) F(x) ] (waarbij lopen ~> L en fietsen ~> F) Toegepast op a levert dit op: λx[ L(x) F(x) ](a) = (door λ-conversie) = [ L(a) F(a) ]. Dat betekent Albert loopt of fietst, dus λx[ L(x) F(x) ] betekent loopt of fietst. b. λx[ L(x) & F(x) ] c. λx~f(x) d. λx[ L(x) ~F(x)](a) [N.B. eerst λ-conversie doen, dan vertalen] e. λyλx[ Ma(x) & Ro(x,y)](b) f. λx x[ Ma(x) X(x)](F) g. λx x[ Ma(x) X(x)] [N.B. dat is f. maar zonder de toepassing op (F) ] h. λyλx x[ Y(x) X(x)](Ma) i. λyλx x[ Y(x) X(x)] [N.B. dat is h. maar zonder de toepassing op (Ma) ] C. Vertaal naar de typenlogica met λ. Als je het moeilijk vindt om een losse woordgroep (een NP of VP bijvoorbeeld) te vertalen, dan is het meestal een handige methode om eerst een eenvoudige zin te vertalen waar die woordgroep in voorkomt, en dan te abstraheren over wat je hebt toegevoegd. Voorbeeld: a. Loopt niet Albert loopt niet ~> ~L(a). Abstraheren over Albert (vervang a door x en bindt x met λx) levert op λx~l(x); dat is de vertaling van loopt niet. 8
9 b. niet c. wordt door albert geroskamd d. loopt, en fietst niet e. roskamt een paard f. een man g. iedere slimme vrouw 9
Logica 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 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 informatieWat? Betekenis 2: lambda-abstractie. Boek. Overzicht van dit college. Anna Chernilovskaya. 7 juni 2011
Wat? Betekenis 2: lambda-abstractie Anna Chernilovskaya 7 juni 2011 Vorige keer: Predicaatlogica Vertaling van zinnen Deze keer: Predicaatlogica uitbreiding Vertaling van zinnen in details Overzicht van
Nadere informatieBetekenis I: Semantiek
Betekenis I: Semantiek Marieke Schouwstra 21 mei De studie van betekenis Semantiek: de studie van betekenis in taal 17.1, 17.2, 17.3, vandaag Pragmatiek: de studie van betekenis in taalgebruik delen van
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 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 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 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 informatieOpdrachten Werkcollege 4
1. Vertaling in predicatenlogica Opdrachten Werkcollege 4 Vertaal de volgende zinnen naar de eerste orde predicatenlogica: Jan of Piet studeert wiskunde Moskou is een stad in Rusland Geen student die 5
Nadere informatieCollege Logica voor CKI
College Logica voor CKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 15 oktober, 2012 1 Overview 2 Overview 2 Overview 2 Overview 3 Syntaxis De eerste ronde: Constanten:
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 informatieBetekenis 2: lambda-abstractie
Betekenis 2: lambda-abstractie Anna Chernilovskaya 4 June 2009 Wat? Vorige keer: Predicaatlogica Vertaling van zinnen Deze keer: Predicaatlogica uitbreiding Vertaling van zinnen in details Overzicht van
Nadere informatieMaak automatisch een geschikte configuratie van een softwaresysteem;
Joost Vennekens joost.vennekens@kuleuven.be Technologiecampus De Nayer We zijn geïnteresseerd in het oplossen van combinatorische problemen, zoals bijvoorbeeld: Bereken een lessenrooster die aan een aantal
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 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 informatieOplossingen oefeningen logica en eindige automaten 12 december Het bestand oplnoef12dec.zip bevat de.sen en.fa bestanden met de oplossingen.
Oplossingen oefeningen logica en eindige automaten 12 december 2003 Het bestand oplnoef12dec.zip bevat de.sen en.fa bestanden met de oplossingen. Oefening 1 Deel 1: Logica Vertaal de volgende zinnen in
Nadere informatieSemantiek 1 college 4. Jan Koster
Semantiek 1 college 4 Jan Koster 1 Uitgangspunt sinds vorige week Semantiek is representationeel (en niet referentieel), gebaseerd op interpretaties van sprekers en hoorders Geen scherpe scheiding tussen
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 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 informatieFormeel Denken. Herfst 2004
Formeel Denken Herman Geuvers Deels gebaseerd op het herfst 2002 dictaat van Henk Barendregt en Bas Spitters, met dank aan het Discrete Wiskunde dictaat van Wim Gielen Herfst 2004 Contents 1 Propositielogica
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 informatieOpdrachten Tarski s World
Opdrachten Tarski s World Logika thema 4 13 april 2004 1 Propositielogika 1.1 Atomaire proposities in Tarski s world Open de wereld, wittgens.sen, en het bestand met beweringen, wittgens.sen 1. Ga van
Nadere informatieBoommethode. TI1300: Redeneren en Logica. Oefenen, wat anders? Aanvullende regels (Logica, tabel 11.1, p. 159) A (B C),A C = B
Boommethode Is deze redenering logisch geldig? TI1300: Redeneren en Logica College 15: Boommethode en Resolutie Tomas Klos Algoritmiek Groep A (B C),A C = B oftewel: is deze verzameling vervulbaar? { A
Nadere informatieMeer oefenen. TI1300: Redeneren en Logica. Vertalen. Meerdere wegen leiden naar Rome
Meer oefenen TI1300: Redeneren en Logica College 13: Synta en Semantiek van de Predicatenlogica Tomas Klos Algoritmiek Groep Vertaal: Niet alle paarden zijn bruin Geef ook je vertaalsleutel (welke predicaten,
Nadere informatiePredikaatlogica, modellen en programma s
Logica in actie H O O F D S T U K 4 Predikaatlogica, modellen en programma s De taal van de propositielogica is voor veel toepassingen te arm. Dat bleek al in de Klassieke Oudheid, waar logici allerlei
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 informatieNieuwe redeneringen. TI1300: Redeneren en Logica. Waar gaan deze uitdrukkingen over? Een nieuwe taal
Nieuwe redeneringen TI1300: Redeneren en Logica College 12: Predicatenlogica Tomas Klos Algoritmiek Groep Alle mensen zijn sterfelijk Socrates is mens Socrates is sterfelijk Niet propositie-logisch geldig,
Nadere informatieInleiding Logica voor CKI, 2013/14
Inleiding Logica voor CKI, 2013/14 Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 14 oktober, 2013 1 Overview 2 Overview 2 Overview 2 Overview 2 Overview 2 Overview 3 Wegens
Nadere informatieLogica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica predikatenlogica Syntax van predikatenlogica Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Redenering in Propositie Logica Als Jan zijn medicijnen neemt
Nadere informatieLogic for Computer Science
Logic for Computer Science 07 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vrijdag Aanstaande vrijdag is geen hoorcollege of werkcollege. De tussentoets is uitgesteld tot volgende week dinsdag.
Nadere informatieInhoud leereenheid 1. Inleiding. Introductie 13. Leerkern 13. 1.1 Wat is logica? 13 1.2 Logica en informatica 13
Inhoud leereenheid 1 Inleiding Introductie 13 Leerkern 13 1.1 Wat is logica? 13 1.2 Logica en informatica 13 12 Leereenheid 1 Inleiding I N T R O D U C T I E Studeeraanwijzing Deze leereenheid is een leesleereenheid.
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 informatiePropositielogica. Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn. 24 augustus Universiteit Antwerpen
Propositielogica Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn Universiteit Antwerpen 24 augustus 2006 Propositionele connectoren Negatie Conjunctie Disjunctie Implicatie Equivalentie Propositionele
Nadere informatieCaleidoscoop: Logica
Caleidoscoop: Logica Non impeditus ab ulla scientia K. P. Hart Faculteit EWI TU Delft Delft, 3 October, 2007 Overzicht 1 2 Negaties We gaan rekenen met proposities (beweringen). Bedenker: George Boole
Nadere informatieFuncties deel 1. Vijfde college
3 Functies deel 1 Vijfde college 1 Ch.3 Functions and Algorithms Hoofdstuk 3 uit Schaum gaat over functies en algoritmen. Het gedeelte over algoritmen ( 3.8 en 3.9) komt uitgebreid aan de orde bij toekomstige
Nadere informatieLogica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica predikatenlogica Syntax van predikatenlogica Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Syllogistische redeneringen Syllogistische redeneringen zoals
Nadere informatieLogica voor Informatica
Logica voor Informatica 13 Prolog Wouter Swierstra University of Utrecht 1 Programmeren met Logica Propositielogica is niet geschikt voor programmeren er is nauwlijkst iets interessants uit te drukken.
Nadere informatieOntwerp van Algoritmen: opgaven weken 3 en 4
0 Ontwerp van Algoritmen: opgaven weken 3 en 4 Voor alle volgende opgaven over programmaatjes geldt de spelregel: formuleer altijd eerst alle bewijsverplichtingen. selectie 45. (tail distribution)(prima
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 informatieGaap, ja, nog een keer. In één variabele hebben we deze formule nu al een paar keer gezien:
Van de opgaven met een letter en dus zonder nummer staat het antwoord achterin. De vragen met een nummer behoren tot het huiswerk. Spieken achterin helpt je niets in het beter snappen... 1 Stelling van
Nadere informatieInleiding: Semantiek
Betekenis 1 Inleiding: Semantiek Semantiek: de studie van betekenis in taal Doel: modelleren hoe de betekenis van een zin of woordgroep is opgebouwd uit de betekenissen van de woorden. Inleiding: Drie
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 informatieExamen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde. vrijdag 31 januari 2014, 8:30 12:30. Auditorium L.00.07
Examen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde vrijdag 31 januari 2014, 8:30 12:30 Auditorium L.00.07 Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
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 informatieCollege 4: Gegeneraliseerde Kwantoren
Semantiek CKI/CAI Utrecht, herfst 2008 College 4: Gegeneraliseerde Kwantoren Onderwerpen: NP denotaties als verzamelingen van verzamelingen, monotoniciteit bij kwantoren, determiner denotaties als relaties
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 informatieI.3 Functies. I.3.2 Voorbeeld. De afbeeldingen f: R R, x x 2 en g: R R, x x 2 zijn dus gelijk, ook al zijn ze gegeven door verschillende formules.
I.3 Functies Iedereen is ongetwijfeld in veel situaties het begrip functie tegengekomen; vaak als een voorschrift dat aan elk getal een ander getal toevoegt, bijvoorbeeld de functie fx = x die aan elk
Nadere informatiePredikatenlogica in Vogelvlucht
in Vogelvlucht Albert Visser Filosofie, Faculteit Geesteswetenschappen, Universiteit Utrecht 10 oktober, 2013 1 Overview 2 Overview 2 Overview 2 Overview 3 In de propositielogica behandelen we de interne
Nadere informatieLogica in het (V)WO. Barteld Kooi
Logica in het (V)WO Barteld Kooi Wie ben ik? Bijzonder hoogleraar logica en argumentatietheorie Ik geef al meer dan tien jaar colleges logica aan de RuG voor de opleidingen wijsbegeerte, wiskunde, (alfa-)informatica,
Nadere informatieBekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { De tweede vergelijking van de eerste aftrekken geeft:
Determinanten Invoeren van het begrip determinant Bekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { a x + b y = c a 2 a 2 x + b 2 y = c 2 a Dit levert op: { a a 2 x
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 informatieopgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): 2 a 2.
opgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): ℵ 0 #A, B = {b 0,..., b n 1 } voor een zeker natuurlijk getal
Nadere informatie1 Eigenwaarden en eigenvectoren
Eigenwaarden en eigenvectoren Invoeren van de begrippen eigenwaarde en eigenvector DEFINITIE Een complex (of reëel getal λ heet een eigenwaarde van de n n matrix A als er een vector x is met Ax = λx Dan
Nadere informatieJe hebt twee uur de tijd voor het oplossen van de vraagstukken. µkw uitwerkingen. 12 juni 2015
Je hebt twee uur de tijd voor het oplossen van de vraagstukken. Elk vraagstuk is maximaal 10 punten waard. Begin elke opgave op een nieuw vel papier. µkw uitwerkingen 12 juni 2015 Vraagstuk 1. We kunnen
Nadere informatieInhoudsopgave. Relaties geordend paar, cartesisch product, binaire relatie, inverse, functie, domein, bereik, karakteristieke functies
Inhoudsopgave Verzamelingen element, Venn-diagram, singleton, lege verzameling, gelijkheid, deelverzameling, machtsverzameling, vereniging, doorsnede, verschilverzameling Relaties geordend paar, cartesisch
Nadere informatieFormeel Denken. October 20, 2004
Formeel Denken Herman Geuvers Deels gebaseerd op het herfst 2002 dictaat van Henk Barendregt en Bas Spitters, met dank aan het Discrete Wiskunde dictaat van Wim Gielen October 20, 2004 Contents 1 Predicatenlogica
Nadere informatie3 De stelling van Kleene
18 3 De stelling van Kleene Definitie 3.1 Een formele taal heet regulier als hij wordt herkend door een deterministische eindige automaat. Talen van de vorm L(r) met r een reguliere expressie noemen we
Nadere informatieDe onvolledigheidsstelling van Gödel
De onvolledigheidsstelling van Gödel Wouter Zomervrucht, s0713317 26 maart 2009 Artikel voor het vak LPC Onderwerp: de eerste onvolledigheidsstelling van Gödel Inleiding In het begin van de twintigste
Nadere informatieVerzamelingen. Hoofdstuk 5
Hoofdstuk 5 Verzamelingen In de meest uiteenlopende omstandigheden kan het handig zijn om een stel objecten, elementen, of wat dan ook, samen een naam te geven. Het resultaat noemen we dan een verzameling.
Nadere informatieInleiding Logica voor CKI
Inleiding Logica voor CKI Albert Visser Philosophy, Faculty Humanities, Utrecht University 17 oktober, 2013 1 Overview 2 Overview 2 Overview 2 Overview 3 Signatuur Een signatuur Σ is een rijtje Pred, Con,
Nadere informatieGegeneraliseerde Kwantoren
Semantiek CKI Utrecht, lente 2012 Gegeneraliseerde Kwantoren Onderwerpen: NP denotaties als verzamelingen van verzamelingen, monotoniciteit bij kwantoren, determiner denotaties als relaties tussen verzamelingen,
Nadere informatiePropositielogica, waarheid en classificeren
Logica in actie H O O F D S T U K 2 Propositielogica, waarheid en classificeren We hebben al gezien dat voor een logicus het verhevene heel dicht kan liggen bij het alledaagse. Misschien beter gezegd:
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 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 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 informatie2. Syntaxis en semantiek
2. Syntaxis en semantiek In dit hoofdstuk worden de begrippen syntaxis en semantiek behandeld. Verder gaan we in op de fouten die hierin gemaakt kunnen worden en waarom dit in de algoritmiek zo desastreus
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 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 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 informatieProposities. Hoofdstuk 2
Hoofdstuk 2 Proposities In de wiskunde en in de informatica, en ook in veel andere disciplines, is er behoefte aan redeneren. Om dat goed te kunnen doen moet men allereerst beschikken over een arsenaal
Nadere informatiePropositielogica Het maken van een waarheidstabel
Informatiekunde naam datum Propositielogica Het maken van een waarheidstabel Eindhoven, 4 juni 2011 De propositielogica Zoekopdrachten met de operatoren AND, OR en zijn zogenaamde Booleaanse expressies.
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 informatieVerbanden en functies
Verbanden en functies 0. voorkennis Stelsels vergelijkingen Je kunt een stelsel van twee lineaire vergelijkingen met twee variabelen oplossen. De oplossing van het stelsel is het snijpunt van twee lijnen.
Nadere informatieHaskell: programmeren in een luie, puur functionele taal
Haskell: programmeren in een luie, puur functionele taal Jan van Eijck jve@cwi.nl 5 Talen Symposium, 12 juli 2010 Samenvatting In deze mini-cursus laten we zien hoe je met eindige en oneindige lijsten
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 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 informatieTata en Metata. Albert Visser. 1. The name of the song is called Haddocks Eyes. 2. The name of the song is The Aged Aged Man.
Tata en Metata Albert Visser 1 De Witte Ridder 1. The name of the song is called Haddocks Eyes. 2. The name of the song is The Aged Aged Man. 3. The song is called Ways And Means. 4. The song is A-sitting
Nadere informatieRekenen aan wortels Werkblad =
Rekenen aan wortels Werkblad 546121 = Vooraf De vragen en opdrachten in dit werkblad die vooraf gegaan worden door, moeten schriftelijk worden beantwoord. Daarbij moet altijd duidelijk zijn hoe de antwoorden
Nadere informatieCombinatoriek groep 1 & 2: Recursie
Combinatoriek groep 1 & : Recursie Trainingsweek juni 008 Inleiding Bij een recursieve definitie van een rij wordt elke volgende term berekend uit de vorige. Een voorbeeld van zo n recursieve definitie
Nadere informatie5. Functies. In deze module leert u:
5. Functies In deze module leert u: - Wat functies zijn; - Functies uitvoeren; - De verschillende functies van Calc kennen. - Naar een ander werkblad verwijzen. U kunt eenvoudige berekeningen, zoals aftrekken,
Nadere informatieGetaltheorie I. c = c 1 = 1 c (1)
Lesbrief 1 Getaltheorie I De getaltheorie houdt zich bezig met het onderzoek van eigenschappen van gehele getallen, en meer in het bijzonder, van natuurlijke getallen. In de getaltheorie is het gebruikelijk
Nadere informatieSYNTAXIS EN SEMANTIEK: BEREIK IN HET NEDERLANDS
SYNTAXIS EN SEMANTIEK: BEREIK IN HET NEDERLANDS Eddy Ruys Taal is de systematische verbinding van een vorm (klank) met een betekenis. * Wie betekenissen wil beschrijven, en wil verklaren hoe het komt dat
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 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 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 informatiePROPOSITIELOGICA. fundament voor wiskundig redeneren. Dr. Luc Gheysens
PROPOSITIELOGICA fundament voor wiskundig redeneren Dr. Luc Gheysens PROPOSITIELOGICA Een propositie of logische uitspraak, verder weergegeven door een letter p, q, r is een uitspraak die in een vastgelegde
Nadere informatieReeksnr.: Naam: t 2. arcsin x f(t) = 2 dx. 1 x
Calculus, 4//4. Gegeven de reële functie ft) met als voorschrift t arcsin x ft) = dx x a) Geef het domein van de functie ft). Op dit domein, bespreek waar de functie stijgt, daalt en bepaal de lokale extrema.
Nadere informatieNetwerkdiagram voor een project. AOA: Activities On Arrows - activiteiten op de pijlen.
Netwerkdiagram voor een project. AOA: Activities On Arrows - activiteiten op de pijlen. Opmerking vooraf. Een netwerk is een structuur die is opgebouwd met pijlen en knooppunten. Bij het opstellen van
Nadere informatieTaal en Structuur van de Wiskunde (2IF50) Aantekeningen bij college 1
Taal en Structuur van de Wiskunde (2IF50) Aantekeningen bij college 1 Paul van Tilburg 28 november 2005 College/vakstructuur: Week 1-3: Inleiding (colleges) Week 4-6: Formele syntax (colleges) Week 7-9:
Nadere informatieLogica voor Informatica. Logica Toepassingen. PROLOG: Logische Programmeertaal. Mehdi Dastani
Logica voor Informatica Logica Toepassingen PROLOG: Logische Programmeertaal Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Programmeren met Logica Propositielogica is niet geschikt
Nadere informatieVerzamelingen, Lijsten, Functioneel Programmeren
Verzamelingen, Lijsten, Functioneel Programmeren Jan van Eijck jve@cwi.nl Stage Ignatiuscollege, 20 mei 2008 Samenvatting In deze lezing gaan we in op de overeenkomsten en verschillen tussen verzamelingen
Nadere informatieChecklist Wiskunde B HAVO HML
Checklist Wiskunde B HAVO 4 2014-2015 HML 1 Hoofdstuk 1 Lineaire vergelijkingen en lineaire ongelijkheden oplossen. Wanneer klapt het teken om? Haakjes en breuken wegwerken. Ontbinden in factoren: x buiten
Nadere informatieFormeel Denken. 15 juli 2014
Formeel enken Herman Geuvers eels gebaseerd op het herfst 2002 dictaat van Henk Barendregt en Bas Spitters, met dank aan het iscrete Wiskunde dictaat van Wim Gielen. Herfst 2008 herzien en uitgebreid door
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 informatieTI1300: Redeneren en Logica, Practicum 1 Deadline: 17 september 2010, 10:45 uur
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica TI1300: Redeneren en Logica, Practicum 1 Deadline: 17 september 2010, 10:45 uur Introductie In deze practicumopgave komt
Nadere informatieUitwerking Tentamen Inleiding Kansrekening 11 juni 2015, uur Docent: Prof. dr. F. den Hollander
Uitwerking Tentamen Inleiding Kansrekening juni 25,. 3. uur Docent: Prof. dr. F. den Hollander () [6] Zij F een gebeurtenissenruimte. Laat zien dat voor elke B F de verzameling G {A B : A F} opnieuw een
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 informatieHoofdstuk 17: Logische & Informatiefuncties en operatoren
Hoofdstuk 17: Logische & Informatiefuncties en operatoren 17.0 Inleiding Logische formules testen of een conditie waar is (het resultaat van de formule zal dan de waarde WAAR hebben) of onwaar (in dit
Nadere informatieHandleiding TRUEBITERS. Een digitaal spel om de waarheidstabellen van de propositielogica te oefenen. WISE onderzoeksgroep
Handleiding TRUEBITERS Een digitaal spel om de waarheidstabellen van de propositielogica te oefenen WISE onderzoeksgroep November 2017 1 Inleiding TrueBiters is een digitaal spel ontwikkeld om studenten
Nadere informatieLesbrief GeoGebra. 1. Even kennismaken met GeoGebra (GG)
Lesbrief GeoGebra Inhoud: 1. Even kennismaken met GeoGebra 2. Meetkunde: 2.1 Punten, lijnen, figuren maken 2.2 Loodlijn, deellijn, middelloodlijn maken 2.3 Probleem M1: De rechte van Euler 2.4 Probleem
Nadere informatie