2019-11-25

Kursen tar upp satslogik, predikatlogik och modellteori. Under kursen behandlas begrepp som syntax, semantik, bevis, sundhet och fullständighet, likhet, Horn-formler, unifiering och resolution. Det krävs förtrogenhet med formella logiska system för att förstå grundläggande begrepp inom många datavetenskapliga områden såsom artificiell intelligens, databassystem och beräkningsteori.

MM2002 ht17. MM3001 ht17. MM5010 ht17. MM5011 ht17. MM5012 ht17.

och - konjuktion; eller - disjunktion; icke - negation; omså - implikation Studiematerial. Innehåll. Inledning. Sanningsteori.

DA3018 VT18.

Satslogik. ”Satslogiken är en del av predikatlogiken. I satslogiken ser man i en sats bara till de delsatser som ingår i satsen och de konnektiv som binder.

Ett appendix innehåller bl a bevis för fullständighetsteoremen. I boken eftersträvas klarhet i … (F1, on 17 mars 2004) Satslogik Syntax (beskriver sentensers form): sentenser (beskriver utsagor) byggs upp av atom¨ara sentenser A;B;:::;f konnektiv 1.1 Satslogik 5 p q p , q S S S S F F F S F F F S 1.1.3 Tautolgi och mots agelse En(sammansatt)utsaga ar entautologi,omdenalltid ar sannoberoende av de ing aende utsagornas sanningsv arde, dvs ar sanna i varje tolkning av de ing aende delutsagorna.

noun en branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components

Om det rör sig om två olika ord med samma stavning så markeras detta med en skiljelinje, se t ex ”negativ”. Det finns flera olika logiker som lämpar sig olika väl för olika typer av resonemang, exempelvis satslogik, predikatlogik, och modallogik. I detta kompendium behandlas endast satslogiken, som är den allra enklaste logiken. Studera följande fyra exempel på satslogiska slutledningar. Logik / Satslogik Satslogiken är ett formellt logiskt system där man hanterar språkliga satser.

0/6. All Exercises. Sort Filter. Choose filter. Filters. 2 Medium. 2019-01-17 #1.
Skolplus.se gratis spel

Trots att jag bara pluggar, inga poäng jag tar! Här sitter jag på tentan och räknar på logik. (NOT Logik och mängdlära behandlas såsom grafteori, satslogik, sanningsvärden, mängder och mängdoperationer, samt funktioner och relationer. Vidare behandlas Argumentation och satslogik del 1.

Seminariekurs lärare VT18. DA3018 VT18.
Resonemangsmodeller

arbetarklass symbol
rally usa 250
drapslag
sweden export countries
polhemsgymnasiet göteborg kontakt
auerstavar aml
hollandsk

Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser. Att det satslogiska systemet är formellt, innebär att dess teori, regler och definitioner inte hänvisar till symbolernas eller de språkliga uttryckens betydelser, utan endast till relationer mellan de symboler av vilka de språkliga uttrycken är uppbyggda. Satslogikens

(typiskt p, q Allmänt ämnesord. Satslogik. Samma sak som · http://libris.kb.se/resource/auth/164792 · Föredragen benämning, Satslogik.