13. CHURCH S OCH GÖDELS SATSER. KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET.

Storlek: px
Starta visningen från sidan:

Download "13. CHURCH S OCH GÖDELS SATSER. KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET."

Transkript

1 81 13 CHURCH S OCH GÖDELS SATSER KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET Våra beräkningar skall utföras på symbolsträngar, där symbolerna tas från ett givet alfabet Σ = {a 0,a 1,a 2,}, ändligt eller uppräkneligt oändligt Vi sätter Σ* = {alla ändliga strängar över Σ} ; vi tar i detta sammanhang inte med den tomma strängen Vi använder beteckningen N för mängden av naturliga tal, betraktade som abstrakta matematiska objekt utan referens till någon speciell representation Vid beräkningar används någon representation Vi betraktar några sådana: Binär representation: välkänd N bin = {strängen 0 och alla strängar över {0,1} som börjar på 1} Decimal representation: välkänd N dec = {strängen 0 och alla strängar över {0,1,2,,9} som inte börjar på 0} Unär representation: talet n representeras av n+1 stycken ettor N un = {alla strängar över {1}} = {1}* Peano-representation: talet n representeras av strängen S(S(S((S(0))))) med n stycken S I övrigt kommer vi att arbeta med två logiska alfabet, det ena satslogiskt, det andra predikatlogiskt: Alfabetet Σ SL = {,,,,, (, ),, p 0 p 1,p 2,} innehåller symbolerna i satslogiken Σ * SL består av alla ändliga strängar över Σ SL En delmängd därav är WFS SL = {wellformed sentences i satslogiken} En delmängd därav är LG SL = = {alla logiskt giltiga sentenser (tautologier) i satslogiken} Alfabetet Σ AR = {,,,,,,, (, ),, (kommatecken),, =, S, +,, 0, x 0, x 1, x 2, } innehåller symbolerna i predikatlogiken med de icke-logiska symbolerna S, +,, 0 ("det aritmetiska språket"; AR står för aritmetik) som används i Peanos axiomsystem Här kan vi betrakta mängderna Σ * AR WFF AR WFS AR LG AR (WFF står för wellformed formula)

2 82 Med ett mekaniskt förfarande eller program P menar vi här en uppsättning föreskrifter, som för varje tillåtet input ger upphov till en stegvis process, vars förlopp är entydigt bestämt av input Begreppet är av intuitivt matematiskt slag (preciseringar skall diskuteras nedan), inget sägs om programspråk eller hårdvara; programmet kan tex bestå av ett antal svenska satser skrivna på ett papper, hårdvaran av en människa med papper och penna Fysikaliska begränsningar, i form av ändliga resurser i materia och tid, antas ej föreligga Processen kan (beroende av input) stoppa efter ett ändligt antal steg eller fortsätta i oändlighet Den kan under sitt förlopp ge ifrån sig inget, ett eller flera output (i det fall att processen aldrig stoppar är det möjligt att den ger oändligt många output) I denna text använder vi följande Definitioner P kallas en algoritm, om processen stoppar och ger precis ett output för varje tillåtet input En funktion f: U V är beräkningsbar, om det finns någon algoritm som beräknar den, dvs som för varje x U som input stoppar med f(x) som output P säges generera mängden M (vid input a), om (vid input a) {outputs som fås under processen} = M (Denna definition tillåter upprepningar i uppräkningen av M:s element, men programmet kan lätt modifieras så att upprepningar ej förekommer) En mängd M är effektivt uppräknelig, om det finns något program som genererar M Givet nu en mängd U ("universum") och en delmängd M av U P är ett fullständigt test för M, om för varje input x U x M processen stannar och ger output som visar x M, tex 1 och x M processen stannar och ger output som visar x M, tex 0 (1) (2) P är ett positivt test för M om (1) gäller P är ett negativt test för M om (2) gäller M är avgörbar om det finns något fullständigt test för M Exempel 131 Vilken som helst av de ovan givna representationerna av N är effektivt uppräknelig (läsaren bör övertyga sig om detta) Vi kan kortfattat säga: "N är effektivt uppräknelig"

3 83 Exempel 132 Låt N' och N" vara två vilka som helst av ovan betraktade representationer av N Då är förstås funktionen f: N' N", som översätter representationen i N' för ett tal till representationen i N" för samma tal, beräkningsbar (tänk efter!) Om delmängden M' N' svarar mot M" N", så inser vi att följande gäller: (i) M' är eff uppräknelig M" är eff uppräknelig (ii) M' är avgörbar M" är avgörbar Vi kan kortfattat säga att en delmängd av N är effektivt uppräknelig respektive avgörbar Exempel 133 Varje ändlig mängd är avgörbar (Varför?) Exempel 134 {primtal} i N är avgörbar (test?) Exempel 135 Tag Σ * SL som universum WFS SL är avgörbar, som tex framgår av programmet "wfs" i Scheme-paketet Med WFS SL som universum är LG SL avgörbar, tex ger sanningsvärdestabell-konstruktion eller tablåalgoritmen fullständiga test LG SL är också avgörbar med Σ * SL som universum enligt principen: C avgörbar delmängd av B och B avgörbar delmängd av A C avgörbar delmängd av A (motivera!) Exempel 136 Tag Σ * AR som universum WFF AR och WFS AR är avgörbara (se tex programmet "wff" i Scheme-paketet) Tablåmetoden ger nu bara ett positivt test för LG AR : om den matas med en logiskt giltig sentens kommer den efter ett ändligt antal steg att producera ett bevis för denna (en "fullständig automatisk teorembevisare"), men om den matas med en falsifierbar sentens, så kan det hända att processen inte stoppar Detta utesluter inte att det skulle kunna finnas något annat test för LG AR som är fullständigt Avgörbarheten av LG AR skall behandlas nedan Några allmänna observationer Givet ett effektivt uppräkneligt universum U och en delmängd M av U Då gäller a) M är avgörbar det finns både ett positivt test och ett negativt test för M b) M är eff uppräknelig det finns något positivt test för M

4 84 c) M är avgörbar M:s karakteristiska funktion är beräkningsbar d) M är eff uppräknelig det finns någon beräkningsbar surjektion: M N e) M är avgörbar både M och M c (M:s komplement) är eff uppräkneliga Bevis: a) ) Uppenbart ) Låt P + och P - vara ett positivt och ett negativt test för M Ett fullständigt test fås så här: ge input x U till både P + och P - och tag omväxlande ett steg enligt P + och P - Efter ett ändligt antal steg får vi antingen veta från P + att x M eller från P - att x M b) ) Givet x U som input, sätt igång generering av M, stoppa med output 1 om och när x dyker upp Detta ger ett positivt test för M ) Givet ett positivt test P + Låt P arbeta så här; sätt igång generering av U: u 0,u 1,u 2,; efter generering av u k tag med var och en av u 0,u 1,,u k som input k steg enligt P +, gå sedan vidare till generering av u k+1 osv Varje gång P + stoppar och ger output 1 för ett u i, låt P ge detta u i som output Man inser att P kommer att generera hela M c) Omedelbart klart ur definitionen av avgörbarhet d) ) Givet input ett naturligt tal n (i någon representation) Sätt igång generering av M: m 0,m 1,m 2,, stoppa när vi kommer till m n och ge m n som output Denna algoritm ger en surjektion: N M ) Låt f: N M vara en beräkningsbar surjektion Låt P arbeta så här: sätt igång generering av N: 0,1,2, För varje n beräknas f(n) och ges som output av P P kommer att generera hela M e) Ett negativt test för M är ekvivalent med ett positivt test för M c Använd a) och b) Vi skall nu införa begreppet "gödelnumrering", som gör att vi kan översätta alla utsagor om strängar (och tillhörande mängder, relationer och funktioner) till utsagor om naturliga tal (och tillhörande mängder, relationer och funktioner) Givet ett alfabet Σ = {a 0,a 1,a 2,} och motsvarande strängmängd Σ* En gödelnumrering av Σ* är en tillordning av naturliga tal till elementen i Σ*, sådan att 1) gödelnumret för en sträng kan effektivt beräknas 2) olika strängar har olika gödelnummer 3) för varje naturligt tal n kan det avgöras om n är ett

5 85 gödelnummer, och i så fall kan motsvarande sträng effektivt bestämmas Mer koncist: en gödelnumrering av Σ* är en beräkningsbar injektion gn: Σ* N med avgörbar värdemängd och beräkningsbar invers Vilken gödelnumrering vi använder spelar ingen roll; begreppet har huvudsakligen teoretiskt intresse Vi visar här en enkel sådan, gn: Σ* N bin Sätt gn(a k ) = med k stycken nollor, och låt en godtycklig sträng i Σ* få som gödelnummer den sträng som fås genom att ersätta varje bokstav med sitt gödelnummer enligt ovan Exempel 137 gn(a 1 a 0 a 3 a 1 ) = (binärt skrivet tal) Läsaren bör övertyga sig om att ovan givna gn uppfyller villkoren för en gödelnumrering (med värdemängden N {0}, om alfabetet är oändligt) Exempel 138 Σ SL = {,,,,, (, ),, p 0, p 1, p 2, } Observationer a 0 a 1 a 2 a 3 a 4 a 5 a 6 a 7 a 8 a 9 a 10 Gödelnumret för ) är Gödelnumret för (p 0 p 1 ) är Låt M vara en delmängd av Σ* och gn(m) motsvarande mängd av gödelnummer Då gäller: M eff uppräknelig gn(m) eff uppräknelig M avgörbar gn(m) avgörbar Låt f: U V vara en funktion (U och V strängmängder) och f gn motsvarande funktion: gn(u) gn(v) Då gäller f beräkningsbar f gn beräkningsbar Bevisas rakt upp och ned Läsaren bör övertyga sig Exempel 139 gn(σ * SL ) = N {0} (binär representation) är uppenbart eff uppräknelig Mot den naturliga uppräkningen 1, 10, 11, 100, 101, 110, 111, 1000, 1001, av N {0} svarar uppräkningen,,,,,,,, av Σ * SL Av den tidigare observationen e) följer att även WFS SL och LG SL är eff uppräkneliga Motsvarande fås direkt för Σ * AR, WFF AR och WFS AR Att

6 86 även LG AR är eff uppräknelig följer av observation b) och existensen av ett positivt test för LG AR Fortfarande kvarstår frågan om LG AR är avgörbar 1936 bevisade Church sin berömda oavgörbarhetssats för predikatlogiken Här är en version av den Church's oavgörbarhetssats LG AR är inte avgörbar Resultatet gäller även för andra predikatlogiska språk än just aritmetikens, det väsentliga är förekomsten av funktionssymboler och/eller flerställiga relationssymboler Med hjälp av observation e) fås följande Corollarium {falsifierbara sentenser i WFS AR } är inte eff uppräknelig Vi skall ge en skiss av hur man kan bevisa Church's sats, och samtidigt även se hur Gödels ofullständighetssats kan erhållas Eftersom Church's sats säger att det inte finns någon algoritm som ger ett fullständigt test för LG AR, så uttalar den sig om alla överhuvudtaget tänkbara algoritmer Om man vill bevisa ett sådant uttalande, så duger det inte längre att använda sin intuitiva uppfattning av begreppet algoritm, utan våra begrepp måste ges exakta definitioner Av observationerna c) och d) följer att det räcker att exakt definiera begreppet beräkningsbar funktion, och av den senaste observationen om Gödelnummer följer att det räcker att exakt definiera begreppet beräkningsbar funktion: N N Många olika analyser av detta begrepp har gjorts Här är några: 1) Funktionen kan beräknas med en Turingmaskin Detta begrepp studeras i andra kurser 2) Funktionen är "rekursiv" i en speciell mening, som kan definieras på basis av addition och multiplikation 3) Funktionen kan beräknas med en abstrakt variant av registermaskiner 4) Funktionen kan definieras i Church's "λ-kalkyl" 5) Funktionen kan beräknas medelst ett system av rekursionsekvationer enligt Herbrand - Gödel

7 87 På grund av djupet av analyserna som ledde till ovanstående definitioner och det faktum att alla dessa visat sig vara ekvivalenta (kan stringent bevisas) så måste man här ha hittat ett viktigt begrepp, och det är numera ganska allmänt accepterat att det sammanfaller med det intuitiva begreppet beräkningsbar, det är detta som kallas Church's tes I och med detta får vi också precisa definitioner av begreppen avgörbar, kallas då rekursiv, och effektivt uppräknelig, kallas då rekursivt uppräknelig Innan vi går in på Church's sats etc skall vi titta på ett oavgörbarhetsresultat som handlar om Turingmaskiner En Turingmaskin av viss typ (det finns några oväsentliga variationer av begreppet) karakteriseras av sitt "program", som kan ges som en ändlig symbolsträng Mängden av Turingmaskiner kan därmed lätt visas vara eff uppräknelig: Tm 1, Tm 2, Tm 3, Följande sats gäller: Sats Variant av stopp-problemet för Turingmaskiner Mängden M = {n N; Tm n stoppar vid input n} är ej avgörbar Bevis: Antag att M vore avgörbar Det skulle då finnas en beräkningsbar funktion: g: N {0,1} sådan att 1 om Tm n stoppar vid input n g(n) = 0 annars Enligt Church's tes finns en Turingmaskin, säg Tm d, som beräknar g Vi får därmed följande motsägelse: Tm d stannar ej vid input d [def av g] g(d) = 0 [Tm d beräknar g] Tm d stannar och ger output 0 vid input d M kan alltså inte vara avgörbar VSB Låt oss definiera begreppet "teori" Vi tar fasta på följande egenskap: om sentenserna P 1, P 2,, P n ingår i en teori och Q är en logisk konsekvens av (kan härledas från) dessa, så ingår även Q i teorin Vi gör alltså följande Definition En teori (över ett predikatlogiskt språk L) är en mängd sentenser (över L) som är sluten under härledbarhet (eller ekvivalent: under logisk konsekvens)

8 88 Exempel 1310 T Peano = {alla konsekvenser av Peanos axiom} är en teori T aritmetik = {alla sentenser som är sanna i standardtolkningen} är en teori LG AR är en teori WFS AR är en teori Om vi stryker alla induktionsaxiom i Peanos axiomsystem och lägger till som axiom x(x 0 y(x = S(y))), så får vi ett axiomsystem med sju axiom, de sk Q-axiomen T Q = {alla konsekvenser av Q-axiomen} är en teori Obs att LG AR T Q T Peano T aritmetik WFS AR Dessa teorier skall vi koncentrera oss på i fortsättningen Ett antal egenskaper hos teorier skall betraktas: konsistens, fullständighet, axiomatiserbarhet, effektiv uppräknelighet och avgörbarhet Definitioner T är konsistent (motsägelsefri) om ej tillhör T T är fullständig om för varje sentens P antingen P eller P tillhör T (dvs "T svarar på varje fråga i det aktuella språket") Observera att T är konsistent inte för någon sentens gäller att både P och P tillhör T Och: T är konsistent T är inte hela WFS L Antag vidare att T' är en utvidgning av T, dvs att T' T Då gäller: T' konsistent T konsistent ; T fullständig T' fullständig (Läsaren bör övertyga sig om alla dessa påståenden) Exempel 1311 Av teorierna i exempel 1310 är alla konsistenta utom WFS AR Varför? T aritmetik är fullständig Varför? Man kan visa att om P är sentensen x y(x+y = y+x), så är varken P eller P en konsekvens av Q-axiomen (Jfr ett tentamenstal ) Detta visar att teorin T Q inte är fullständig Däremot är ju P en konsekvens av Peanos axiom, dvs P T Peano Fullständighet eller inte för T Peano diskuteras nedan Mera banala iakttagelser: LG AR är ofullständig, WFS AR fullständig

9 89 Definition T är axiomatiserbar om det finns någon avgörbar delmängd av sentenser i T (vilka kallas axiom) från vilka alla sentenser i T kan härledas Obs: här menas "avgörbar såsom delmängd av WFS L " Lägg märke till kravet på avgörbarhet Utan det blir varje teori trivialt axiomatiserbar: tag hela teorin som axiomsystem! Exempel 1312 T Peano och T Q är uppenbarligen axiomatiserbara per definition (läsaren måste övertyga sig om att mängden av axiom i Peanos axiomsystem är avgörbar) Den intressanta frågan i detta sammanhang är huruvida T aritmetik är axiomatiserbar Den skall besvaras nedan LG AR är trivialt axiomatiserbar (tag tom axiommängd), liksom WFS AR (tag tex som enda axiom) Observation A En axiomatiserbar teori är effektivt uppräknelig Bevis: Låt T vara en axiomatiserbar teori En godtycklig sentens Q tillhör T det finns axiom P 1,,P n så att P 1 P n Q tillhör LG AR (eller allmännare: LG L ) Vi har tidigare konstaterat att LG AR är eff uppräknelig T kan genereras så här: generera LG AR ; för varje genererad sentens kan avgöras om den är på formen P 1 P n Q, där P i är axiom (här används att mängden av axiom är avgörbar); om så är fallet ges Q som output Observation B En fullständig axiomatiserbar teori är avgörbar Bevis: Antag att T är fullständig och axiomatiserbar Om T är inkonsis-tent, så är T = WFS L, trivialt avgörbar Antag därför i fortsättningen av beviset att T är konsistent För att avgöra om ett godtyckligt P tillhör T, generera T (möjligt enligt observation A) tills antingen P eller P dyker upp Då avgörs om P T eller inte, ty på grund av konsistensen gäller ( P) T P T Vi närmar oss oavgörbarhets- och ofullständighetsbevisen i logiken I grunden handlar det om samma typ av "diagonal-argument" ("själv-

10 90 referens") som vid stopp-problemet för Turingmaskiner Där användes att varje beräkningsbar funktion kan beräknas med en Turingmaskin (om vi accepterar Church's tes) Vi skall nu använda oss av nedanstående motsvarighet inom logiken - aritmetiken Definition En mängd M av naturliga tal är definierbar i teorin T, om det finns någon formel A(x) med en fri variabel, sådan att n M A(n) T n M ( A(n)) T (n är peano-representationen för n) Exempel 1313 M = {primtal} är definierbar i T Peano av formeln P(x) i exempel 68 (bevisas inte här) Man kan bevisa följande förvånansvärt starka resultat: Sats Varje avgörbar delmängd av N är definierbar i T Q Church's tes förutsättes Referens tex Boolos - Jeffrey: Computability and Logic (Cambridge University Press) Beviset är långt och tekniskt Men när vi väl har detta resultat får vi ganska snabbt vår huvudsats: Sats Låt T vara en konsistent utvidgning av T Q (ev T = T Q ) Då är T ej avgörbar Bevis: Antag att T vore avgörbar Sätt M = {n N; n är gödelnumret för någon formel P(x) med en fri variabel, och P(n) T} M är då avgörbar (tänk efter!), och kan definieras i T Q, och därmed i T, av en formel D(x) Låt d vara gödelnumret för denna formel Vi frågar oss nu om D(d) tillhör T och får följande motsägelse: D(d) T [def av M] d M [D(x) definierar M] ( D(d)) T [T konsistent] D(d) T, och D(d) T [def av M] d M [D(x) definierar M] D(d) T Härav följer att T inte kan vara avgörbar Corollarium 1 Church's sats LG AR är inte avgörbar Bevis: Låt A vara konjunktionen av de ändligt många Q-axiomen För en godtycklig sentens P gäller då P T Q (A P) LG AR Om LG AR vore avgörbar skulle tydligen T Q också bli avgörbar, i strid med satsen Härmed är saken klar

11 91 Corollarium 2 Variant av Gödels första ofullständighetssats Det finns ingen konsistent, fullständig, axiomatiserbar utvidgning av T Q Bevis: Kombinera satsen med observation B Corollarium 3 T aritmetik är inte axiomatiserbar (speciellt inte avgörbar) Corollarium 4 T Peano är inte fullständig, och förblir ofullständig vid varje konsistent utvidgning av axiomsystemet Apropå corollarium 4 skulle det vara intressant att ange en aritmetisk sentens P sådan att varken P eller P kan härledas från Peanos axiom, eller ekvivalent: att ange en (i standardmodellen) sann aritmetisk sentens som ej kan härledas från Peanos axiom En sådan är den som förekommer i Gödels andra ofullständighetssats nedan Medelst gödelnumrering kan utsagor om våra formella system översättas till utsagor om naturliga tal Tex kan utsagan "T Peano är konsistent", dvs "från Peanos axiom kan ej härledas" översättas till en sentens i aritmetikens språk, som vi skriver "Consis T Peano " Denna sentens är sann (i standardmodellen) om och endast om T Peano är konsistent (vilket ju är fallet!) I Hilberts program (omtalat i avsnitt 12) ingick att försöka bevisa konsistensen av formella system med hjälp av "ändliga metoder" Detta projekt kom på skam, som visas av följande sats (bevisas ej här): Sats Variant av Gödels andra ofullständighetssats Låt T vara en konsistent, axiomatiserad utvidgning av T Q Då är sentensen "Consis T" sann (i standardmodellen) men ingår ej i T, dvs kan ej härledas från T:s axiom Specialfall: "Konsistensen av Peano-aritmetiken kan ej visas med metoder formaliserbara inom Peano-aritmetiken" ******************************

12 92 Övningar till avsnitt 13 1 Antag att T är en fullständig teori i något predikatlogiskt språk Låt P och Q vara godtyckliga sentenser i det aktuella språket a) Visa P Q T (P T eller Q T) b) Visa att kravet på fullständighet ej kan slopas: ge ett exempel på en ofullständig teori för vilken påståendet i a) inte gäller 2 Låt T vara den teori över språket { }, som består av alla konsekvenser av följande axiom: x(x x) x y z(x y y z x z) x y(x y y x x = y) x y(x y y x) x y z(x z z y) (Totalordning med största och minsta element) Visa att T inte är en fullständig teori 3 Visa att följande två sentenser är logiska konsekvenser av Q-axiomen: a) x y(x + y = 0 x = 0 y = 0) b) x y(y x = 0 x = 0 y = 0) 4 Betrakta ett språk för gruppteorin, med tvåställiga funktionssymbolen, enställiga funktionssymbolen -1, samt individkonstanten e Teorin för abelska grupper har följande axiom: x y z((x y) z = x (y z)) x(x e = x e x = x) x(x x -1 = e x -1 x = e) x y(x y = y x) Visa att denna teori ej är fullständig! (Betrakta t ex följande strukturer: (i) Mängden av heltal med binära operationen + etc (ii) Mängden {0} med binära operationen + etc )

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen KTH Matematik Bengt Ek Maj 2008 Kompletteringsmaterial till kursen SF1642, Logik för D1 och IT3: K2 Något om modeller, kompakthetssatsen Vi skall presentera ett enkelt (om man känner till sundhets- och

Läs mer

K2 Något om modeller, kompakthetssatsen

K2 Något om modeller, kompakthetssatsen KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K2 Något om modeller, kompakthetssatsen Vi skall presentera ett enkelt (om man känner till sundhets- och fullständighetssatsen

Läs mer

DD1350 Logik för dataloger

DD1350 Logik för dataloger DD1350 Logik för dataloger Fö 8 Axiomatiseringar 1 Modeller och bevisbarhet Sedan tidigare vet vi att: Om en formel Φ är valid (sann i alla modeller) så finns det ett bevis för Φ i naturlig deduktion.

Läs mer

Om semantisk följd och bevis

Om semantisk följd och bevis Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om semantisk följd och bevis Logik handlar bla om studiet av korrekta slutledningar, dvs frågan om när det är riktigt

Läs mer

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik DD1350 Logik för dataloger Fö 7 Predikatlogikens semantik 1 Kryssprodukt av mängder Om A och B är två mängder så är deras kryssprodukt A B mängden av alla par (a,b), där a A och b B. Ex: A={1,2}, B={3,4},

Läs mer

Lite om bevis i matematiken

Lite om bevis i matematiken Matematik, KTH Bengt Ek februari 2013 Material till kursen SF1662, Diskret matematik för CL1: Lite om bevis i matematiken Inledning Bevis är centrala i all matematik Utan (exakta definitioner och) bevis

Läs mer

12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI.

12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI. 75 12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI. I slutet av 1800-talet uppfann Cantor mängdteorin som ett hjälpmedel vid sitt arbete med integrationsteori. Med en mängd menade Cantor "vilken som

Läs mer

Föreläsning 5. Deduktion

Föreläsning 5. Deduktion Föreläsning 5 Deduktion Hur ett deduktivt system fungerar Komponenter - Vokabulär Ett deduktivt system använder ett visst slags språk som kan kallas för systemets vokabulär. I mindre formella fall är kanske

Läs mer

Tal till Solomon Feferman

Tal till Solomon Feferman Ur: Filosofisk tidskrift, 2004, nr 1. Dag Westerståhl Tal till Solomon Feferman (Nedanstående text utgör det tal som Dag Westerståhl höll på Musikaliska Akademien i oktober 2003, i samband med att Feferman

Läs mer

Primitivt rekursiva funktioner och den aritmetiska hierarkin

Primitivt rekursiva funktioner och den aritmetiska hierarkin Primitivt rekursiva funktioner och den aritmetiska hierarkin Rasmus Blanck 0 Inledning En rad frågor inom logiken, matematiken och datavetenskapen relaterar till begreppet beräkningsbarhet. En del i kursen

Läs mer

Kontinuitet och gränsvärden

Kontinuitet och gränsvärden Kapitel Kontinuitet och gränsvärden.1 Introduktion till kontinuerliga funktioner Kapitlet börjar med allmänna definitioner. Därefter utvidgar vi successivt familjen av kontinuerliga funktioner, genom specifika

Läs mer

Filosofisk logik Kapitel 19. Robin Stenwall Lunds universitet

Filosofisk logik Kapitel 19. Robin Stenwall Lunds universitet Filosofisk logik Kapitel 19 Robin Stenwall Lunds universitet Dagens upplägg Gödels fullständighetsteorem Sundhet och fullständighet Fullständighetsbeviset Vittneskonstanter Henkinteorin Eliminationsteoremet

Läs mer

Föreläsning 9: Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.

Föreläsning 9: Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Föreläsning 9: Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står

Läs mer

Grundläggande logik och modellteori (5DV102)

Grundläggande logik och modellteori (5DV102) Tentamen 2014-01-10 Grundläggande logik och modellteori (5DV102) M. Berglund och K. Markström Totalt antal uppgifter 10 Maximalt antal poäng 30 Krav för 3 i betyg 1 Krav för 4 i betyg 19 poäng, vara minst

Läs mer

K3 Om andra ordningens predikatlogik

K3 Om andra ordningens predikatlogik KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K3 Om andra ordningens predikatlogik Vi presenterar på dessa sidor kortfattat andra ordningens predikatlogik, vilket

Läs mer

Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.

Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står skrivna: Oändligt

Läs mer

Övningshäfte 2: Induktion och rekursion

Övningshäfte 2: Induktion och rekursion GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2017 INLEDANDE ALGEBRA Övningshäfte 2: Induktion och rekursion Övning D Syftet är att öva förmågan att utgående från enkla samband, aritmetiska och geometriska,

Läs mer

1.1. Fördjupning: Jämförelse av oändliga mängder

1.1. Fördjupning: Jämförelse av oändliga mängder Kapitel 1 Kardinalitet Den här texten är tagen från boken Diskret matematik av Asratian Björn Turesson (och delvis modifierad) Av den anledningen finns det visa hänvisningar på en del ställen som är ersatta

Läs mer

Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden.

Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden. MATEMATISK LOGIK Matematisk logik formaliserar korrekta resonemang och definierar formellt bindeord (konnektiv) mellan påståenden (utsagor, satser) I matematisk logik betraktar vi påståenden som antingen

Läs mer

Definitionsmängd, urbild, domän

Definitionsmängd, urbild, domän 5B1493, lekt 5, HT06 Funktioner Definition av begreppet Definition: Låt X och Y vara två mängder. En funktion f av typ X Y är detsamma som en delmängd av X Y, sådan att 1. Om (x, y) och (x, z) f, så är

Läs mer

Om modeller och teorier

Om modeller och teorier Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om modeller och teorier Hittills i kursen har vi studerat flera olika typer av matematiska strukturer, bl.a. (partial)ordnade

Läs mer

DD1350 Logik för dataloger

DD1350 Logik för dataloger DD1350 Logik för dataloger Fö 4 Predikatlogik 1 Kort repetition Satslogik Naturlig deduktion är ett sunt och fullständigt bevissystem för satslogik Avgörbarhet Så vad saknas? Egenskaper Satslogiken är

Läs mer

Om ordinaltal och kardinaltal

Om ordinaltal och kardinaltal Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om ordinaltal och kardinaltal (Ännu ofullständig version) Mängdteorin kan ses som grunden för all matematik Här skall

Läs mer

Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet

Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet Dagens upplägg Antalet element i en mängd Kardinalitet Humes princip Cantors teorem Den universella mängden Några mängdteoretiska paradoxer

Läs mer

Objektorienterad modellering och diskreta strukturer. 13. Problem. Sven Gestegård Robertz. Datavetenskap, LTH

Objektorienterad modellering och diskreta strukturer. 13. Problem. Sven Gestegård Robertz. Datavetenskap, LTH Objektorienterad modellering och diskreta strukturer 13. Problem Sven Gestegård Robertz Datavetenskap, LTH 2014 Rekaputilation Vi har talat om satslogik och härledning predikatlogik och substitution mängder

Läs mer

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium. v. 2.0, den 29/ III. Metalogik 17-19

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium. v. 2.0, den 29/ III. Metalogik 17-19 Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium IV v. 2.0, den 29/4 2013 III. Metalogik 17-19 Modeller för satslogiken 18.1 Vi har tidigare sagt att en modell är en tolkning av en teori

Läs mer

Föreläsning 5: Kardinalitet. Funktioners tillväxt

Föreläsning 5: Kardinalitet. Funktioners tillväxt Föreläsning 5: Kardinalitet. Funktioners tillväxt A = B om det finns en bijektion från A till B. Om A har samma kardinalitet som en delmängd av naturliga talen, N, så är A uppräknelig. Om A = N så är A

Läs mer

Material till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm. Axiom som är ekvivalenta med urvalsaxiomet

Material till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm. Axiom som är ekvivalenta med urvalsaxiomet Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm Vi har tidigare nämnt Zermelo-Fraenkels axiom för mängdläran, de upprepas på sista sidan av dessa

Läs mer

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 28 oktober 2001 1 Heltalen Det första kapitlet handlar om heltalen och deras aritmetik, dvs deras egenskaper som

Läs mer

Föreläsningsanteckningar och övningar till logik mängdlära

Föreläsningsanteckningar och övningar till logik mängdlära Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,

Läs mer

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 8: Predikatlogik Henrik Björklund Umeå universitet 2. oktober, 2014 Första ordningens predikatlogik Signaturer och termer Första ordningens predikatlogik Formler

Läs mer

Logik och modaliteter

Logik och modaliteter Modallogik Introduktionsföreläsning HT 2015 Formalia http://gul.gu.se/public/courseid/70391/lang-sv/publicpage.do Förkunskaper etc. Logik: vetenskapen som studerar argument med avseende på (formell) giltighet.

Läs mer

Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet

Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet Filosofisk logik Kapitel 15 Robin Stenwall Lunds universitet Dagens upplägg Första ordningens mängdlära Naiv mängdlära Abstraktionsaxiomet (eg. comprehension) Extensionalitetsaxiomet Små mängder Ordnade

Läs mer

p /\ q r DD1350 Logik för dataloger Kort repetition Fö 3 Satslogikens semantik

p /\ q r DD1350 Logik för dataloger Kort repetition Fö 3 Satslogikens semantik DD1350 Logik för dataloger Fö 3 Satslogikens semantik 1 Kort repetition Satslogik formellt språk för att uttrycka påståenden med variabler och konnektiv /\, \/,, t.ex. p /\ q r 1 Kort repetition Naturlig

Läs mer

Grundläggande logik och modellteori (5DV102)

Grundläggande logik och modellteori (5DV102) Tentamen 2013-10-31 Grundläggande logik och modellteori (5DV102) M. Berglund och K. Markström Totalt antal uppgifter 11 Maximalt antal poäng 30 Krav för 3 i betyg 14 poäng Krav för 4 i betyg 19 poäng,

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 014 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 014 1 / 44 Mängder (naiv, inte

Läs mer

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4 VSNITT ÄNDLIGT OCH OÄNDLIGT Är det möjligt att jämföra storleken av olika talmängder? Har det någon mening om man säger att det finns fler irrationella tal än rationella? Är det överhuvudtaget möjligt

Läs mer

Några satser ur talteorin

Några satser ur talteorin Några satser ur talteorin LCB 997/2000 Fermats, Eulers och Wilsons satser Vi skall studera några klassiska satser i talteori, vilka är av betydelse bland annat i kodningsteknik och kryptoteknik. De kan

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 04 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 04 / 45 Mängder och logik Relationer

Läs mer

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl Matematiska Institutionen KTH Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL och Media, SF60 och 5B8, onsdagen den 7 augusti 0, kl 4.00-9.00. Examinator: Olof Heden Hjälpmedel: Inga

Läs mer

Filosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen

Filosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium VI v. 2.0, den 5/5 2014 Kompakthet och Löwenheim-skolemsatsen 19.6-19.7 Närhelst vi har en mängd satser i FOL som inte är självmotsägande

Läs mer

Viktiga frågor att ställa när ett argument ska analyseras och sedan värderas:

Viktiga frågor att ställa när ett argument ska analyseras och sedan värderas: FTEA12:2 Föreläsning 2 Grundläggande argumentationsanalys II Repetition: Vid förra tillfället började vi se närmre på vad som utmärker filosofisk argumentationsanalys. Vi tittade närmre på ett arguments

Läs mer

Övningshäfte 1: Induktion, rekursion och summor

Övningshäfte 1: Induktion, rekursion och summor LMA100 VT2006 ARITMETIK OCH ALGEBRA DEL 2 Övningshäfte 1: Induktion, rekursion och summor Övning A 1. Kan ni fortsätta följden 1,3,5,7,9,11,...? 2. Vilket är det 7:e talet i följden? Vilket är det 184:e?

Läs mer

Algebra I, 1MA004. Lektionsplanering

Algebra I, 1MA004. Lektionsplanering UPPSALA UNIVERSITET Matematiska Institutionen Dan Strängberg HT2016 Fristående, IT, KandDv, KandMa, Lärare 2016-11-02 Algebra I, 1MA004 Lektionsplanering Här anges rekommenderade uppgifter ur boken till

Läs mer

Logik och bevisteknik lite extra teori

Logik och bevisteknik lite extra teori Logik och bevisteknik lite extra teori Inger Sigstam 2011-04-26 1 Satslogik (eng: propositional logic) 1.1 Språket Alfabetet består av följande symboler: satssymbolerna p 0, p 1, p 2,.... konnektiverna,,,,.

Läs mer

Grundläggande logik och modellteori

Grundläggande logik och modellteori Modeller och uttrycksfullhet hos predikatlogik Department of mathematics Umeå university Föreläsning 10 Dagens föreläsning 1 Innehåll på resten av kursen 2 Varför verifikation? Formella metoder för verifikation

Läs mer

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet Formell logik Kapitel 1 och 2 Robin Stenwall Lunds universitet Kapitel 1: Atomära satser Drömmen om ett perfekt språk fritt från vardagsspråkets mångtydighet och vaghet (jmf Leibniz, Russell, Wittgenstein,

Läs mer

En introduktion till predikatlogik

En introduktion till predikatlogik rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 (Premiss 1) (Premiss 2) (Slutsats) Alla människor är dödliga Sokrates är en människa Sokrates är dödlig Detta argument är intuitivt giltigt: Det finns

Läs mer

Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section

Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section Föreläsning 1 Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section 1.1-1.3 i kursboken Definition En utsaga (proposition) är ett

Läs mer

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Christian Gottlieb Gymnasieskolans matematik med akademiska ögon Induktion Dag 2. Explicita formler och rekursionsformler. Dag mötte vi flera talföljder,

Läs mer

MA 11. Hur starkt de binder. 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi

MA 11. Hur starkt de binder. 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi MA 11 Talteori och logik 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi propositionssymboler: bokstäver konnektiv Paranteser konnektiv

Läs mer

Introduktion till formella metoder Programmeringsmetodik 1. Inledning

Introduktion till formella metoder Programmeringsmetodik 1. Inledning Introduktion till formella metoder Programmeringsmetodik 1. Inledning Fokus på imperativa program (ex. C, Java) program betyder härefter ett imperativt program Program bestäms i en abstrakt mening av hur

Läs mer

Hela tal LCB 1999/2000

Hela tal LCB 1999/2000 Hela tal LCB 1999/2000 Ersätter Grimaldi 4.3 4.5 1 Delbarhet Alla förekommande tal i fortsättningen är heltal. DEFINITION 1. Man säger att b delar a om det finns ett heltal n så att a Man skriver b a när

Läs mer

Realism och anti-realism och andra problem

Realism och anti-realism och andra problem Realism och anti-realism och andra problem Vetenskap och verkligheten Vetenskapen bör beskriva verkligheten. Men vad är verkligheten? Är det vi tycker oss se av verkligheten verkligen vad verkligheten

Läs mer

MATEMATIKENS SPRÅK. Avsnitt 1

MATEMATIKENS SPRÅK. Avsnitt 1 Avsnitt 1 MATEMATIKENS SPRÅK Varje vetenskap, liksom varje yrke, har sitt eget språk som ofta är en blandning av vardagliga ord och speciella termer. En instruktionshandbok för ett kylskåp eller för en

Läs mer

Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga.

Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga. GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2005 MATEMATISK BASKURS Övningshäfte 6: Syftet med övningen är att utforska strukturen hos talsystemen under addition respektive multiplikation samt sambandet

Läs mer

Träd och koder. Anders Björner KTH

Träd och koder. Anders Björner KTH 27 Träd och koder Anders Björner KTH 1. Inledning. Det är i flera sammanhang viktigt att representera information digitalt (d.v.s omvandla till sviter av nollor och ettor). Beroende på vilka villkor som

Läs mer

PROV I MATEMATIK Automatateori och formella språk DV1 4p

PROV I MATEMATIK Automatateori och formella språk DV1 4p UPPSALA UNIVERSITET Matematiska institutionen Salling (070-6527523) PROV I MATEMATIK Automatateori och formella språk DV1 4p 19 mars 2004 SKRIVTID: 15-20. POÄNGGRÄNSER: 18-27 G, 28-40 VG. MOTIVERA ALLA

Läs mer

I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental.

I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental. Lunds tekniska högskola Datavetenskap Lennart ndersson Föreläsningsanteckningar EDF10 4 Mängder 4.1 Motivering Mängden är den mest grundläggande diskreta strukturen. Nästan alla matematiska begrepp går

Läs mer

A B A B A B S S S S S F F S F S F S F F F F

A B A B A B S S S S S F F S F S F S F F F F Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 17. Logik När man utför matematiska resonemang så har man alltid vissa logiska spelregler att förhålla

Läs mer

Mängdlära. Kapitel Mängder

Mängdlära. Kapitel Mängder Kapitel 2 Mängdlära 2.1 Mängder Vi har redan stött på begreppet mängd. Med en mängd menar vi en väldefinierad samling av objekt eller element. Ordet väldefinierad syftar på att man för varje tänkbart objekt

Läs mer

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 3: Bevissystem, Hilbertsystem Henrik Björklund Umeå universitet 8. september, 2014 Bevissystem och Hilbertsystem Teorier och deduktionsproblemet Axiomscheman

Läs mer

Induktion, mängder och bevis för Introduktionskursen på I

Induktion, mängder och bevis för Introduktionskursen på I Induktion, mängder och bevis för Introduktionskursen på I J A S, ht 04 1 Induktion Detta avsnitt handlar om en speciell teknik för att försöka bevisa riktigheten av påståenden eller formler, för alla heltalsvärden

Läs mer

Övningshäfte 3: Funktioner och relationer

Övningshäfte 3: Funktioner och relationer GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2014 INLEDANDE ALGEBRA Övningshäfte 3: Funktioner och relationer Övning H Syftet är att utforska ett av matematikens viktigaste begrepp: funktionen. Du har

Läs mer

LMA033/LMA515. Fredrik Lindgren. 4 september 2013

LMA033/LMA515. Fredrik Lindgren. 4 september 2013 LMA033/LMA515 Fredrik Lindgren Matematiska vetenskaper Chalmers tekniska högskola och Göteborgs universitet 4 september 2013 F. Lindgren (Chalmers&GU) Matematik 4 september 2013 1 / 25 Outline 1 Föreläsning

Läs mer

Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A

Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT Första delen av övningen handlar om begreppet funktion. Syftet är att bekanta sig med funktionsbegreppet som en parbildning. Vi koncentrerar oss på tre viktiga

Läs mer

Mängder och kardinalitet

Mängder och kardinalitet UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 28 september 2007 Mängder och kardinalitet Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen

Läs mer

Varför är logik viktig för datavetare?

Varför är logik viktig för datavetare? Varför är logik viktig för datavetare? 1. Datavetenskap handlar ofta om att automatisera processer som tidigare styrts av människor. Intuition, intelligens och mänskliga resonemang ersätts av beräkningar.

Läs mer

7, Diskreta strukturer

7, Diskreta strukturer Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2013 1 Inledning 2 Satslogik Inledning Satslogiska uttryck Resonemang och härledningar

Läs mer

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1. UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1

Läs mer

Dagens teman. Mängdlära forts. Relationer och funktioner (AEE 1.2-3, AMII K1.2) Definition av de naturliga talen, Peanos axiom.

Dagens teman. Mängdlära forts. Relationer och funktioner (AEE 1.2-3, AMII K1.2) Definition av de naturliga talen, Peanos axiom. Dagens teman Mängdlära orts. Relationer och unktioner (AEE 1.2-3, AMII K1.2) Deinition av de naturliga talen, Peanos axiom. Relationer och unktioner Relationer Generell deinition: En relation R på mängden

Läs mer

Bakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige

Bakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Är varje påstående som kan formuleras matematiskt*) alltid antingen sant eller falskt? *) Inom Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Exempel: 12 = 13 nej, falskt n! >

Läs mer

Föreläsning 6: Induktion

Föreläsning 6: Induktion Föreläsning 6: Induktion Induktion är en speciell inferensregel. En mängd är välordnad om varje delmängd har ett minsta element Exempel: N är välordnad (under ) Låt P(x) vara ett predikat över en välordnad

Läs mer

Induktion och rekursion

Induktion och rekursion Matematik, KTH Bengt Ek november 2016 Material till kursen SF1679, Diskret matematik för F: Induktion och rekursion 1. Om välgrundade binära relationer Låt R vara en binär relation på en mängd D. Vi skriver

Läs mer

7, Diskreta strukturer

7, Diskreta strukturer Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner

Läs mer

Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl

Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Diskret Matematik moment B för D2 och F SF63 och SF63 den juni 2 kl 8.- 3.. Examinator: Olof Heden tel. 7354789. Hjälpmedel: Inga

Läs mer

Övningshäfte 1: Logik och matematikens språk

Övningshäfte 1: Logik och matematikens språk GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter

Läs mer

2 Matematisk grammatik

2 Matematisk grammatik MATEMATISK GRAMMATIK Matematisk grammatik.1 Skriva matematik Matematisk grammatik, minst lika kul som det låter, och hur man skriver matematik är nästan lika viktigt som vad man skriver. En grammatisk

Läs mer

Peanos axiomsystem för de naturliga talen

Peanos axiomsystem för de naturliga talen 5B1493, lekt 3, HT06 P1. Det finns ett naturligt tal 0. Peanos axiomsystem för de naturliga talen P2. Varje natutligt tal n har en s.k. efterföljare n +. P3. Om n + = m + så är n = m. P4. Inget naturligt

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 5 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Så här långt Konjunktion (p q): att två enklare satser

Läs mer

Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska kunnas?

Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska kunnas? Avslutning Anmärkningar inför tentan Vad ska kunnas? Avslutning 1 Vad? Anmärkningar inför tentan 1 Att ha en bra förståelse för det som behandlades på föreläsningarna och gruppövningarna räcker i princip.

Läs mer

1 Att läsa matematik.

1 Att läsa matematik. 1 Att läsa matematik. Precis som vid all annan läsning som betyder något skall matematik läsas aktivt. Detta innebär olika saker för olika personer. För en del kanske det betyder att visualisera de idéer

Läs mer

Kap. 7 Logik och boolesk algebra

Kap. 7 Logik och boolesk algebra Ka. 7 Logik och boolesk algebra Satslogik Fem logiska konnektiv: ej, och, eller, om-så, omm Begre: sats, sanningsvärde, sanningsvärdestabell tautologi, kontradiktion Egenskaer: Räkneregler för satslogik

Läs mer

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element.

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element. Grunder i matematik och logik (2017) Mängdlära Marco Kuhlmann 1 Grundläggande begrepp Mängder och element 2.01 En mängd är en samling objekt. Två standardexempel är mängden av naturliga tal (N) och mängden

Läs mer

Innehåll. Föreläsning 7. Satslogiken är för grov. Samma sak i predikatlogik: Första ordningens predikatlogik. Logik med tillämpningar

Innehåll. Föreläsning 7. Satslogiken är för grov. Samma sak i predikatlogik: Första ordningens predikatlogik. Logik med tillämpningar Innehåll Föreläsning 7 Logik med tillämpningar 99-03-01 Första ordningens predikatlogik Objekt, predikat, kvantifierare Funktioner, termer, wffs Bindning och räckvidd Tolkningar och värderingar Satisfiering,

Läs mer

Datorprogram, algoritmer och Turing-maskiner

Datorprogram, algoritmer och Turing-maskiner Datorprogram, algoritmer och Turing-maskiner Uppsala universitet Turing-året 2012 Inledning Det är bekvämt om en maskin, till exempel en dator, kan utföra en uppgift, särskilt om den kan göra det avsevärt

Läs mer

DD1350 Logik för dataloger. Vad är logik?

DD1350 Logik för dataloger. Vad är logik? DD1350 Logik för dataloger Fö 1 - Introduktion Vad är logik? Vetenskapen som studerar hur man bör resoneraoch dra slutsatser utifrån givna påståenden (=utsagor, satser). 1 Aristoteles (384-322 f.kr) Logik

Läs mer

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4 Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 014-015 Denna lektion ska vi studera rekursion. Lektion 4 Principen om induktion Principen om induktion är ett vanligt sätt att bevisa

Läs mer

9. Predikatlogik och mängdlära

9. Predikatlogik och mängdlära Objektorienterad modellering och diskreta strukturer 9. Predikatlogik och mängdlära Sven Gestegård Robertz Datavetenskap, LTH 2014 Rekaputilation Vi har talat om satslogik naturlig härledning predikatlogik

Läs mer

ANDREAS REJBRAND NV3ANV Matematik Matematiskt språk

ANDREAS REJBRAND NV3ANV Matematik   Matematiskt språk ANDREAS REJBRAND NV3ANV 2006-02-14 Matematik http://www.rejbrand.se Matematiskt språk Innehållsförteckning MATEMATISKT SPRÅK... 1 INNEHÅLLSFÖRTECKNING... 2 INLEDNING... 3 MÄNGDER... 4 Att uttrycka en mängd...

Läs mer

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson Uppsala Universitet Matematiska Institutionen Thomas Erlandsson LÄSANVISNINGAR VECKA 36 VERSION 1. ARITMETIK FÖR RATIONELLA OCH REELLA TAL, OLIKHETER, ABSOLUTBELOPP ADAMS P.1 Real Numbers and the Real

Läs mer

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007 UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 23 oktober 2007 Relationer Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen är

Läs mer

Lösningsförslag till övningsuppgifter, del II

Lösningsförslag till övningsuppgifter, del II Lösningsförslag till övningsuppgifter del II Obs! Preliminär version! Ö.1. För varje delare d till n låt A d var mängden av element a sådana att gcd(a n = d. Partitionen ges av {A d : d delar n}. n = 6:

Läs mer

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I. v. 2.0, den 24/4 2013

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I. v. 2.0, den 24/4 2013 Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I v. 2.0, den 24/4 2013 Om detta kompendium: Filosofiska institutionen, Lunds Universitet staffan.angere@fil.lu.se Förberedande Det här kompendiet är

Läs mer

Tentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180)

Tentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180) Göteborgs Universitet och Chalmers Tekniska Högskola 25 oktober 2005 Datavetenskap TDA180/TDA181/INN110 Tentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180) Onsdagen

Läs mer

Robin Stenwall Lunds universitet

Robin Stenwall Lunds universitet Robin Stenwall Lunds universitet Avsnitt 14.1 Numerisk kvantifikation Kvantifikatorerna i FOL är begränsade till och. Detta innebär att vi kan uttrycka satser som säger någonting om allting och någonting.

Läs mer

Tommy Färnqvist, IDA, Linköpings universitet. 2 Strukturer 2 2.1 Domäner... 2 2.2 Tolkningar... 3

Tommy Färnqvist, IDA, Linköpings universitet. 2 Strukturer 2 2.1 Domäner... 2 2.2 Tolkningar... 3 Föreläsning 2 Semantik 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 27 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 2.1 Innehåll Innehåll 1 Lite mer syntax 1 2 Strukturer

Läs mer

:1) Vid ett besök på Knarrön (där ju var och en antingen är kung (och

:1) Vid ett besök på Knarrön (där ju var och en antingen är kung (och KTH Matematik B.Ek SF1642 LOGIK för D och IT, övningarna vt08 Exempel från gamla tentor (i 5B1928) Ö1, kungar och narrar 23.5-01:1a) Det är marknadsdag på Knarrön och många invånare från den närbelägna

Läs mer

D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.

D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2. Logik Vid alla matematiskt resonemang måste man vara säker på att man verkligen menar det man skriver ner på sitt papper. Därför måste man besinna hur man egentligen tänker. Den vetenskap, som sysslar

Läs mer

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Disjunktionsegenskaper och existensegenskaper inom intuitionistisk logik av Iris van Rooijen 2012 - No 17 MATEMATISKA

Läs mer