diplomsko delo
Abstract
Diplomsko delo preko ponovitve izjavnega računa preide na ločevanje različnih načinov resnic ter na matematično podlago, v kateri se najprej seznanimo s sintakso in semantiko modalne logike. Sledi opredelitev modelov, veljavnih formul, shem formul in predstavitev ekvivalenc modalne logike. V drugem delu diplomskega dela pa se osredotočimo predvsem na logično načrtovanje, preko katerega modeliramo različne koncepte resnice, katere dosežemo tako, da v model sprejemamo različne sheme formul. Predstavljene so tudi lastnosti relacije dostopnosti in njihova povezava s formulami.
Keywords
modalna logika;načini resnice;nujnost;možni svet;sheme formul;
Data
Language: |
Slovenian |
Year of publishing: |
2015 |
Typology: |
2.11 - Undergraduate Thesis |
Organization: |
UL PEF - Faculty of Education |
Publisher: |
[L. Pirjevec] |
UDC: |
510.643(043.2) |
COBISS: |
10681417
|
Views: |
1114 |
Downloads: |
182 |
Average score: |
0 (0 votes) |
Metadata: |
|
Other data
Secondary language: |
English |
Secondary title: |
Basics of modal logic |
Secondary abstract: |
In thesis we first recall basics of propositional logic. Then we distinguish between various modes of truth and give matematical fundation/basis in which we become familiar with syntax and semantics of modal logic. Then we introduce and define models, valid formulas, formula schemes and equivalences between modal formulas. Later on we focus on a logic engineering in which we model various modes of truth. To achieve that we have to decide which formula schemes should be valid in models. At the end we also look at the properties of the accessibility relation and its conection with formulas. |
Secondary keywords: |
mathematics;matematika; |
File type: |
application/pdf |
Type (COBISS): |
Bachelor thesis/paper |
Thesis comment: |
Univ. Ljubljana, Pedagoška fak., Dvopredmetni učitelj |
Pages: |
31 str. |
ID: |
8890236 |