Iskazni račun je deo savremene logike koja se počela razvijati u drugoj polovini 19. veka sa radovima Džordža Bula, Avgustina De Morgana i Gotliba Fregea, a nastavila da se uobličava u 20. veku kroz radove Ludviga Vitgenštajna, Jana Lukašijeviča, Alfreda Tarskog i mnogobrojnih drugih logičara. Za razliku od klasične logike, u iskaznom računu se ne […]
Continue Reading
Definicije logičkih operacija
U prethodnoj lekciji upoznali smo se sa interpretacijom logičkih operacija (logičkih veznika) u svakodnevnom jeziku. Njihova precizna definicija data je preko istinitosnih tablica koje određuju kada je složeni iskaz koji nastaje logičkom operacijom istinit, a kada nije. Istovremeno, ove tablice su neophodne za izračunavanje vrednosti složenih iskaza. Evo tih defincija: Negacija (znak ¬ ) je […]
Continue Reading
Osnovne tautologije u iskaznom računu
Iako je izbor osnovnih tautologija nužno relativan, neke tautologije se mogu izdvojiti kao najvažnije u iskaznom računu, bilo zbog toga što opisuju tradicionalne zakone mišljenja bilo zbog toga što su nezaobilazne u pojednostavljivanju formula. Sada ćemo ih navesti: Zakoni mišljenja: Zakon neprotivrečnosti: ¬ (p ∙ ¬ p) Zakon isključenja trećeg: p v ¬ p Ova […]
Continue Reading
Metoda istinitosnih tablica
Metoda istinitosnih tablica je drugo ime za izračunavanje vrednosti složenih formula za sve kombinacije isitinitosnih vrednosti iskaznih promenljivih. Definicije logičkih operacija iz prošle lekcije su takođe male istinitosne tablice. Ako znamo ove tablice, koje definišu vrednosti složenih iskaza koji nastaju logičkim operacijama, možemo da izračunamo vrednost svake složene formule koja sadrži te operacije za svaku […]
Continue Reading
Svođenje na normalnu iskaznu formu
Svođenje na normalnu iskaznu formu je metoda pojednostavljivanja složenih iskaza i metoda koja može poslužiti kao način da se utvrdi da li je neka formula tautologija. Normalna iskazna forma je forma koja sadrži iskazne promenljive (npr, p, q, r,…) ili njihove negacije (¬p, ¬q, …) povezane u konjukcije ili u disjunkcije. Na primer stav: (p […]
Continue Reading
Metoda svođenja na protivrečnost
Do sada smo se upoznali sa dva načina određivanja da li je neka formula tautologija ili nije. Prvi način je metoda istinitosnih tablica (u kojoj naprosto izračunamo vrednost formule za sve moguće kombinacije istinitosnih vrednosti iskaznih promenljivih) a druga je metoda svođenja na normalnu formu u kojoj složenu formulu najpre pojednostavljujemo u normalnu formu, a […]
Continue Reading
Video - IQ2 - Slavoj Žižek
© 2024 Kratka istorija filozofije. Powered by WordPress.
