Semantik och pragmatik

Storlek: px
Starta visningen från sidan:

Download "Semantik och pragmatik"

Transkript

1 Semantik och pragmatik OH-serie 4 Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Om barnet har svårt att andas eller har ont i bröstet ska man kontakta vården direkt. Generellt sett ska man (som ansvarig vuxen) göra så här om man har hand om ett barn: (Vi bryter ut modalitet (ska) och generalitet, för att renodla.) 1 2 Här kan vi urskilja tre delsatser: barnet har svårt att andas barnet har ont i bröstet man kontaktar vården direkt Dessa satser är logiskt oberoende. Vi sätter namn på delsatserna, t.ex. p 1, p 2 och p 3. barnet har svårt att andas (p 1 ) barnet har ont i bröstet (p 2 ) man kontaktar vården direkt (p 3 ) Kan komprimeras till: Om p 1 eller p 2, så p

2 Tre oberoende satser åtta möjligheter p 1 p 2 p 3 JA JA JA JA JA NEJ JA NEJ JA JA NEJ NEJ NEJ JA JA NEJ JA NEJ NEJ NEJ JA NEJ NEJ NEJ Om p 1 eller p 2, så p 3. Villkorsdelen är uppfylld när minst en av angivna symptom föreligger (p 1 eller p 2 ). 5 6 p 1 p 2 p 1 eller p 2 p 3 villkorsdel: p 1 eller p 2 JA JA JA JA villkorsdel uppfylld JA JA JA NEJ villkorsdel uppfylld JA NEJ JA JA villkorsdel uppfylld JA NEJ JA NEJ villkorsdel uppfylld NEJ JA JA JA villkorsdel uppfylld NEJ JA JA NEJ villkorsdel uppfylld NEJ NEJ NEJ JA villkorsdel inte uppfylld NEJ NEJ NEJ NEJ villkorsdel inte uppfylld Om p 1 eller p 2, så p 3. Villkorsdelen är uppfylld när minst en av angivna symptom föreligger (p 1 eller p 2 ). När villkorsdelen är uppfylld skall man (enligt originalsatsen) kontakta vården direkt (p 3 ). Lite mer komprimerat: JA = S (sann) och NEJ = F (falsk). 7 8

3 p 1 p 2 p 1 eller p 2 p 3 Om p 1 eller p 2, så p 3. S S S S S stämmer med rådet S S S F F trotsar rådet S F S S S stämmer med rådet S F S F F trotsar rådet F S S S S stämmer med rådet F S S F F trotsar rådet F F F S S stämmer med rådet F F F F S stämmer med rådet 9 Satslogisk analys om-så-villkorlighet p q Om p, så q. Mer kompakt: p q S S S villkorsdel och konsekvensdel uppfyllda S F F villkorsdel uppfylld, men inte konsekvensdel F S S villkorsdel ej uppfylld F F S villkorsdel ej uppfylld När villkorsdelen ej är uppfylld, får det vara hur som helst med konsekvensdelen. Exempelvis: Om barnet har ont i bröstet (p), så kontaktar man vården (q). Då kan det finnas andra lägen när man kontaktar vården. (Tredje fallet.) 10 Satslogisk analys eller p q p eller q. Mer kompakt: p q S S S båda symptomen föreligger S F S endera symptomet föreligger F S S endera symptomet föreligger F F F inget symptom föreligger Exempelvis: barnet har svårt att andas (p) eller [barnet] har ont i bröstet (q) satsen är sann om endera eller båda symptomen föreligger. Denna tolkning av eller är aktuell i exemplet som visats tidigare. Satslogisk analys och Vi skulle även kunna vilka sätta ihop satser så här t.ex. barnet har svårt att andas (p) och [barnet] har ont i bröstet (q) alltså en sats som är sann (endast då) båda symptomen föreligger. p q p och q. Mer kompakt: p q S S S båda symptomen föreligger S F F endast ett symptom föreligger F S F endast ett symptom föreligger F F F inget symptom föreligger 11 12

4 Satslogisk analys modifierat exmpel Vi kan tänka oss ett annat råd (som minskar antalet samtal till vården): Om barnet har svårt att andas och har ont i bröstet, så Om p 1 och p 2, så p 3. Villkorsdelen är uppfylld när båda de angivna symptom föreligger (p 1 och p 2 ). När villkorsdelen är uppfylld skall man kontakta vården direkt (p 3 ). Satslogisk analys nya exemplet p 1 p 2 p 1 och p 2 p 3 villkorsdel: p 1 eller p 2 S S S S villkorsdel uppfylld S S S F villkorsdel uppfylld S F F S villkorsdel inte uppfylld S F F F villkorsdel inte uppfylld F S F S villkorsdel inte uppfylld F S F F villkorsdel inte uppfylld F F F S villkorsdel inte uppfylld F F F F villkorsdel inte uppfylld Satslogisk analys nya exemplet p 1 p 2 p 1 och p 2 p 3 Om p 1 och p 2, så p 3. S S S S S stämmer med rådet S S S F F trotsar rådet S F F S S stämmer med rådet S F F F S stämmer med rådet F S F S S stämmer med rådet F S F F S stämmer med rådet F F F S S stämmer med rådet F F F F S stämmer med rådet Satslogik sanningsvärden Den satslogiska analysen noterar bara om en sats är falsk eller sann. Sant och falskt är de två sanningsvärdena S och F. Alla andra drag hos satser ignoreras i satslogiken. Detta sätt att se på sanning, att satser är sanna eller falska, innebär en idealisering och/eller förenkling. (Inga grader av sanning eller säkerhet.) 15 16

5 Satslogik sanningsvärden Satslogisk struktur är en elementär och avgörande aspekt av logiken i språk och tänkande. Satslogiken ensam kan inte hjälpa oss att göra utvecklade analyser av naturligt språk, men den utgör en oumbärlig komponent i alla de mer uttrycksfulla typer av logik som används i semantiken. Satslogisk analys tre konnektiver (1) konjunktion (2) disjunktion (3) implikation p och q. p eller q. om p, så q. p q p q p q p q S S S S S S F F S F F S F S S F F F F S Annat autentiskt exempel, samma källa Om barnet svimmar oförklarligt, ofta eller upprepade gånger bör man ringa sjukvårdsrådgivningen eller vårdcentralen. kan vi tolka så här: Generellt sett ska man (som ansvarig vuxen) göra så här om man har hand om ett barn: Om barnet svimmar oförklarligt, ofta eller upprepade gånger, ringer man sjukvårdsrådgivningen eller vårdcentralen. Komponentsatser exemplets innebörd barnet svimmar oförklarligt (p 1 ) barnet svimmar ofta (p 2 ) barnet svimmar upprepade gånger (p 3 ) man ringer sjukvårdsrådgivningen (p 4 ) man ringer vårdcentralen (p 5 ) Då kan vi tolka exemplet så här: Om p 1 eller p 2 eller p 3, så p 4 eller p 5. Om (p 1 eller p 2 eller p 3 ), så (p 4 eller p 5 ). (p 1 p 2 p 3 ) (p 4 p 5 ) 19 20

6 Andra kombinationer Om barnet svimmar oförklarligt, så ringer man både sjukvårdsrådgivningen och vårdcentralen. p 1 (p 4 p 5 ) Om barnet svimmar oförklarligt och upprepade gånger, så ringer man vårdcentralen. (p 1 p 3 ) p 5 Om man ringer vårdcentralen, så svimmar barnet oförklarligt. p 5 p 1 Negation Negation kan också förstås i satslogiska termer. godtycklig sats: dess negation: I symboler: p p Möjlighet (1): S F Möjlighet (2): F S Om barnet inte svimmar oförklarligt, så ringer man vårdcentralen. ( p 1 ) p p q är likvärdig med ( q) ( p), t.ex. given given p q p q p q ( q) ( p) Möjlighet (1): S S S F F S stämmer! Möjlighet (2): S F F F S F stämmer! Möjlighet (3): F S S S F S stämmer! Möjlighet (4): F F S S S S stämmer! Så här långt Konjunktion (p q): att två enklare satser båda är uppfyllda. Disjunktion (p q): att minst en av två enklare satser är uppfylld. Implikation (p q): att andra enklare satsen är uppfylld, givet att den första är det. Negation ( p): att den enklare satsen inte är uppfylld Dessa operationer representerar elementära och oerhört viktiga sätt att kombinera information i språk och tänkande

Semantik och pragmatik (Serie 3)

Semantik och pragmatik (Serie 3) Semantik och pragmatik (Serie 3) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 37 Logik: språk tanke (Saeed kapitel 4.) Satser uttrycker (ofta) tankar. Uttrycksrikedom

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

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

Semantik och pragmatik (Serie 4)

Semantik och pragmatik (Serie 4) Semantik och pragmatik (Serie 4) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 30 Så här långt (satslogik) Konjunktion (p q): att två enklare satser båda är uppfyllda.

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

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

Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf

Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf 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 II 1 Predikatlogik, generella

Läs mer

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt,

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, Explorativ övning 1 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt matematiska språk,

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

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

Något om logik och logisk semantik

Något om logik och logisk semantik UPPSALA UNIVERSITET Semantik och pragmatik (HT 08) Institutionen för lingvistik och filologi Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv08/sempht/ Något om logik och logisk semantik 1 Språk och sanning

Läs mer

Tommy Färnqvist, IDA, Linköpings universitet. 1 Kursadministration 1. 2 Introduktion 2 2.1 Varför logik?... 2 2.2 Satslogik... 2

Tommy Färnqvist, IDA, Linköpings universitet. 1 Kursadministration 1. 2 Introduktion 2 2.1 Varför logik?... 2 2.2 Satslogik... 2 Föreläsning 1 Syntax 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 21 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 1.1 Innehåll Innehåll 1 Kursadministration 1 2 Introduktion

Läs mer

En introduktion till logik

En introduktion till logik rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 Först: Tack till Martin Kaså, som gett mig tillstånd att använda och bearbeta dessa ljusbilder. Vad är logik? Slogan: Logik undersöker vilka argument

Läs mer

Semantik och logik. Semantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet

Semantik och logik. Semantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet emantik och logik emantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet 1 Dagens föreläsning aeed 2009, kap.4 Introduktion till formell semantik Betydelse i sammansatta satser Betydelserelationer

Läs mer

Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen. x y (x > 0) (y > 0) xy > 0 Domän D = R

Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen. x y (x > 0) (y > 0) xy > 0 Domän D = R Föreläsning Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen För att göra ett påstående av en öppen utsaga med flera variabler behövs flera kvantifierare.

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

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

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

Logik och kontrollstrukturer

Logik och kontrollstrukturer Logik och kontrollstrukturer Flödet av instruktioner i ett programmeringsspråk bygger vi upp med hjälp av dess kontrollstrukturer. I C har vi exemplen if, if else, while, do while. Dessutom finns switch

Läs mer

Vad är det? Översikt. Innehåll. Vi behöver modeller!!! Kontinuerlig/diskret. Varför modeller??? Exempel. Statiska system

Vad är det? Översikt. Innehåll. Vi behöver modeller!!! Kontinuerlig/diskret. Varför modeller??? Exempel. Statiska system Vad är det? Översikt Discrete structure: A set of discrete elements on which certain operations are defined. Discrete implies non-continuous and therefore discrete sets include finite and countable sets

Läs mer

Satslogik grundläggande definitioner 3. Satslogik. Uppgift 1. Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar)

Satslogik grundläggande definitioner 3. Satslogik. Uppgift 1. Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar) Satslogik grundläggande definitioner Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar) Modeller, logisk konsekvens och ekvivalens Några notationella förenklingar Kompletta mängder

Läs mer

FTEA12:2 Filosofisk metod. Att värdera argumentation I

FTEA12:2 Filosofisk metod. Att värdera argumentation I FTEA12:2 Filosofisk metod Att värdera argumentation I Dagens upplägg 1. Några generella saker att tänka på vid utvärdering av argument. 2. Grundläggande språkfilosofi. 3. Specifika problem vid utvärdering:

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

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 6: Binära beslutsdiagram (BDD) Henrik Björklund Umeå universitet 22. september, 2014 Binära beslutsdiagram Binära beslutsdiagram (Binary decision diagrams, BDDs)

Läs mer

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

Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska ni kunna? Avslutning Anmärkningar inför tentan Vad ska ni kunna? 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, inlämningsuppgifterna och gruppövningarna

Läs mer

Generellt kan vi säga att för att vi ska värdera ett argument som bra bör det uppfylla åtminstone följande kriterier:

Generellt kan vi säga att för att vi ska värdera ett argument som bra bör det uppfylla åtminstone följande kriterier: FTEA12:2 Föreläsning 3 Att värdera en argumentation I: Vad vi hittills har gjort: beaktat argumentet ur ett mer formellt perspektiv. Vi har funnit att ett argument kan vara deduktivt eller induktivt, att

Läs mer

FTEA12:2 Filosofisk Metod. Grundläggande argumentationsanalys II

FTEA12:2 Filosofisk Metod. Grundläggande argumentationsanalys II TEA12:2 ilosofisk Metod Grundläggande argumentationsanalys II Dagens upplägg 1. Kort repetition. 2. Logisk styrka: några intressanta specialfall. 3. ormalisering: översättning från naturligt språk till

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

MA2047 Algebra och diskret matematik

MA2047 Algebra och diskret matematik MA2047 Algebra och diskret matematik Något om logik och mängdlära Mikael Hindgren 5 september 2018 Utsagor Utsaga = Påstående som har sanningsvärde Utsagan kan vara sann (S) eller falsk (F) öppen eller

Läs mer

Anteckningar om logik och semantik

Anteckningar om logik och semantik UPPSALA UNIVERSITET Semantik och pragmatik (VT 2012) Institutionen för lingvistik och filologi Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv12/semp/ Anteckningar om logik och semantik 1 Inledning 1.1

Läs mer

DD1350 Logik för dataloger. Fö 2 Satslogik och Naturlig deduktion

DD1350 Logik för dataloger. Fö 2 Satslogik och Naturlig deduktion DD1350 Logik för dataloger Fö 2 Satslogik och Naturlig deduktion 1 Satslogik En sats(eller utsaga)är ett påstående som kan vara sant eller falskt. I satslogik(eng. propositionallogic) representeras sådana

Läs mer

Formell logik Kapitel 5 och 6. Robin Stenwall Lunds universitet

Formell logik Kapitel 5 och 6. Robin Stenwall Lunds universitet Formell logik Kapitel 5 och 6 Robin Stenwall Lunds universitet Kapitel 5 Bevismetoder för boolesk logik Visa att en sats är en tautologisk konsekvens av en mängd premisser! Lösning: sanningstabellmetoden

Läs mer

ETIK VT2011. Föreläsning 13: Relativism och emotivism

ETIK VT2011. Föreläsning 13: Relativism och emotivism ETIK VT2011 Föreläsning 13: Relativism och emotivism DELKURSENS STRUKTUR Mån 4/4: Moralisk kunskap (epistemologi) Tis 5/4: Relativism och emotivism Ons 6/4: Moraliskt språkbruk (semantik) Mån 11/4: Moralisk

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

Sanning och bedrägeri

Sanning och bedrägeri Sanning och bedrägeri En introduktion till semantik och pragmatik Elizabeth Coppock Docent, Göteborgs Universitet Ph.D., Stanford University Elizabeth Coppock (GU) Sanning och bedrägeri 1 / 23 Pippi, Annika,

Läs mer

Våga Visa kultur- och musikskolor

Våga Visa kultur- och musikskolor Våga Visa kultur- och musikskolor Kundundersökning 04 Värmdö kommun Genomförd av CMA Research AB April 04 Kön Är du 37 6 34 65 39 60 3 69 0% 0% 40% 60% 0% 0% Kille Tjej Ej svar Våga Visa kultur- och musikskolor,

Läs mer

4 Något om logik och semantik

4 Något om logik och semantik Mats Dahllöf. http://stp.lingfil.uu.se/ matsd/uv/uv09/sempht/ 4 Något om logik och semantik Att kunna ett språk innebär att man begriper skillnaden mellan sanna och falska yttranden. Det innebär givetvis

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

Logik: sanning, konsekvens, bevis

Logik: sanning, konsekvens, bevis Logik: sanning, konsekvens, bevis ft1100 samt lc1510 HT 2016 Giltiga argument (Premiss 1) (Premiss 2) (Slutsats) Professorn är på kontoret eller i lunchrummet Hon är inte på kontoret Professorn är i lunchrummet

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

2 Mängdlärans grundbegrepp

2 Mängdlärans grundbegrepp UPPSALA UNIVERSITET Föreläsningsanteckningar Institutionen för lingvistik och filologi Grundläggande datalogi II Mats Dahllöf http://stp.ling.uu.se/~matsd/uv/uv04/gd2/ Augusti 2004 2 Mängdlärans grundbegrepp

Läs mer

Vad är semantik? LITE OM SEMANTIK I DATORLINGVISTIKEN. Språkteknologi semantik. Frågesbesvarande

Vad är semantik? LITE OM SEMANTIK I DATORLINGVISTIKEN. Språkteknologi semantik. Frågesbesvarande LITE OM SEMANTIK I DATORLINGVISTIKEN (FORMELL SEMANTIK) Vad är semantik? Form (abstrakt struktur): grammatik Innehåll (betydelse): semantik Användning: pragmatik/diskurs Mats Dahllöf Språkteknologisk motivation

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 6 http://stp.lingfil.uu.se/~matsd/uv/uv13/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Februari 2013 Tillämpningar av semantik allmänt Analys av grammatik:

Läs mer

Formell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet

Formell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet Formell logik Kapitel 3 och 4 Robin Stenwall Lunds universitet Kapitel 3: De Booleska konnektiven Vi sade att predikaten och namnen kan variera mellan olika FOL Vi ska nu titta på några språkliga element

Läs mer

729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS

729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS 729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS 160127 Vad är logik? Som ämne, område... 2 Läran om korrekta resonemang Följer slutsatserna av ens antaganden? 3 Alla hundar är djur. Alla enhörningar

Läs mer

Kryssa för de svarsalternativ som stämmer bäst överens med din uppfattning.

Kryssa för de svarsalternativ som stämmer bäst överens med din uppfattning. En del frågor ska besvaras ur två perspektiv: Så här var det för mig och Så här betydelsefullt var det för mig. Kryssa för de svarsalternativ som stämmer bäst överens med din uppfattning. OMT-studien,

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

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

INSTUTITIONEN FÖR FILOSOFI, LINGVISTIK OCH VETENSKAPSTEORI ETIK VT-15 METAETIK EMOTIVISM OCH ERROR-TEORI

INSTUTITIONEN FÖR FILOSOFI, LINGVISTIK OCH VETENSKAPSTEORI ETIK VT-15 METAETIK EMOTIVISM OCH ERROR-TEORI ETIK VT-15 METAETIK EMOTIVISM OCH ERROR-TEORI JOHN ERIKSSON Idag Kort repetition Emotivism Error-teori Kort repetition Olika frågor: Vad betyder moraliska termer och satser? Vad gör vi när vi pratar och

Läs mer

Matematik för språkteknologer

Matematik för språkteknologer 1 / 23 Matematik för språkteknologer Mängdlära Mats Dahllöf Institutionen för lingvistik och filologi Januari 2015 Mängdlära matematik för kategorier En mängd svarar mot en helt godtycklig kategori. Elementrelationen

Läs mer

FÖRELÄSNING 8 ANDERS MÄRAK LEFFLER IDA/HCS

FÖRELÄSNING 8 ANDERS MÄRAK LEFFLER IDA/HCS 729G06 Logik FÖRELÄSNING 8 ANDERS MÄRAK LEFFLER IDA/HCS 160309 Idag Sammanfattning*/uppsamling 2 Mer problemöversikt (och lite definitioner) Inte ersättning för andra föreläsningar! 3 Vad är enlogik? Syntax

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

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 4: Konjunktiv och disjunktiv normalform Henrik Björklund Umeå universitet 15. september, 2014 CNF och DNF Konjunktiv normalform (CNF) Omskrivning av en formel

Läs mer

Hur bor unga vuxna som flyttat hemifrån?

Hur bor unga vuxna som flyttat hemifrån? Tabellbilaga Unga vuxnas boende, Sverige 2015 Hur bor unga vuxna som flyttat hemifrån? Tabell 1. Andel 20 27-åringar boende i föräldrahemmet, 1997 2015 (procent) Hos föräldrar 15 17 18 21 19 19 21 22 23

Läs mer

Hur bor unga vuxna som flyttat hemifrån?

Hur bor unga vuxna som flyttat hemifrån? Tabellbilaga Unga vuxnas boende, 2015 Hur bor unga vuxna som flyttat hemifrån? Tabell 1: Andel 20 27-åringar boende i föräldrahemmet,, 2001 2015 (procent) Hos föräldrar 24 24 26 23 26 26 29 28 Tabell 2:

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

Öppna ditt hem för någon som behöver det. Bli familjehem, kontaktfamilj, stödfamilj eller kontaktperson.

Öppna ditt hem för någon som behöver det. Bli familjehem, kontaktfamilj, stödfamilj eller kontaktperson. Öppna ditt hem för någon som behöver det. Bli familjehem, kontaktfamilj, stödfamilj eller kontaktperson. Öppna ditt hem för någon som behöver det. Vi behöver dig som kan finnas där när det blir jobbigt,

Läs mer

SYNTAKTISKA FUNKTIONER (forts.) Attribut o Attribut ger ytterligare information om det som nominalfrasen refererar till.

SYNTAKTISKA FUNKTIONER (forts.) Attribut o Attribut ger ytterligare information om det som nominalfrasen refererar till. UPPSALA UNIVERSITET Inst. för lingvistik Niklas Edenmyr Grammatik, 5p. SYNTAKTISKA FUNKTIONER (forts.) Attribut o Attribut ger ytterligare information om det som nominalfrasen refererar till. o Ofta fogas

Läs mer

TATA42: Föreläsning 10 Serier ( generaliserade summor )

TATA42: Föreläsning 10 Serier ( generaliserade summor ) TATA42: Föreläsning 0 Serier ( generaliserade summor ) Johan Thim 5 maj 205 En funktion s: N R brukar kallas talföljd, och vi skriver ofta s n i stället för s(n). Detta innebär alltså att för varje heltal

Läs mer

Grammatik för språkteknologer

Grammatik för språkteknologer Grammatik för språkteknologer Introduktion http://stp.lingfil.uu.se/~matsd/uv/uv11/gfst/ Mats Dahllöf Institutionen för lingvistik och filologi Oktober 2011 Lärandemål Efter avslutad kurs skall studenten

Läs mer

Grunderna i stegkodsprogrammering

Grunderna i stegkodsprogrammering Kapitel 1 Grunderna i stegkodsprogrammering Följande bilaga innehåller grunderna i stegkodsprogrammering i den form som används under kursen. Vi kommer att kort diskutera olika datatyper, villkor, operationer

Läs mer

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss Explorativ övning 1 LMA100 vt 2003 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt

Läs mer

Formell logik Kapitel 10. Robin Stenwall Lunds universitet

Formell logik Kapitel 10. Robin Stenwall Lunds universitet Formell logik Kapitel 10 Robin Stenwall Lunds universitet Kapitel 10: Kvantifikatorernas logik Förra gången introducerade vi kvantifikatorer och variabler Vi har därmed infört samtliga symboler i FOL Brännande

Läs mer

Viggo, du ljuger! Lärarmaterial

Viggo, du ljuger! Lärarmaterial SIDAN 1 Författare: Kim Dalsgaard Vad handlar boken om? Boken handlar om Viggo som kommer försent till skolan. Han berättar för klassen, och fröken Anna, att en tiger försökte äta upp honom, och därför

Läs mer

Dagens föreläsning. Repetition. Repetition - Programmering i C. Repetition - Vad C består av. Repetition Ett första C-program

Dagens föreläsning. Repetition. Repetition - Programmering i C. Repetition - Vad C består av. Repetition Ett första C-program Dagens föreläsning Programmeringsteknik för Ingenjörer VT05 Föreläsning 3-4 Repetition Datatyper Uttryck Operatorer Satser Algoritmer Programmeringsteknik VT05 2 Repetition Repetition - Programmering i

Läs mer

Abstrakt algebra för gymnasister

Abstrakt algebra för gymnasister Abstrakt algebra för gymnasister Veronica Crispin Quinonez Sammanfattning. Denna text är föreläsningsanteckningar från föredraget Abstrakt algebra som hölls under Kleindagarna på Institutet Mittag-Leffler

Läs mer

Semantik och pragmatik (serie 5)

Semantik och pragmatik (serie 5) Semantik och pragmatik (serie 5) (Predikat)logik Mängdlära överkurs (och repetition för en del). Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 41 Korsning av två egenskaper E 1

Läs mer

Enkät rörande boende för äldre i Krokoms Kommun

Enkät rörande boende för äldre i Krokoms Kommun Enkät rörande boende för äldre i s Kommun 2015-10-14 I din hand håller du just nu en enkät som vi vill att du skall fylla i. Enkäten är helt anonym och skall endast användas för att få fram önskemål om

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

Problemet löd: Är det möjligt att på en sfär färga varje punkt på ett sådant sätt att:

Problemet löd: Är det möjligt att på en sfär färga varje punkt på ett sådant sätt att: Problemet löd: Är det möjligt att på en sfär färga varje punkt på ett sådant sätt att: 1. Om två punkter befinner sig på avståndet pi/2 från varandra så skall de ha olika färg. 2. Endast tre färger används.

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

1.5 Vad är sannolikheten för att ett slumpvis draget spelkort ska vara femma eller lägre eller knekt, dam, kung eller äss?

1.5 Vad är sannolikheten för att ett slumpvis draget spelkort ska vara femma eller lägre eller knekt, dam, kung eller äss? 1 ÖVNINGAR I INDUKTIV LOGIK 1.1 En tärning kastas. Ange sannolikheten för att antalet ögon är a) 3 b) inte 3 c) 3 eller 5 d) jämnt e) mindre än 4 f) jämnt och mindre än 4 g) jämnt eller mindre än 4 h)

Läs mer

Regler för placering i förskola och annan pedagogisk omsorg

Regler för placering i förskola och annan pedagogisk omsorg Regler för placering i förskola och annan pedagogisk omsorg REGLER Sida 2 av 6 Regler för placering i förskola och pedagogisk omsorg Barn erbjuds förskoleplats från och med ett års ålder i den omfattning

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

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

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

Riktlinjer för färdtjänst

Riktlinjer för färdtjänst Riktlinjer för färdtjänst Antagna av Kommunfullmäktige den 26 maj 2008 122 att gälla fr.o.m. 15 juni 2008. Här presenteras kommunens riktlinjer avseende färdtjänst. De grundläggande förutsättningarna för

Läs mer

Träning i bevisföring

Träning i bevisföring KTHs Matematiska Cirkel Träning i bevisföring Andreas Enblom Institutionen för matematik, 2005 Finansierat av Marianne och Marcus Wallenbergs Stiftelse 1 Mängdlära Här kommer fyra tips på hur man visar

Läs mer

FÖRELÄSNING 1 ANALYS MN1 DISTANS HT06

FÖRELÄSNING 1 ANALYS MN1 DISTANS HT06 FÖRELÄSNING ANALYS MN DISTANS HT06 JONAS ELIASSON Detta är föreläsningsanteckningar för distanskursen Matematik A - analysdelen vid Uppsala universitet höstterminen 2006. Förberedande material Här har

Läs mer

ANDREAS REJBRAND 2014-04-25 Matematik http://www.rejbrand.se. Numeriska serier. Andreas Rejbrand, april 2014 1/29

ANDREAS REJBRAND 2014-04-25 Matematik http://www.rejbrand.se. Numeriska serier. Andreas Rejbrand, april 2014 1/29 Numeriska serier Andreas Rejbrand, april 2014 1/29 1 Inledning Författarens erfarenhet säger att momentet med numeriska serier är ganska svårt för många studenter i inledande matematikkurser på högskolenivå.

Läs mer

Logik och semantik. Mats Dahllöf, Plan. Semantik och pragmatik

Logik och semantik. Mats Dahllöf, Plan. Semantik och pragmatik Semantik och pragmatik Logik och semantik Mats Dahllöf, 2005-05-20. Plan Sanning och logik. Logik i lexikala begreppssystem. Logik i satsinnehåll. Aristotelisk logik. (En enkel typ av formalisering. För

Läs mer

8. Moralpsykologi. Några klargöranden:

8. Moralpsykologi. Några klargöranden: 8. Moralpsykologi Några klargöranden: Det är vanligt att uttrycka MI/ME-debatten i termer av moraliska övertygelser (eller omdömen ), men detta är för generellt. MI är endast rimlig om den begränsas till

Läs mer

Anmärkningar om tid, förändring och motsägelse

Anmärkningar om tid, förändring och motsägelse Anmärkningar om tid, förändring och motsägelse Tero Tulenheimo Laboratoire Savoirs, Textes, Langage CNRS UFR de Philosophie, Université Lille 3 France Filosofiska föreningen Umeå universitet 23.11.2009

Läs mer

Sanning och lögnare. Rasmus Blanck VT2017. FT1200, LC1510 och LGFI52

Sanning och lögnare. Rasmus Blanck VT2017. FT1200, LC1510 och LGFI52 rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 Vad är sanning? Vi verkar använda begreppet utan större problem till vardags. Det kanske vore intressant att ha en definition: P är sann om och endast

Läs mer

2008-05-15 A/2008/969/ARM

2008-05-15 A/2008/969/ARM 2008-05-15 A/2008/969/ARM Arbetsmarknadsdepartementet Rättssekretariatet Europeiska kommissionen Generaldirektören Nikolaus G. van der Pas, GD Sysselsättning, socialpolitik och lika möjligheter B-1049

Läs mer

TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor

TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor Johan Thim 22 augusti 2018 1 Vanliga symboler Lite logik Implikation: P Q. Detta betyder att om P är sant så är Q sant. Utläses P medför Q

Läs mer

Avtalsvillkor. 1 Inledning. 2 Definitioner. 3 Villkorens tillämpningsområde. 4 Kvalificeringsvillkor. Egendeklaration av registrerade produkter

Avtalsvillkor. 1 Inledning. 2 Definitioner. 3 Villkorens tillämpningsområde. 4 Kvalificeringsvillkor. Egendeklaration av registrerade produkter Avtalsvillkor 1 Inledning BASTA-systemets syfte är att fasa ut ämnen med farliga egenskaper ur byggprodukter. Produkter som registreras i BASTA-systemet får inte innehålla ämnen med egenskaper enligt avtalade

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

BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 8 (2016-05-02) OCH INFÖR ÖVNING 9 (2016-05-09)

BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 8 (2016-05-02) OCH INFÖR ÖVNING 9 (2016-05-09) LUNDS UNIVERSITET, MATEMATIKCENTRUM, MATEMATISK STATISTIK BIOSTATISTISK GRUNDKURS, MASB11 ÖVNING 8 (2016-05-02) OCH INFÖR ÖVNING 9 (2016-05-09) Aktuella avsnitt i boken är Kapitel 7. Lektionens mål: Du

Läs mer

Vektorgeometri för gymnasister

Vektorgeometri för gymnasister Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Vektorer i planet och i rummet III Innehåll

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

a k . Serien, som formellt är följden av delsummor

a k . Serien, som formellt är följden av delsummor Kapitel S Mer om serier I dettapitel sall vi fortsätta att studera serier, ett begrepp som introducerades i Kapitel 9.5 i boen, framförallt sa vi bevisa ett antal onvergensriterier. Mycet ommer att vara

Läs mer

Quine. Det förekommer två versioner av kritiken mot analyticitet i Quines artikel.

Quine. Det förekommer två versioner av kritiken mot analyticitet i Quines artikel. Quine Den intuitiva betydelsen av analytiskt sann sats är sats som är sann enbart i kraft av sin mening. Dessa brukar ställas mot syntetiskt sanna satser som är sanna inte enbart som ett resultat av vad

Läs mer

Facit till Några extra uppgifter inför tentan Matematik Baskurs. x 2 x 3 1 2.

Facit till Några extra uppgifter inför tentan Matematik Baskurs. x 2 x 3 1 2. KTH Matematik Lars Filipsson Facit till Några extra uppgifter inför tentan Matematik Baskurs 1. Låt f(x) = ln 2x + 4x 2 + 9 + ln 2x 4x 2 + 9. Bestäm definitionsmängd och värdemängd till f och rita kurvan

Läs mer

Information till hemmen om elevens skolgång

Information till hemmen om elevens skolgång Information till hemmen om elevens skolgång Skolan är skyldig att informera vårdnadshavarna om elevens skolgång. Det innebär att båda vårdnadshavarna ska få inbjudan till utvecklingssamtal, föräldramöten

Läs mer

Tentamen i TTIT07 Diskreta Strukturer

Tentamen i TTIT07 Diskreta Strukturer Tentamen i TTIT07 Diskreta Strukturer 2004-10-28, kl 8 13, TER1 och TERC Inga hjälpmedel är tillåtna Kom ihåg att svaren på samtliga uppgifter måste MOTIVERAS, och att motiveringarna skall vara uppställda

Läs mer

MA 1202 Matematik B Mål som deltagarna skall ha uppnått efter avslutad kurs.

MA 1202 Matematik B Mål som deltagarna skall ha uppnått efter avslutad kurs. MA 202 Matematik B Mål som deltagarna skall ha uppnått efter avslutad kurs. Deltagaren skall kunna formulera, analysera och lösa matematiska problem av betydelse för tillämpningar och vald studieinriktning

Läs mer

a), c), e) och g) är olikheter. Av dem har c) och g) sanningsvärdet 1.

a), c), e) och g) är olikheter. Av dem har c) och g) sanningsvärdet 1. PASS 9. OLIKHETER 9. Grundbegrepp om olikheter Vi får olikheter av ekvationer om vi byter ut likhetstecknet mot något av tecknen > (större än), (större än eller lika med), < (mindre än) eller (mindre än

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