looginen semantiikka oor Engels

looginen semantiikka

Vertalings in die woordeboek Fins - Engels

logical semantics

voorbeelde

Opintojaksolla opitaan logiikan peruskäsitteet (esim. pätevä ja epäpätevä päätelmä, looginen johtaminen ja todistuvuus, ristiriitaisuus ja ristiriidattomuus, looginen seuraus ja looginen totuus), klassisen lause- ja predikaattilogiikan symbolit ja syntaksi sekä lauselogiikan luonnollisen päättelyn järjestelmä ja totuustaulukkomenetelmä, sekä tutustutaan predikaattilogiikan semantiikkaan.
The course provides an introduction to the basic notions of logic (e.g. sentence, proposition, natural and formal language, logical derivability and provability, logical consequence and logical truth, extension and intension). The symbols and the syntax of classical propositional logic and first-order predicate logic, and natural deduction and the truth tables of propositional logic are taught in the course.