Review article
Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova
Dora Kunović
; Faculty of Humanities and Social Sciences, University of Rijeka, Rijeka, Hrvatska
Abstract
Ovaj se rad bavi dokazom metateorema adekvatnosti za logiku sudova. Sustavi u kojima će se dokazivati sam metateorem 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 o simboličkoj logici općenito. 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 metateoremima potpunosti i adekvatnosti te će se prijeći na samu srž rada, a to je dokaz metateorema adekvatnosti za prirodnu dedukciju te za račun sudova.
Keywords
metateorem adekvatnosti; dokaz metateorema adekvatnosti; prirodna dedukcija; račun sudova; izvodi; logika sudova
Hrčak ID:
238939
URI
Publication date:
31.12.2019.
Visits: 1.740 *