Naslov
Osnove logike sudova
(Fundamentals of propositional logic)

Autori
Bakotić, Petra Lucia

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Prirodoslovno-matematički fakultet - Matematički odsjek

Mjesto
Zagreb

Datum
10.07

Godina
2015

Stranica
67

Mentor
Ilišević, Dijana

Ključne riječi
sud
(proposition)

Sažetak
Svaki sud ima svoju istinosnu vrijednost, koja se najlakše određuje pomoću semantičke tablice. U simboličkoj matematici nije važan sadržaj suda, već njegova semantička vrijednost. Tako dva suda opisana različitim rečenicama mogu imati istu logičku formulu, odnosno istu semantičku vrijednost. Također, dva suda opisana različitim rečenicama mogu imati različitu logičku formulu, ali istu semantičku vrijednost. Takvi sudovi nazivaju se semantički jednakim sudovima. Sve matematičke definicije, aksiomi i teoremi logički su sudovi. Svaki teorem ima oblik implikacije. Prethodnik i sljedbenik te implikacije zapravo su pretpostavka i tvrdnja teorema. U dokazima teorema, osim implikacije koriste se i drugi sudovi, primjerice obrat implikacije i kontrapozicija.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika

POVEZANOST RADA