Propositielogica Het maken van een waarheidstabel



Vergelijkbare documenten
Logica Les 1 Definities en waarheidstabellen. (Deze les sluit aan bij les 1 van de syllabus Logica WD_online)

Propositielogica. Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn. 24 augustus Universiteit Antwerpen

logische schakelingen & logica antwoorden

logische schakelingen & logica

Wiskundige beweringen en hun bewijzen

Tegenvoorbeeld. TI1300: Redeneren en Logica. De truc van Gauss. Carl Friedrich Gauss, 7 jaar oud (omstreeks 1785)

Formeel Denken. Herfst 2004

Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2

HOOFDSTUK 3. Imperatief programmeren. 3.1 Stapsgewijs programmeren. 3.2 If Then Else. Module 4 Programmeren

Als een PSD selecties bevat, deelt de lijn van het programma zich op met de verschillende antwoorden op het vraagstuk.

PROPOSITIELOGICA. fundament voor wiskundig redeneren. Dr. Luc Gheysens

Logic for Computer Science

Formeel Denken 2014 Uitwerkingen Tentamen

Inhoud leereenheid 1. Inleiding. Introductie 13. Leerkern Wat is logica? Logica en informatica 13

Structured Query Language (SQL)

Vedische wiskunde: snel vermenigvuldigen

1.3 Rekenen met pijlen

Ruitjes vertellen de waarheid

Instellen Finchline Topics & Booleaans zoeken

Propositielogica, waarheid en classificeren

6.1 Kwadraten [1] HERHALING: Volgorde bij berekeningen:

Jeroen Claes Pagina 1

Proposities. Hoofdstuk 2

5. Functies. In deze module leert u:

Optellen van twee getallen onder de 10

ALS-functie in Calc. ALS-functie maken

10. Controleopdrachten

1. TRADITIONELE LOGICA EN ARGUMENTATIELEER

Hoe maak je nu van breuken procenten? Voorbeeld: Opgave: hoeveel procent van de onderstaande tekening is zwart gekleurd?

Handleiding TRUEBITERS. Een digitaal spel om de waarheidstabellen van de propositielogica te oefenen. WISE onderzoeksgroep

Mededelingen. TI1300: Redeneren en Logica. Waarheidstafels. Waarheidsfunctionele Connectieven

1. Een van mijn collega s, liet een mooi verhaal zien: De opgave was: Los op ln(x + 2) ln(x + 1) = 1.

Modelleren en Programmeren voor KI

Beknopte handleiding voor Derive 5.0 for Windows

Constanten. Variabelen. Expressies. Variabelen. Constanten. Voorbeeld : varid.py. een symbolische naam voor een object.

groep 8 blok 7 antwoorden Malmberg s-hertogenbosch

Werkboekje

LOGICA OP HET MENU DEEL 2. Dr. Luc Gheysens en Daniël Tant

Small Basic Console Uitwerking opdrachten

Maak automatisch een geschikte configuratie van een softwaresysteem;

OEFENINGEN PYTHON REEKS 1

Uitleg: In de bovenstaande oefening zie je in het eerste blokje een LEES en een SCHRIJF opdracht. Dit is nog lesstof uit het tweede trimester.

Hieronder zie je hoe dat gaat. Opgave 3. Tel het aantal routes in de volgende onvolledige roosters van linksboven naar rechtsonder.

Processoren. Marc Seutter & David N. Jansen 12 November 2013

4.1 Negatieve getallen vermenigvuldigen [1]

Propositionele logica

Propositielogica. Leereenheid 4

Deel C. Breuken. vermenigvuldigen en delen

Faculteit Elektrotechniek - Leerstoel ES Tentamen Schakeltechniek. Vakcode 5A050, 17 november 2004, 9:00u-12:00u

1 Rekenen met gehele getallen

1 Monumenten. 32 x tips bij Breinkrakers. Tips en uitleg naar: 32 Breinkrakers 2003 SCHUBI Lernmedien AG, Schaffhausen service@schubi.nl

Uitwerkingen Rekenen met cijfers en letters

Logica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani

Spreadsheets (Excel 2003)

Informatica 2. Met uitwerkingen n.a.v. document van Elvire Theelen in Luc bijgewerkt door Peter van Diepen

Formeel Denken 2013 Uitwerkingen Tentamen

PYTHON REEKS 1: BASICS. Mathias Polfliet

Booleaanse operatoren en de nabijheidsoperator

Hoofdstuk 2: Grafieken en formules

2.1 Bewerkingen [1] Video Geschiedenis van het rekenen ( 15 x 3 = 45

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

Dossier 2 LOGICA. Dr. Luc Gheysens. fundament voor wiskundig redeneren

8.1 Herleiden [1] Herleiden bij vermenigvuldigen: -5 3a 6b 8c = -720abc 1) Vermenigvuldigen cijfers (let op teken) 2) Letters op alfabetische volgorde

Wiskunde D assignment problem. Hier stonden ooit namen

Lab Webdesign: Javascript 3 maart 2008

Opdrachten Tarski s World

VBA voor Doe het Zelvers deel 20

zoeken op het internet

10 blad. hulp. 1 bedenk zelf. 10-vriendjes. + = 10 + = 10 + = 10 + = 10 + = 10 + = = 10 = 10 = 10 = 10 = 10 = 2 bedenk zelf. dubbelen.

3.1 Haakjes wegwerken [1]

Inleiding logica Inleveropgave 3

3.1 Kwadratische functies[1]

Les A-03 Binaire en hexadecimale getallen

REKENVAARDIGHEID BRUGKLAS

Wie A zegt moet B zeggen

Logica als een oefening in Formeel Denken

1. Probleemstelling formuleren en sleutelwoorden bepalen.

Vergelijkingen met één onbekende

OEFENINGEN PYTHON REEKS 1

Inhoud van deze handleiding

Grootste examentrainer en huiswerkbegeleider van Nederland. Wiskunde C. Trainingsmateriaal. De slimste bijbaan van Nederland! lyceo.

Rekenen aan wortels Werkblad =

Meten is weten, dat geldt ook voor het vakgebied natuurkunde. Om te meten gebruik je hulpmiddelen, zoals timers, thermometers, linialen en sensoren.

Inhoud casus blok 4. Analyse van een woordspel. Introductie 7

Een functie is een kant en klare formule. Via de knop Som in de groep Bewerken van het tabblad Start kun je een aantal veelgebruikte functies kiezen:

Zoeken vervolgd: speciale zoektermen

6.1 Kwadraten [1] HERHALING: Volgorde bij berekeningen:

Algemene Scheikunde. Hoofdstuk 1. Vraag 1.1 Voor welk van de onderstaande reacties verwacht je het grootste verschil tussen U r en H r?

Rekentijger - Groep 7 Tips bij werkboekje A

De keuzestructuur. Versie DD

Inhoud van deze handleiding

Logische Schakelingen

Examen VWO - Compex. wiskunde A1

ZOEKEN IN KLUWER NAVIGATOR

4 a naam. 1 Reken uit. 2 Reken uit, haal af tot Reken uit, haal eerst af tot = 10 8 = 10 5 = 10 1 = 10 6 = 10 7 = 10 2 = 10 9 =

Hoofdstuk 3: Keuzestructuren

1) Meld je eerst aan met je Google account

1.1 Rekenen met letters [1]

3 Formules. 8 x 6 = x 3 = 12. r-w-w b-w-w g-w-w r-w-r b-w-r g-w-r r-z-w b-z-w g-z-w r-z-r b-z-r g-z-r 6 x 7 = x 100 = 500.

Handleiding Juridische Bibliotheek - Rechten/Criminologie Collegejaar 2007/2008. Handleiding OpMaat

Transcriptie:

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. Een Booleaanse expressie is opgebouwd uit proposities en operatoren zoals (én), (óf) en (niet). Alhoewel deze operatoren er anders uitzien dan in de zoekopdrachten die we eerder hebben gezien, zijn het precies dezelfde operatoren. Een propositie is een uitspraak die óf waar is óf onwaar is. De uitspraak mijn band van mijn fiets is lek is een voorbeeld van zo n propositie: als mijn band inderdaad lek is, is deze uitspraak waar en anders is deze uitspraak onwaar. In het geval van een zoekopdracht kun je de losse zoekterm zoekterm 1 lezen als de propositie De webpagina bevat het woord zoekterm 1. Als deze propositie geldt dan zal de zoekmachine die webpagina opnemen in de lijst met zoekresultaten. Het vakgebied dat gaat over het rekenen met proposities noemen we de propositielogica. In de propositielogica geven we proposities vaak aan met een enkele letter, bijvoorbeeld: P = mijn band van mijn fiets is lek en Q = de stoel heeft drie poten. We kunnen die letters vervolgens gebruiken in samengestelde Booleaanse expressies, zoals P Q. In de wiskunde reken je met getallen. Er zijn oneindig veel getallen waarmee je wiskundige expressies kunt maken. Booleaanse expressies zijn wat dat betreft een stuk eenvoudiger; er zijn maar twee Booleaanse waarden: waar en onwaar. Soms worden deze twee waarden voorgesteld door, respectievelijk, de twee getallen 1 en 0. Een propositie is dus een uitspraak die de waarde waar (1) óf de waarde onwaar (0) heeft. 1

De Booleaanse operatoren, en De al bekende Booleaanse operatoren worden als volgt gedefiniëerd: De negatie P We zeggen: niet P. De negatie van P is waar als P waarheidstabel: onwaar is en andersom. In een P P 0 1 1 0 We zeggen: P en Q. De conjunctie P Q De conjunctie van P en Q is waar als zowel P én Q waar zijn. In elk ander geval is deze expressie onwaar. In een waarheidstabel: P Q P Q 0 1 0 1 0 0 We zeggen: P of Q. De disjunctie P Q De disjunctie van P en Q is waar als P óf Q óf zowel P en Q waar zijn. In een waarheidstabel: P Q P Q 0 1 1 1 0 1 2

Het maken van een waarheidstabel Zoals je ziet, worden de Booleaanse operatoren gedefiniëerd met behulp van een waarheidstabel. Een waarheidstabel van een Booleaanse expressie is een tabel waarin alle mogelijke waarden van de proposities in die expressie en de expressie zelf worden opgesomd. Vaak worden als tussenstap in de berekening van de hele expressie deelexpressies ook opgenomen in de tabel. Een voorbeeld: Er wordt gevraagd de waarheidstabel van P ( Q P ) te maken. We doen dat in een aantal stappen: 1. Aan de rechterkant van het blad, schrijven we de hele expressie, ervoor zetten we een dubbele streep: P ( Q P ) 2. Vervolgens schrijf je alle deelexpressies op voor de dubbele streep, gescheiden door enkele streep. Een deelexpressie herken je als volgt: (a) het is een expressie tussen ronde haakjes, in dit geval Q P, óf (b) het is een expressie voorafgegaan door het niet-symbool ( ), in dit geval Q. Q Q P P ( Q P ) 3. Hierna volgt weer een dubbele streep waarna je alle enkelvoudige proposities opsomt. In dit geval zijn dat de twee letters P en Q. Je scheidt de verschillende proposities door middel van een enkele streep: 4. In de kolommen van de enkelvoudige proposities vul je vervolgens alle mogelijke combinaties van de waarden 0 en 1 in: 0 0 0 1 1 0 1 1 3

Zijn er twee enkelvoudige proposities, dan zijn er precies vier verschillende combinaties. Bij drie enkelvoudige proposities zijn er acht verschillende combinaties. Je hoeft geen waarheidstabellen te maken met meer dan drie enkelvoudige proposities. 5. Van links naar recht vul je nu alle kolommen in. In dit geval: (a) De kolom Q. Schrijf de Booleaanse expressie van de kolom over en vul de al berekende onderdelen meteen in. In dit geval is het berekende onderdeel Q: dat zijn de waarden uit de kolom Q. 0 0 0 =? 0 1 1 =? 1 0 0 =? 1 1 1 =? Zoek vervolgens de bijbehorende waarde op in de tabel van de bijbehorende operator. In dit geval de waarheidstabel van de niet-operator ( ) 0 0 0 = 1 0 1 1 = 0 1 0 0 = 1 1 1 1 = 0 niet P P 0 1 1 0 (b) De kolom Q P. Schrijf de Booleaanse expressie van de kolom over en vul de al berekende onderdelen meteen in. In dit geval zijn dit het berekende onderdeel P en de zojuist uitgerekende kolom Q. 0 0 0 = 1 1 0 =? 0 1 1 = 0 0 0 =? 1 0 0 = 1 1 1 =? 1 1 1 = 0 0 1 =? Zoek vervolgens de bijbehorende waarde op in de tabel van de bijbehorende operator. In dit geval die van de én-operator. 0 0 0 = 1 1 0 = 0 0 1 1 = 0 0 0 = 0 1 0 0 = 1 1 1 = 1 1 1 1 = 0 0 1 = 0 én P Q P Q 0 1 0 1 0 0 4

(c) Uiteindelijk vul je ook de laatste kolom, met daarin de gehele Booleaanse expressie, op dezelfde manier in: je schrijft de Booleaanse expressie over en je vult alle eerder berekende onderdelen meteen in. In dit geval dus die van de kolom Q P en P. 0 0 0 = 1 1 0 = 0 0 0 =? 0 1 1 = 0 0 0 = 0 0 0 =? 1 0 0 = 1 1 1 = 1 1 1 =? 1 1 1 = 0 0 1 = 0 1 0 =? Tot slot zoek je de bijbehorende waarden op in de tabel van de juiste Booleaanse operator, de óf -operator in dit geval. 0 0 0 = 1 1 0 = 0 0 0 = 0 0 1 1 = 0 0 0 = 0 0 0 = 0 1 0 0 = 1 1 1 = 1 1 1 = 1 1 1 1 = 0 0 1 = 0 1 0 = 1 óf P Q P Q 0 1 1 1 0 1 Je kunt bij het invullen van een kolom ook volstaan met enkel het invullen van de uitkomst in die kolom. Natuurlijk schrijf je wel altijd de volledige Booleaanse expressie bovenaan de kolom. Booleaanse expressies met twee enkelvoudige proposities opgave 1 Maak de waarheidstabel van de Booleaanse expressie P Q verder af: P Q P Q P Q 0 0 0 =. 0 =... =. 0 1 0 =. 1 =... =. 1 0 1 =. 0 =... =. 1 1 1 =. 1 =... =. Gebruik de waarheidstabellen van de Booleaanse operatoren niet ( ) en én ( ). opgave 2 Maak de waarheidstabel van de Booleaanse expressie P Q verder af: P Q P Q P Q 0 0.. =. 0 1.. =. 1 0.. =. 1 1.. =. 5

Gebruik de waarheidstabellen van de Booleaanse operatoren niet ( ) en óf ( ). opgave 3 verder af: Maak de waarheidstabel van de Booleaanse expressie P (P Q) P Q P Q P Q P (P Q). =... =. 0 1 0. =... =. 1 0 1. =... =.. =... =. Gebruik de waarheidstabellen van alledrie de Booleaanse operatoren niet ( ), én ( ) en óf ( ). opgave 4 Maak de waarheidstabel van de Booleaanse expressie (P Q) ( P Q) verder af: P Q P Q. (P Q) ( P Q) 0 0 0 1 1 0 1 1 Gebruik de waarheidstabellen van alledrie de Booleaanse operatoren niet ( ), én ( ) en óf ( ). opgave 5 Maak de waarheidstabel van de Booleaanse expressie (P Q) ( P Q) verder af: P Q 0 0 0 1 1 0 1 1 opgave 6 ( P Q): Maak de waarheidstabel van de Booleaanse expressie (P Q) 6

Booleaanse expressies met drie enkelvoudige proposities opgave 7 Maak de waarheidstabel van de Booleaanse expressie P (Q R) verder af: P Q R Q R P (Q R) 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 opgave 8 Maak de waarheidstabel van de Booleaanse expressie (P Q) (P R) verder af: P Q R (P Q) (P R)) 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 opgave 9 verder af: Maak de waarheidstabel van de Booleaanse expressie P (Q R) P Q R (Q R) P (Q R) 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 7

opgave 10 (Q R)): Maak de waarheidstabel van de Booleaanse expressie P ( R Extra opgaven opgave 11 (Q P )). Maak de waarheidstabel van de Booleaanse expressie Q (P opgave 12 (Q P )). Maak de waarheidstabel van de Booleaanse expressie Q (P 8

opgave 13 (Q R)). Maak de waarheidstabel van de Booleaanse expressie P (P opgave 14 Maak de waarheidstabel van de Booleaanse expressie P (P (Q (R Q))). opgave 15 Maak de waarheidstabel van de Booleaanse expressie (P ( ( Q) (R P ))). 9

10