15. siječnja 2025. / Članci
POVIJEST LOGIKE (3)
Logička korektnost, potpunost i kompaktnost. Gentzenov IF-sustav i Bethova semantička stabla
U trećem nastavku serijala o logici, Zvonimir Šikić fokusira se na pojmove logičke korektnosti, potpunosti i kompaktnosti, te predstavlja pravila i definicije za konstrukciju Bethovih semantičkih stabala.
![](https://ideje.hr/wp-content/uploads/2024/05/Zvonimir_Sikic-150x150.jpg)