prikaz prve stranice dokumenta Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova
  Download
PDF 412.84 KB
undergraduate thesis
Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova
2017. urn:nbn:hr:186:449855
Kunović, Dora
University of Rijeka
Faculty of Humanities and Social Sciences
Department of Philosophy

Cite this document

Kunović, D. (2017). Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova (Undergraduate thesis). Rijeka: University of Rijeka, Faculty of Humanities and Social Sciences. Retrieved from https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, Dora. "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, 2017. https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, Dora. "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, 2017. https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, D. (2017). 'Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova', Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, accessed 13 December 2024, https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović D. Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova [Undergraduate thesis]. Rijeka: University of Rijeka, Faculty of Humanities and Social Sciences; 2017 [cited 2024 December 13] Available at: https://urn.nsk.hr/urn:nbn:hr:186:449855

D. Kunović, "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova", Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, Rijeka, 2017. Available at: https://urn.nsk.hr/urn:nbn:hr:186:449855

Please login to the repository to save this object to your list.
Metadata
TitleDokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova
Title (english)The Proof of the Consistency Theorem in Natural Deduction System and in the Axiomatic System
AuthorDora Kunović
MentorMajda Trobok (mentor)
GranterUniversity of Rijeka
Faculty of Humanities and Social Sciences
(Department of Philosophy)
Rijeka
Defense date and country2017-09-18, Croatia
Scientific / art field,
discipline and subdiscipline		HUMANISTIC SCIENCES
Philosophy
Abstract
Ovaj se rad bavi dokazom meta-teorema adekvatnosti za logiku sudova. Sustavi u kojima će se dokazivati sam meta-teorem adekvatnosti prirodna su dedukcija i račun sudova. Na samom početku bit će predstavljen povijesni pregled sustava računa sudova, kao i sustava prirodne dedukcije. Nakon toga bit će govora općenito o simboličkoj logici. U tom će se dijelu ukratko prikazati logika sudova, razlika između sintakse i semantike u logici sudova te će daljnji fokus biti na samoj sintaksi. Nadalje, pomnije će se predstaviti sustav prirodne dedukcije i račun sudova gdje će se posebno prikazati svako pravilo izvoda kao i aksiomi koji se vežu uz račun sudova. Zatim će se spomenuti osnovno o meta-teoremima potpunosti i adekvatnosti te će se prijeći na samu srž rada, a to je dokaz meta-teorema adekvatnosti za prirodnu dedukciju te za račun sudova.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:186:449855
Study programmeTitle: Philosophy (double major)
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučililišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) filozofije (sveučililišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) filozofije)
Study programmeTitle: English Language and Literature (double major)
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) engleskoga jezika i književnosti (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) engleskoga jezika i književnosti)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2017-10-24 09:25:08