Matematicka logika
MATEMATIČKA LOGIKA
Osnovno sredostvo sporazumjevanja među ljudima je jezik. Razlikujemoviše vrsta jezika sporazumjevanja, kao što su npr. slikarski, muzički, govorni književni jezik. Matematički jezik je najviši oblik naučnog jezika. Matematici je potreban jezik pomoću koga se sporazumjevamo bez dvosmislenosti i nedoriječnosti. Najsličniji matematičkom jeziku su govorni književni jezik. Osnovu u matematičkom jeziku čine izrazi ili termini, a najprostiji matematički izrazi su konstante i promjenjive.
Konstante su potpuno određeni matematički objekti, tj. veličine kojima sevrijednost ne mijenja, npr. 0; 2; 2/3;
Promjenjive su simboli koji mogu predstavljati bilo koji element iz nekogdatog skupa. Dati skup se naziva oblast definisanosti promjenjive.
Vrijednost matematičkog izrazi je konstanta koja se dobije nakon što se u izrazu svi simboli promjenljivih
zamjene odgovarajućim vrijednostima (konstantama) i izvrše naznačene operacije.
Matematičke formule su rečenice koje su: ili (1) istinite, ili (2) neistinite, ili (3) takve da se za njih ne može, nedvosmisleno i jednoznačno, utvrditi vrijednost istinitosti.
Za prve važe ovi principi:
1. principi uključenja trećeg, što znači da ne postoji iskaz koji ne bi bio ni istinit ni neistinit,
2. princip kontradikcije, što znači da nema iskaza koji je i istinit i neistinit.
Matematičke formule koje sadrže promjenjive kojima vrednost nije definisana i za koje se zbog toga ne može jednoznačno utvrditi vrijednost istinitosti su neodređeni iskazi i nazivaju se iskazne formule, iskaznefunkcije ili predikati.
Predikati postaju iskazi kada se u njima na mjesto promjenljivih uvrste konstante,
tj, vrijednosti promjenljivih, Za predikate sa jednom, dve, tri, itd, promjenljivih se kaže da su dužine: jedan,dva, tri, itd
Stav je u matematici naziv za tačan iskaz.
Više u Matematika
Razni zadaci 2 PMF
- Matematika
- Prirodno-matematički fakultet, Novi Sad · Novi Sad
- 8 stranica
Matematika – najvažnije formule
- Matematika
- Beogradska poslovna škola Visoka škola strukovnih studija · Beograd
- 15 stranica
Računske operacije sa matricama
- Matematika
- UNIVERZITET PRIVREDNA AKADEMIJA - Fakultet za primenjeni menadžment, ekonomiju i finansije u Beogradu · Beograd
- 20 stranica
Više u Seminarski radovi
Izrada klasične dnevne frizure
- /
- 11 stranica
Sijani travnjaci
- Krmno bilje
- 1 stranica
Osnovni zadaci statike – aksiome statike
- Mašinstvo
- 20 stranica
Više u Skripte
Ergonomičnost industrijskog dizajna
- industrijski dizajn
- UNIVERZITET U KRAGUJEVCU - Fakultet inžinjerskih nauka · Čačak
- 35 stranica
Ergonomija kao komponenta industrijskog dizajna
- industrijski dizajn
- UNIVERZITET U KRAGUJEVCU - Tehnički fakultet u Čačku · Čačak
- 34 stranica
Izrada klasične dnevne frizure
- /
- 11 stranica