1 Logica a. tautologie -1-
|
|
- Monique Vedder
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 1 Logica a. neen: de spreker bedoelt met "hier" de plek waar hij op dat moment is, maar "warm" is subjectief; vgl.: "het is hier 25 graden Celsius". b. ja: de uitspraak is onwaar (=120 uur). c. neen: dit is een vraag; vgl.: "ik ben vandaag jarig". d. neen: de uitspraak is een gezegde. e. ja: Picasso was een schilder, geen schilderij: onware propositie. f. neen: dit is een bevel, een gebod. g. neen: dit is een gebod (hou je eraan!!) a. p q p q p q q tautologie -1-
2 b. p q p p q ( p q ) p contingentie c. p q p q ( p q ) q contingentie d. p q p q p q ( p q ) ( p q ) contingentie e. p q r p r q r ( p r ) ( q r ) contingentie -2-
3 f. p r r p p r p ( r p ) ( r p ) Zie boven contradictie T heeft waarheidswaarde 1 en F heeft waarheidswaarde a. [ p q ] [(p q ) ( p q )] Ook: [ p q ] [(p q ) ( p q )] Ook: [ p q ] [ p q ] Ook: [ p q ] [ p q ] Ook: [ p q ] [ p q ] Ook: [ p q ] [(p q ) ( p q )] b. Laatste kolom: 1110 (*N.B.: dit laatste is een antwoord en géén uitwerking dus!*) a. p q p q (de Morgan). p q (de Morgan). b. p q c. p q p q (dubbele ontkenning). p q d. ( p q ) r ( -vervanging); p q (de Morgan); p q (dubbele ontkenning). r p q ( p q ) r (de Morgan). p r q e. ( p r ) q p r q (de Morgan); (de Morgan); ( -vervanging); ( p r ) q (dubbele ontkenning); -3-
4 f. ( p q ) ( p r ) ( p q ) ( p r ) ( p q ) ( p r ) (de Morgan); ( p q ) ( p r ) ( -vervanging); ( p q ) ( p r ) (de Morgan); ( p q ) ( p r ) (dubbele ontkenning). (de Morgan); N.B.: Hoe ver je met deze opgave (met name vraag f.) moet gaan vereenvoudigen is enigszins arbitrair optellen is associatief, commutatief, maar niet distributief (over zichzelf); 2. vermenigvuldiging is associatief, commutatief, maar niet distributief (over zichzelf); 3. optelling distribueert niet over vermenigvuldiging; 4. vermenigvuldiging distribueert wel over optelling a. Uit de waarheidstabel van de Breuksma volgt direct: [ q ] [ p q ] b. Idem (na enig puzzelen): [ q ] [ q p ] Ook: [ q ] [ p q ] c. Nagaan: ( q r ) ( q ) ( r ) p q r q r ( q r ) q ( r ) ( p@ q) ( r ) I II I II tautologie; dus: bewezen. -4-
5 1.3.4 a. p ( q p ) ( p q ) ( p p ) (distr. over ); ( p q ) F (inverse); p q (identiteit). We hebben dus bewezen dat de stelling juist is. b. p ( p q ) p ( p q ) ( -vervanging); ( p p ) ( p q ) (distr. over ); T ( p q ) (inverse); p q (identiteit); p q (vervanging ). We hebben dus bewezen dat de stelling juist is. c. ( p q ) r ( p q ) r ( p q ) r (de Morgan); ( -vervanging); ( p r ) ( q r ) (distr. over ); ( p r ) ( q r ) verv-. We hebben dus bewezen dat de stelling juist is. d. ( p q ) ( p q ) ( p q ) ( p q ) ( p q ) ( p q ) ( -vervanging); ( p q ) ( p q ) (de Morgan); ( p q ) ( p q ) (dubbele ontkenning); p ( q q ) ("terug"-distributie); p T (inverse); p (identiteit). ( -vervanging); We hebben dus bewezen dat de stelling juist is. N.B.: Let er op dat elk bewijs eindigt met een (soort van) conclusie. -5-
6 1.3.5 a. p ( p q ) p ( p q ) ( -vervanging); p (absorptie). Conclusie: de stelling is juist. b. p ( p q ) p ( p q ) ( -vervanging); ( p p ) q (assoc. van ); T q (inverse); T (dominantie). Als p onwaar is dan klopt de equivalentie dus niet. Dit bewijzen we met een (geschikt gekozen) tegenvoorbeeld: kies: p onwaar (zie boven waarom); q willekeurig, bijvoorbeeld onwaar. Dan: p q p q p ( p q ) [p ( p q )] p Conclusie: de stelling is onjuist. Met q als waarheidswaarde 1 wordt het (uitgewerkte) tegenvoorbeeld: p q p q p ( p q ) [p ( p q )] p c. ( p q ) ( p q ) ( p q ) ( p q ) -vervanging; ( p p ) q ("terug"-distributie); F q (inverse); q (identiteit). Conclusie: de stelling is juist. ) r ( p q ) r (de Morgan); d. ( p q??? Dit levert verder niets op. Merk op dat wel geldt: ( p q ) r ( p q ) r. Een tegenvoorbeeld zoeken dus. Uit bovenstaande vervanging kunnen we afleiden dat het verschil tussen beide uitdrukkingen zit in het verschil tussen de en de. Daarom: -6-
7 kies: r heeft waarheidswaarde 0 p heeft waarheidswaarde 1 q heeft waarheidswaarde 0 (We kunnen p en q ook respectievelijk 0 en 1 maken.) Dan geldt: p q r p q p q (p q ) r (p q ) (p q ) r I II I II De stelling is onjuist a. xp(x ) x [ x > 10 ] is waar: b.v. voor x = 11; b. xq(x ) x [ x 5] is onwaar: beschouw b.v. x = 4 dan blijkt dat het predicaat (x 5) niet voor elke x geldt; c. x [ P (x ) R (x )] x [(x>10) (x <7) ] is onwaar: geen enkele x kan aan het predicaat (x >10 x<7) voldoen; d. x [ P (x ) Q (x )] x [(x>10) (x 5) ] is waar: als x>10 dan is x ook zeker groter dan 5 en als x<10 geldt de implicatie (het predicaat) sowie-so: het linkerdeel is dan onwaar; e. xp(x ) xr(x ) x [ x>10 ] x [ x<7] is waar: daar zowel x [ x>10 ] als x [ x<7 ] waar zijn. De laatste regel van de waarheidtabel van de implicatie is hier van toepassing. N.B.: De x -en mogen verschillend gekozen worden, maar het moet niet. Als bijvoorbeeld respectievelijk 11 en 6 gekozen wordt, ontstaat het volgende: (11> 10 ) (6< 7 ), hetgeen juist is. f. x [ Q (x ) R (x )] xp(x ) x [(x 5) (x <7) ] x [ x>10 ] is onwaar: x [(x 5) (x <7) ] is waar terwijl x [ x>10 ] onwaar is: de derde regel van de waarheidstabel van de implicatie is hier van toepassing. g.! x [ Q (x ) R (x )]! x [(x 5) (x <7) ] is onwaar: zowel 5 als 6 voldoen; er zijn dus (minstens) twee x -en i.p.v. precies één die beide voldoen. -7-
8 h. x [ R (x ) T (x )] [ xr(x ) xt(x )] Ofwel: x [(x<7) T (x )] [ x ( x<7) xt(x ) ] moet onwaar zijn. Ga alvast na dat: x [ x<7 ] waar is. Kies T (x ) zo dat x T(x ) ook waar is en dat tevens x [(x < 7) T (x )] onwaar is. Dus b.v.: T (x ) betekent x We definieren als universum U de verzameling leraren en als predicaat S(x) "x is slim". a. xs(x ); ; b. xs(x ) c. Niet alle leraren zijn slim ; d. xs(x ) e. Ze zijn equivalent: "niet alle leraren zijn slim" betekent dat er (minstens) één niet-slimme leraar bestaat! (we noemen geen voorbeeld!) f. Elke stelling kunnen we schrijven als xp(x ). Als de stelling niet waar is geldt dus dat xp(x ) wel waar is. Hierboven hebben we gezien dat dit laatste equivalent is met xp(x ) en we kunnen dus volstaan met het beschrijven van één x waarvoor P (x ) niet waar is (een tegenvoorbeeld dus!) a. Vertalen in "logica-taal" levert: ) ) x<10 (y >5 x<2 x<10 (y >5 x<2 ) ( x<10 ) ((y>5) ( x<2) x<10 ( y>5 x<2 (de Morgan); ) (de Morgan); (dubbele ontkenning); x 10 (y 5 x<2 ) (ontkenning uitwerken); ( x 10 y 5) (x 10 x<2 ) (distr. van over ); ( x 10 y 5) F (inverse); ( x 10 y 5 ) (identiteit); In Pascal wordt dit dus: ((x 10) AND (y 5)). -8-
9 b. Vertalen in "logica-taal" levert: (teller > 20) KLAAR eoln teller > 20 KLAAR eoln (de Morgan); teller > 20 KLAAR eoln (dubbele ontkenning); teller 20 KLAAR eoln (ontkenning uitwerken); In Pascal wordt dit: ((teller <= 20) OR KLAAR OR eoln ) a. De logische wetten zijn hier niet van toepassing omdat t := 5géén bewering is! (maar een toekennings- opdracht). Stel dat we deze opmerking negeren, dan krijgen we: (x >3) (t := 5) x>3 (t := 5) ( -vervanging); (x 3) (t := 5) (ontkenning uitwerken); In Pascal wordt dit: ((x <= 3) OR (t := 5)); b. Neen! In Pascal is if...then een "opdracht onder voorwaarde", terwijl...or... een bewering moet zijn. Daar t := 5 een toekenningsopdracht is (géén bewering dus) staat er in x <= 3 OR t := 5 onzin. (Zal een fout- Elke Pascal-compiler zal hier behoorlijk moeilijk over doen. melding geven.) In de taal C is de toekenning (t = 5) een ware bewering. -9-
10 1.4.5 Eerst in logica-taal schrijven (m.b.v. proposities dus): n : je stoot je neus p : je hebt pijn. De uitspraak wordt dan in logica-taal: n De beweringen in respectievelijk 1. en 2. worden: 1. n p 2. p n Merk op dat de uitspraak onder 1. niet equivalent is met de eerstgenoemde, terwijl de uitpraak onder 2. (met behulp van de contrapositiviteit) wel equivalent is met de eerstgenoemde. n p n p n p n p (n p ) (n p ) p a. Eerst in logica-taal schrijven (m.b.v. proposities dus): o: je let goed op h: je haalt een hoog cijfer b: je studeert braaf. Dan staat er: [ o b ] h (o h ) (b h ) Afleiden levert: [ o b ] h o b h vervanging ; (o b ) h de Morgan;?? Hier kunnen we verder niets mee; de stelling is dan ook onjuist. Tegenvoorbeeld: Piet let wel goed op, maar studeert niet braaf en haalt dan ook géén hoog cijfer: -10-
6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x )] xp(x ) xq(x ). De bewering is onjuist:
6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x ) xp(x ) xq(x ). De bewering is onjuist: Kies als tegenvoorbeeld: P (x ):x 2 > 0enQ (x ):x>0, voor U = R Dan geldt:
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 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 informatieLogica Les 1 Definities en waarheidstabellen. (Deze les sluit aan bij les 1 van de syllabus Logica WD_online)
Logica Les 1 Definities en waarheidstabellen (Deze les sluit aan bij les 1 van de syllabus Logica WD_online) Definities Een propositie is een bewering die waar of onwaar is (er is geen derde mogelijkheid).
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 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 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 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 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 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 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 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 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 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 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 en predikatenlogica. 1. Noteer volgende Nederlandse uitspraken formeel m.b.v. propositionele logica :
HOOFDSTUK 4. LOGICA Opgaven Propositionele logica en predikatenlogica 1. Noteer volgende Nederlandse uitspraken formeel m.b.v. propositionele logica : a) Als de maan ichtbaar is en het niet sneeuwt, al
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 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 informatielogische schakelingen & logica antwoorden
2017 logische schakelingen & logica antwoorden F. Vonk versie 4 2-8-2017 inhoudsopgave waarheidstabellen... - 3 - logische schakelingen... - 4 - meer over logische schakelingen... - 8 - logica... - 10
Nadere informatie5.4.2 a. Neen: dit lukt alléén met 1, 3, 7 enzovoort. b. Ja: dit lukt met elk aantal knopen! Bijvoorbeeld de volgende boom: 1
c. het langste gerichte pad: 4 2 3 met lengte twee. d. het langste on -gerichte pad is oneindig lang: je mag bijvoorbeeld voortdurend tussen twee knopen heen en weer wandelen. e. ja: elke knoop heeft maximaal
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 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 informatieTentamentips. Tomas Klos. 14 december 2010
Tentamentips Tomas Klos 14 december 010 Samenvatting In dit document vind je een aantal tentamen tips. Het gaat om fouten die ik op tentamens veel gemaakt zie worden, en die ik je liever niet zie maken.
Nadere informatieWe beginnen met de eigenschappen van de gehele getallen.
II.2 Gehele getallen We beginnen met de eigenschappen van de gehele getallen. Axioma s voor Z De gegevens zijn: (a) een verzameling Z; (b) elementen 0 en 1 in Z; (c) een afbeelding +: Z Z Z, de optelling;
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 informatieAndere grote namen van wiskundigen en/of filosofen: Plato, Socrates, Descartes (Cartesius), Spinoza, Kant, Russell, Hilbert, Tarski en Brouwer
Formele Logica Grondlegger Aristoteles (384/322 voor Chr.), filosoof. Andere grote namen van wiskundigen en/of filosofen: Plato, Socrates, Descartes (Cartesius), Spinoza, Kant, Russell, Hilbert, Tarski
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 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 informatieLogica Wiskunde D-online
1 Logica Wiskunde D-online Deze tekst is een bewerking van de Syllabus wiskunde D, Logica Havo 4 van Windesheim. Samenstellers: drs. N.J. Wolberink en H Ridderbos, docenten Wiskunde aan Vechtdal College
Nadere informatieTAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?
TAALFILOSOFIE Overkoepelende vraag: WAT IS BETEKENIS? GOTTLOB FREGE (1848 1925) Logische Untersuchungen Der Gedanke Die Verneinung Gedankengefüge DER GEDANKE Logica waarheid Logica kunst van het geldig
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 informatieTentamen TI1300 en IN1305-A (Redeneren en) Logica
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 5 november 2010, 9.00 12.00 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR
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 informatieLogica. Oefeningen op hoofdstuk Propositielogica
Oefeningen op hoofdstuk 1 Logica 1.1 Propositielogica Oefening 1.1. Stel dat f en g functies zijn waarvoor f(x)dx = g(x)+c niet waar is. Als Elio Di Rupo paarse sokken heeft, bepaal dan de waarheidswaarde
Nadere informatieRingen en Galoistheorie, 1e deel, 19 april 2012
Ringen en Galoistheorie, 1e deel, 19 april 2012 Bij dit tentamen mag het dictaat niet gebruikt worden. Schrijf op elk vel je naam, studnr en naam practicumleider. Laat bij elke opgave zien hoe je aan je
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 informatie1. Inleiding. Bewering:
Logica . Inleiding 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 v an
Nadere informatieHet oplossen van stelsels lineaire vergelijkingen Wiskunde 2, 2DM60 College 2b
Het oplossen van stelsels lineaire vergelijkingen Wiskunde 2, 2DM60 College 2b Ruud Pellikaan g.r.pellikaan@tue.nl /k 2014-2015 Lineaire vergelijking 2/64 DEFINITIE: Een lineaire vergelijking in de variabelen
Nadere informatieDossier 2 LOGICA. Dr. Luc Gheysens. fundament voor wiskundig redeneren
Dossier 2 LOGICA fundament voor wiskundig redeneren Dr. Luc Gheysens Inleiding: logische puzzels Wiskundigen houden meestal van logische puzzels. Dit soort puzzels vormt niet alleen een uitdaging, maar
Nadere informatieLogica. Syllabus Logica bestemd voor Wiskunde-D, Havo-4
Logica Syllabus Logica bestemd voor Wiskunde-D, Havo-4 2 We vinden dat helder en logisch denken één van de belangrijkste vaardigheden is voor jou (HAVO-leerling) en denken dat het doorwerken van deze syllabus
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 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 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 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 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 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 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 informatieLOGICA OP HET MENU DEEL 2. Dr. Luc Gheysens en Daniël Tant
LOGICA OP HET MENU DEEL 2 Dr. Luc Gheysens en Daniël Tant Augustus De Morgan (180 1871) was een Britse wiskundige die vooral bekend is gebleven voor zijn werk op het gebied van de logica en meerbepaald
Nadere informatieRSA. F.A. Grootjen. 8 maart 2002
RSA F.A. Grootjen 8 maart 2002 1 Delers Eerst wat terminologie over gehele getallen. We zeggen a deelt b (of a is een deler van b) als b = qa voor een of ander geheel getal q. In plaats van a deelt b schrijven
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 informatieFACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie
FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie Lineaire Algebra, tentamen Uitwerkingen vrijdag 4 januari 0, 9 uur Gebruik van een formuleblad of rekenmachine is niet toegestaan. De
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 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 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 informatieKies voor i een willekeurige index tussen 1 en r. Neem het inproduct van v i met de relatie. We krijgen
Hoofdstuk 95 Orthogonaliteit 95. Orthonormale basis Definitie 95.. Een r-tal niet-triviale vectoren v,..., v r R n heet een orthogonaal stelsel als v i v j = 0 voor elk paar i, j met i j. Het stelsel heet
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 informatieZomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008
Katholieke Universiteit Leuven September 2008 Logica, verzamelingenleer, functies en bewijstechnieken (versie 9 juli 2008) Inleiding Omdat de behandelde topics niet of nauwelijks meer aan bod komen in
Nadere informatieNATUURLIJKE, GEHELE EN RATIONALE GETALLEN
II NATUURLIJKE, GEHELE EN RATIONALE GETALLEN Iedereen ent getallen: de natuurlije getallen, N = {0,1,2,3,...}, gebruien we om te tellen, om getallen van elaar af te unnen treen hebben we de gehele getallen,
Nadere informatieUitwerkingen Tentamen Wat is Wiskunde (WISB101) Donderdag 10 november 2016, 9:00-12:00
Uitweringen Tentamen Wat is Wisunde (WISB101) Donderdag 10 november 2016, 9:00-12:00 Docenten: Barbara van den Berg & Carel Faber & Arjen Baarsma & Ralph Klaasse & Vitor Blåsjö & Guido Terra-Bleeer Opgave
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 informatieWeek 1 20-02-2013. Hier vind je uitwerkingen van enkele opgaven uit het dictaat Grafen: Kleuren en Routeren.
Combinatorische Optimalisatie, 2013 Week 1 20-02-2013 Hier vind je uitwerkingen van enkele opgaven uit het dictaat Grafen: Kleuren en Routeren. Opgave 1.16 Bewijs dat elke graaf een even aantal punten
Nadere informatieopgaven formele structuren deterministische eindige automaten
opgaven formele structuren deterministische eindige automaten Opgave. De taal L over het alfabet {a, b} bestaat uit alle strings die beginnen met aa en eindigen met ab. Geef een reguliere expressie voor
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 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 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 informatieExamen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde. vrijdag 3 februari 2012, 8:30 12:30
Examen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde vrijdag 3 februari 2012, 8:30 12:30 Naam: Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
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 informatie1.3 Rekenen met pijlen
14 Getallen 1.3 Rekenen met pijlen 1.3.1 Het optellen van pijlen Jeweetnuwatdegetallenlijnisendat0nochpositiefnochnegatiefis. Wezullen nu een soort rekenen met pijlen gaan invoeren. We spreken af dat bij
Nadere informatieGetaltheorie groep 3: Primitieve wortels
Getaltheorie groep 3: Primitieve wortels Trainingsweek juni 2008 Inleiding Voor a relatief priem met m hebben we de orde van a modulo m gedefinieerd als ord m (a) = min { n Z + a n 1 (mod m) }. De verzameling
Nadere informatieDrie problemen voor de prijs van één
Drie problemen voor de prijs van één Of: één probleem voor de prijs van drie K. P. Hart Faculty EEMCS TU Delft Delft, 30 oktober, 2012: 10:15 10:45 Eenvoudig begin Opgave Bewijs dat voor m, n N het volgende
Nadere informatieBewijzen onder leiding van Ludolph van Ceulen
Bewijzen onder leiding van Ludolph van Ceulen 1540 1610 Margot Rijnierse Inleiding In de tijd van Ludolph van Ceulen hadden de meetkundige geleerden belangstelling voor de geschriften van de oude Grieken,
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 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 informatieGeef niet alleen antwoorden, maar bewijs al je beweringen.
Tentamen Lineaire Algebra maandag 3--27, 3.3-6.3 uur Het is niet toegestaan telefoons, computers, grafische rekenmachines (wel een gewone), dictaten, boeken of aantekeningen te gebruiken. Schrijf op elk
Nadere informatieOPLOSSINGEN VAN DE OEFENINGEN
OPLOSSINGEN VAN DE OEFENINGEN 1.3.1. Er zijn 42 mogelijke vercijferingen. 2.3.4. De uitkomsten zijn 0, 4 en 4 1 = 4. 2.3.6. Omdat 10 = 1 in Z 9 vinden we dat x = c 0 +... + c m = c 0 +... + c m. Het getal
Nadere informatieLOGICA OP HET MENU DEEL 1. Dr. Luc Gheysens en Daniël Tant
LOGICA OP HET MENU DEEL 1 Dr. Luc Gheysens en Daniël Tant De Griekse filosoof Aristoteles (384 322 v. Chr.) mag men de grondlegger van de formele logica noemen. Hij dacht na over geldige manieren van redeneren,
Nadere informatieLineaire Algebra voor ST
Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9.3 email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/2ds6 Technische Universiteit Eindhoven college 5 J.Keijsper (TUE)
Nadere informatieVeeltermen. Module 2. 2.1 Definitie en voorbeelden. Een veelterm met reële coëfficiënten in één veranderlijke x is een uitdrukking van de vorm
Module 2 Veeltermen 2.1 Definitie en voorbeelden Een veelterm met reële coëfficiënten in één veranderlijke x is een uitdrukking van de vorm a 0 +a 1 x+a 2 x 2 + +a n x n met a 0,a 1,a 2,...,a n Ê en n
Nadere informatieLineaire Algebra voor ST
Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9. email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/ds6 Technische Universiteit Eindhoven college 9 J.Keijsper (TUE)
Nadere informatieDriehoeksongelijkheid en Ravi (groep 1)
Driehoeksongelijkheid en Ravi (groep 1) Trainingsdag 3, april 009 Driehoeksongelijkheid Driehoeksongelijkheid Voor drie punten in het vlak A, B en C geldt altijd dat AC + CB AB. Gelijkheid geldt precies
Nadere informatieTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN
TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN Vakcode: 8D2. Datum: dinsdag 29 april 28. Tijd: 14: 17:. Lees dit vóórdat je begint! Maak iedere opgave op een apart vel. Schrijf je naam en studentnummer
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 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 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 informatiePolynomen. + 5x + 5 \ 3 x 1 = S(x) 2x x. 3x x 3x 2 + 2
Lesbrief 3 Polynomen 1 Polynomen van één variabele Elke functie van de vorm P () = a n n + a n 1 n 1 + + a 1 + a 0, (a n 0), heet een polynoom of veelterm in de variabele. Het getal n heet de graad van
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 informatie2 n 1. OPGAVEN 1 Hoeveel cijfers heeft het grootste bekende Mersenne-priemgetal? Met dit getal vult men 320 krantenpagina s.
Hoofdstuk 1 Getallenleer 1.1 Priemgetallen 1.1.1 Definitie en eigenschappen Een priemgetal is een natuurlijk getal groter dan 1 dat slechts deelbaar is door 1 en door zichzelf. Om technische redenen wordt
Nadere informatieTU/e 2DD50: Wiskunde 2
TU/e 2DD50: Wiskunde 2 Enkele mededelingen Instructies (vandaag, 10:45 12:30) in vier zalen: Zaal Aud 10 Pav b2 Pav m23 Ipo 0.98 voor studenten met achternaam beginnend met letters A tot en met D met letters
Nadere informatieLineaire Algebra voor ST
Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9. email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/ds6 Technische Universiteit Eindhoven college 8 J.Keijsper (TUE)
Nadere informatieTweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen
Tweede huiswerkopdracht Lineaire algebra 1 en opmerkingen November 10, 2009 Opgave 1 Gegeven een vectorruimte V met deelruimtes U 1 en U 2. Als er geldt dim U 1 = 7, dimu 2 = 9, en dim(u 1 U 2 ) = 4, wat
Nadere informatieARGUMENTEREN EN REDENEREN
ARGUMENTEREN EN REDENEREN Julie Kerckaert Vaardigheden I Academiejaar 2014-2015 Inhoudsopgave Deel 1: Argumenteren en redeneren... 2 1.1 Logica... 2 1.1.1 Syllogismen... 2 1.1.2 Soorten redeneringen...
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 informatieTentamen Discrete Wiskunde 1 10 april 2012, 14:00 17:00 uur
Tentamen Discrete Wiskunde 0 april 0, :00 7:00 uur Schrijf je naam op ieder blad dat je inlevert. Onderbouw je antwoorden, met een goede argumentatie zijn ook punten te verdienen. Veel succes! Opgave.
Nadere informatieDossier 1 SYMBOLENTAAL
Dossier 1 SYMBOLENTAAL basis voor wiskundige communicatie Dr. Luc Gheysens Wiskundigen hebben een eigen symbolentaal waarmee ze onderling communiceren, redeneringen en bewijzen neerschrijven, mathematische
Nadere informatieHoofdstuk 1. Inleiding. Het binomiaalgetal ( n
Hoofdstuk 1 Inleiding Het binomiaalgetal ( n berekent het aantal -combinaties van n elementen; dit is het aantal mogelijkheden om elementen te nemen uit n beschikbare elementen Hierbij is herhaling niet
Nadere informatieGetallenleer Inleiding op codeertheorie. Cursus voor de vrije ruimte
Getallenleer Inleiding op codeertheorie Liliane Van Maldeghem Hendrik Van Maldeghem Cursus voor de vrije ruimte 2 Hoofdstuk 1 Getallenleer 1.1 Priemgetallen 1.1.1 Definitie en eigenschappen Een priemgetal
Nadere informatieKettingbreuken. 20 april 2010 1 K + 1 E + 1 T + 1 T + 1 I + 1 N + 1 G + 1 B + 1 R + 1 E + 1 U + 1 K + E + 1 N 1 2 + 1 0 + 1 A + 1 P + 1 R + 1 I + 1
Kettingbreuken Frédéric Guffens 0 april 00 K + E + T + T + I + N + G + B + R + E + U + K + E + N 0 + A + P + R + I + L + 0 + + 0 Wat zijn Kettingbreuken? Een kettingbreuk is een wiskundige uitdrukking
Nadere informatieUitwerking 1 Uitwerkingen eerste deeltentamen Lineaire Algebra (WISB121) 3 november 2009
Departement Wiskunde, Faculteit Bètawetenschappen, UU. In elektronische vorm beschikbaar gemaakt door de TBC van A Eskwadraat. Het college WISB werd in 9- gegeven door Prof. Dr. F. Beukers. Uitwerking
Nadere informatie1 Delers 1. 3 Grootste gemene deler en kleinste gemene veelvoud 12
Katern 2 Getaltheorie Inhoudsopgave 1 Delers 1 2 Deelbaarheid door 2, 3, 5, 9 en 11 6 3 Grootste gemene deler en kleinste gemene veelvoud 12 1 Delers In Katern 1 heb je geleerd wat een deler van een getal
Nadere informatieBoolealgebra s. Leereenheid 16
Leereenheid 16 Boolealgebra s I N T R O D U C T I E Als we ons afvragen welk van de twee verzamelingen wiskundig interessanter is: de verzameling natuurlijke getallen of de verzameling {Astrid, Bert, Corrie,
Nadere informatie