Osnove logike sudova

diplomski rad

• Autor: Petra Lucia Bakotić
• Mentor: Dijana Ilišević (mentor)
• Član povjerenstva: Dijana Ilišević (predsjednik povjerenstva)
• Član povjerenstva: Boris Širola (član povjerenstva)
• Član povjerenstva: Ozren Perše (član povjerenstva)
• Član povjerenstva: Saša Singer (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Prirodoslovno-matematički fakultet; (Matematički odsjek); Zagreb
• Datum i država obrane: 2015-07-10, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: PRIRODNE ZNANOSTI; Matematika

Sažetak

Temelji logike zapravo su i temelji matematike. Temelj logike je sud. Od brojnih vrsta sudova, matematičari su izabrali nekolicinu. Iz logičkih sudova izveli su logičke operacije. Pomoću logičkih operacija sudove su pretvorili u formule i stvorili takozvanu simboličku logiku. Time logika postaje matematička disciplina. Svaki sud ima svoju istinosnu vrijednost, koja se najlakše određuje pomoću semantičke tablice. U simboličkoj matematici više 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.

Sažetak (engleski)

Fundamentals of logic are also considered fundamentals of mathematics. Basic of logic is statement. Among many different types of statements, mathematicians have chosen few of them. They have derived logical operations from logical statements. Using logical operations they have converted statements into formulas, and in that way, made so called symbolic logic. Thereby, logic has become mathematical discipline. Every statement has its’ own value, which can be easily determined by semantic table. In symbolic mathematics, content of statement is replaced with semantic value. In that way, two statements which are described with different sentences can have the same logical formula or the same semantic value. Moreover, two statements described with different sentences can also have different logical formulas, but the same semantic value. Those statements are called semantically equal statements. All mathematical definitions, axioms and theorems, are logical statements. Every theorem has a form of implication. Predecessor and successor of implication are assumption and claim of theorem. In proofs of theorems, beside implication, we also use other statements like converse implication and contraposition.

• Ključne riječi: logički sud; logičke operacije; simbolička logika; semantička tablica; semantička vrijednost
• Ključne riječi (engleski): logical statement; logical operations; symbolic logic; semantic table; semantic value
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:217:425734
• Studijski program: Naziv: Matematika; smjerovi: nastavnički; Smjer: nastavnički; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra edukacije matematike (mag. educ. math.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Pristup korisnicima matične ustanove
• Datum i vrijeme pohrane: 2017-05-09 12:53:44