Osnovno svojstvo iskaza, ma kako složen bio, jeste da je on ili tačan, ili netačan.

Σχετικά έγγραφα
Iskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012

3.1 Granična vrednost funkcije u tački

Tvrd enje 3: Ako su formule A i A B tautologije, onda je tautologija. Dokaz: Neka su A i A B tautologije.

Teorijske osnove informatike 1

Matematička logika. novembar 2012

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

Diskretna matematika. Prof. dr Olivera Nikolić

ISKAZI. U svakodnevnom govoru, a i u pisanom tekstu, obično se sreću rečenice koje su ili tačne

Operacije s matricama

DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo

Elementi spektralne teorije matrica

UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka

Osnovne teoreme diferencijalnog računa

PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).

Napravimo neformalnu rekapitulaciju osnovnih pojmova koje smo obradili na prethodnom predavanju.

2. Tautologije; Bulove funkcije (SDNF, SKNF)

Iskazna logika. October 26, Počeci logike i matematičke logike

IZVODI ZADACI (I deo)

Diskretna Matematika

10 Iskazni račun - deduktivni sistem za iskaznu logiku

Ispitivanje toka i skiciranje grafika funkcija

Zadaci iz Osnova matematike

SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,

SISTEMI NELINEARNIH JEDNAČINA

INTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.

Neka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa. f 1 = {(b, a) B A (a, b) f}

Neka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B.

(y) = f (x). (x) log ϕ(x) + ψ(x) Izvodi parametarski definisane funkcije y = ψ(t)

PID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).

Matematička logika. Madarász Sz. Rozália. Departman za matematiku i informatiku Prirodno-matematički fakultet Univerzitet u Novom Sadu

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.

Predikatska logika - III deo. Jelena Ignjatović

Bulove jednačine i metodi za njihovo

FUNKCIJE - 2. deo. Logika i teorija skupova. 1 Logika FUNKCIJE - 2. deo

4 Numeričko diferenciranje

5. Karakteristične funkcije

Matematička analiza 1 dodatni zadaci

18. listopada listopada / 13

On predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova.

Biblioteka Prirodno - matematičkih nauka

8 Predikatski račun kao deduktivni sistem

1.1 Iskazni (propozicioni) račun

ELEKTROTEHNIČKI ODJEL

Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama.

Arhitektura računara

Zavrxni ispit iz Matematiqke analize 1

Sintaksa i semantika u logici

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

IZVODI ZADACI (I deo)

5 Ispitivanje funkcija

Arhitektura računara. Bulova algebra. Elementi logike. Logičke funkcije. Potpuni sistemi logičkih funkcija. Uvod u organizaciju računara 1.

[1] Formalni jezik iskazne logike

MATEMATIKA 2. Grupa 1 Rexea zadataka. Prvi pismeni kolokvijum, Dragan ori

Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A

41. Jednačine koje se svode na kvadratne

Trigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto

2log. se zove numerus (logaritmand), je osnova (baza) log. log. log =

KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.

4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.

Predikatska logika - II deo. Jelena Ignjatović

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

U raznim oblastima se često javlja potreba da se izmed u izvesnih objekata uspostave izvesne veze, odnosi ili relacije.

2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x

Relacije poretka ure denja

VJEŽBE 3 BIPOLARNI TRANZISTORI. Slika 1. Postoje npn i pnp bipolarni tranziostori i njihovi simboli su dati na slici 2 i to npn lijevo i pnp desno.

LEKCIJE IZ DISKRETNE MATEMATIKE

III VEŽBA: FURIJEOVI REDOVI

Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1

KURS IZ MATEMATIKE I

Klasifikacija blizu Kelerovih mnogostrukosti. konstantne holomorfne sekcione krivine. Kelerove. mnogostrukosti. blizu Kelerove.

Glava 1. Realne funkcije realne promen ive. 1.1 Elementarne funkcije

Algebarske strukture sa jednom operacijom (A, ): Ako operacija ima osobine: zatvorenost i asocijativnost, onda je (A, ) polugrupa

Cauchyjev teorem. Postoji više dokaza ovog teorema, a najjednostvniji je uz pomoć Greenove formule: dxdy. int C i Cauchy Riemannovih uvjeta.

APROKSIMACIJA FUNKCIJA

1 ISKAZNA I PREDIKATSKA LOGIKA Zadaci Rešenja SKUPOVI Zadaci RELACIJE Zadaci Rešenja...

Jednodimenzionalne slučajne promenljive

Verovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića

1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i

Sume kvadrata. mn = (ax + by) 2 + (ay bx) 2.

SKUPOVI I SKUPOVNE OPERACIJE

Riješeni zadaci: Limes funkcije. Neprekidnost

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

Računarska grafika. Rasterizacija linije

Arhitektura računara. vežbe - čas 1 i 2: Minimizacija logičkih funkcija

ELEMENTARNE FUNKCIJE dr Jelena Manojlović Prirodno-matematički fakultet, Niš

7 Algebarske jednadžbe

ASIMPTOTE FUNKCIJA. Dakle: Asimptota je prava kojoj se funkcija približava u beskonačno dalekoj tački. Postoje tri vrste asimptota:

KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.

Linearna algebra 2 prvi kolokvij,

radni nerecenzirani materijal za predavanja

Riješeni zadaci: Nizovi realnih brojeva

4 Izvodi i diferencijali

1 Afina geometrija. 1.1 Afini prostor. Definicija 1.1. Pod afinim prostorom nad poljem K podrazumevamo. A - skup taqaka

Transcript:

Iskazna algebra Osnovno svojstvo iskaza, ma kako složen bio, jeste da je on ili tačan, ili netačan. Da bi se pravila za odred ivanje istinitosti precizno formalizovala, uvodi se sledeća matematička struktura. Iskazna algebra je dvoelementni skup {1, 0}, zajedno sa jednom unarnom operacijom i četiri binarne operacije,, i, koje su definisane sledećim tablicama: 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 Matematička logika 2 Iskazna logika - II deo

Iskazna algebra Navedene operacije označavaju se isto kao odgovarajući logički veznici, jer su njima motivisane. Med utim, to nisu isti pojmovi: znak u iskaznoj formuli p q je zamena za veznik i, a oznaka u gornjoj tablici označava operaciju na skupu {1, 0}. Da ponovimo joše jednom, iskazna algebra je ured ena šestorka ({1, 0},,,,, ). Njeni elementi 1 i 0 odgovaraju istinitosnim vrednostima iskaza, kako se definiše u nastavku. Matematička logika 3 Iskazna logika - II deo

Potreban broj iskaznih slova Primetimo da svaka iskazna formula može sadržati samo konačno mnogo iskaznih slova. Sa druge strane, broj iskaznih slova koja se javljaju u svim formulama ne može se ograničiti nijednim prirodnim brojem, jer se uvek može napraviti nova formula sa većim brojem iskaznih slova. Dakle, za formiranje svih iskaznih formula nije dovoljan konačan skup iskaznih slova, ali je dovoljan prebrojiv skup iskaznih slova p 1, p 2, p 3,..., p n,... Zato nadalje podrazumevamo da iskaznih slova ima prebrojivo mnogo i da ova lista jeste lista svih iskaznih slova. Matematička logika 4 Iskazna logika - II deo

Istinitosna vrednost formule Neka je A iskazna formula. Njena istinitost pre svega zavisi od istinitosti iskaznih slova koja se u njoj javljaju. Zato odred ivanje istinitosne vrednosti formule A mora početi dodeljivanjem izvesnih istinitosnih vrednosti svim iskaznim slovima koja se u njoj javljaju. Potom se te istinitosne vrednosti sa slova prenose na celu formulu. To se može formalizovati na način prikazan u daljem tekstu. Matematička logika 5 Iskazna logika - II deo

Valuacija Valuaciju definišemo kako proizvoljnu funkciju v : {p 1, p 2,..., p n,... } {1, 0} iz skupa svih iskaznih slova u skup {1, 0}. Vrednost v(p i ) naziva se istinitosna vrednost iskaznog slova p i. Drugim rečima, valuacija je dodeljivanje istinitosnih vrednosti svim iskaznim slovima, nezavisno od toga što se u konkretnimm formulama koje u datom trenutku razmatramo ne javljaju sva ta slova. Matematička logika 6 Iskazna logika - II deo

Interpretacija Kada razmatranje ograničimo na formulu AA, ili konačan skup formula A 1, A 2,..., A n, onda su nam bitne istinitosne vrednosti samo onih slova koja se javljaju u formuli A, odnosno formulama A 1, A 2,..., A n. Zato se, za razliku od valuacije, interpretacija formule A, odnosno formula A 1, A 2,..., A n, definiše se kao funkcija v : {p 1, p 2,..., p k } {1, 0} iz skupa svih iskaznih slova koja se javljaju u formuli A, odnosno u formulama A 1, A 2,..., A n, u skup {1, 0}. Drugim rečima, to je dodeljivanje istinitosnih vrednosti svim iskaznim slovima koja se javljaju u formuli A, odnosno u formulama A 1,..., A n. Matematička logika 7 Iskazna logika - II deo

Vrednost formule u valuaciji Neka je v : {p 1, p 2,..., p n,... } {1, 0} proizvoljna valuacija. Kao što smo rekli, valuacija pridružuje istinitosne vrednosti iskaznim slovima. Funkcija v se sa skupa svih iskaznih slova može proširiti i na skup svih iskaznih formula. To se čini induktivnom definicijom, po složenosti formule, koja omogućuje da se istinitosna vrednost formule izvede iz istinitosnih vrednosti slova koja se u njoj javljaju. Matematička logika 8 Iskazna logika - II deo

Vrednost formule u valuaciji Naime, vrednost formule A u valuaciji v definiše se na sledeći način: 1. Ako formula A jeste iskazno slovo p, onda je v(a) def = v(p). 2. Ako je A = B i poznata je vrednost v(b), onda je v(a) def = v(b). 3. Ako je A = B C, gde je jedan od logičkih veznika,, i, i poznate su vrednosti v(b) i v(c), onda je v(a) def = v(b) v(c). Matematička logika 9 Iskazna logika - II deo

Vrednost formule u valuaciji Dakle, v(b C) = v(b) v(c), v(b C) = v(b) v(c), v(b C) = v(b) v(c), v(b C) = v(b) v(c). Primetimo da su vrednosti na desnoj strani jednakosti iz skupa {1, 0}, a znaci,,, i na desnoj strani predstavljaju operacije u iskaznoj algebri. Istim tim znacima na levoj strani označeni su logički veznici. Matematička logika 10 Iskazna logika - II deo

Vrednost formule u valuaciji Uočimo još jednom da vrednost formule zavisi od valuacije u kojoj se posmatra - u različitim valuacijama ona može imati različite vrednosti. Takod e, istinitosna vrednost složenih formula odred uje se tako što se najpre odrede istinitosne vrednosti jednostavnijih formula koje je grade, polazeći od iskaznih slova. Ako u nekoj valuaciji vrednost formule jednaka 1, onda kažemo da je formula tačna u toj valuaciji. Ako je vrednost foremule u toj valuaciji jednaka 0, kažemo da je formula netačna u toj valuaciji. Matematička logika 11 Iskazna logika - II deo

Primer interpretacije Posmatrajmo iskaznu formulu p (q r). Iskazna slova koja se u njoj javljaju su p, q i r. Dodelimo im redom vrednosti 1, 0, 0. To je jedna intepretacija date formule. Tada je v(p (q r)) = v(p) (v(q) v(r)) = = 1 (0 0) = = 1 (0 1) = = 1 0 = 0. Dakle, u ovoj interpretaciji ova formula je netačna. Za neke druge vrednosti iskaznih slova p, q i r, tj. za neku drugu interpretaciju, trebalo bi, razume se, ponovo odrediti vrednost formule, i može se desiti da tada formula bude i tačna. Matematička logika 12 Iskazna logika - II deo

Istinitosne tablice Da bi se odredile vrednosti formule za sve interpretacije koriste se tablice istinitosti ili istinitosne tablice. Budući da svakoj interpretaciji formule odgovara jedan raspored simbola 1 i 0 po slovima formule, u tablicu se unose svi ti rasporedi. Za svaki raspored odred uju se vrednosti podformula i na kraju vrednost same formule. Ako različitih iskaznih slova u formuli ima n, onda svaki raspored simbola 1 i 0 po slovima jeste jedna ured ena n-torka tih simbola. Svih rasporeda, pa tako i svih interpretacija formule, ima dakle 2 n. Matematička logika 13 Iskazna logika - II deo

Istinitosne tablice Vratimo se na formulu p (q r) iz ranijeg primera. Svih interpretacija te formule ima 2 3 = 8, i vrednost formule za svaku od tih interpretacija odred ena je sledećom istinitosnom tablicom: p q r r q r p (q r) 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 Matematička logika 14 Iskazna logika - II deo

Istinitosna funkcija Ako je A formula u kojoj učestvuju iskazna slova p 1,..., p n, tada to ističemo pišući A(p 1,..., p n ) umesto A. Ako je (α 1,..., α n ) {1, 0} n proizvoljna n-torka elemenata iz skupa {1, 0}, tada stavljamo A(α 1,..., α n ) def = v(a), gde je v(a) vrednost formule A u interpretaciji (α 1,..., α n ) (odnosno v(p i ) = α i, za svaki i, 1 i n). Dakle, formula A odred uje funkciju f A : {1, 0} n {1, 0}, definisanu sa f A (α 1,..., α n ) def = A(α 1,..., α n ). koje nazivamo istinitosna funkcija formule A. Matematička logika 15 Iskazna logika - II deo

Istinitosna funkcija Obratan problem je da se za proizvoljnu funkciju f : {1, 0} n {1, 0} odredi iskazna formula A(p 1,..., p n ), čija bi istinitosna funkcija bila funkcija f, dakle f = f A. Dokazaćemo da takva formula postoji, odnosno da se svaka funkcija f : {1, 0} n {1, 0} (tj. n-arna operacija na skupu {1, 0}) može na poseban način izraziti pomoću operacija, i iskazne algebre. Matematička logika 16 Iskazna logika - II deo

Istinitosna funkcija Najpre uvodimo oznaku x α = { x, α = 1 x, α = 0, tj. x1 = x i x 0 = x. Primetimo da važi sledeće: 1 1 = 1, 0 1 = 0, 1 0 = 0, 0 0 = 1. Prema tome, za svaki x {1, 0} važi x α = 1 ako i samo ako je x = α. Matematička logika 17 Iskazna logika - II deo

Istinitosna funkcija Tvrd enje 1: Za proizvoljno preslikavanje f : {1, 0} n {1, 0} važi ( ) f(x 1,..., x n ) = 1 x α n (α 1,...,α n ) {1,0} n f(α 1,..., α n ) x α1 Pre nego što pred emo na dokaz, primetimo da se u ovoj jednakosti javljaju isključivo operacije iskazne algebre (a ne iskazni veznici). Na primer, za n = 2, gornja jednakost u razvijenom obliku postaje: n. f(x 1, x 2 ) = (f(1, 1) x 1 1 x1 2 ) (f(1, 0) x1 1 x0 2 ) (f(0, 1) x 0 1 x1 2 ) (f(0, 0) x0 1 x0 2 ), odnosno, f(x 1, x 2 ) = (f(1, 1) x 1 x 2 ) (f(1, 0) x 1 x 2 ) (f(0, 1) x 1 x 2 ) (f(0, 0) x 1 x 2 ). Matematička logika 18 Iskazna logika - II deo

Istinitosna funkcija Dokaz: Za proizvoljne b 1,..., b n {1, 0} kao vrednosti promenljivih x 1,..., x n, tim redom, vrednost funkcije f je f(b 1,..., b n ) {1, 0}, a izraz na desnoj strani postaje f(α 1,..., α n ) b α1 1 bα n n. (α 1,...α n ) {1,0} n Uzimajući u obzir da, kako smo ranije primetili, za x {1, 0} važi x α = 1 ako i samo ako je x = α, kao i činjenicu da je konjunkcija tačna ako i samo ako su svi njeni članovi tačni, zaključujemo da je b α 1 1 bα n n = 1 ako i samo ako je α i = b i za sve i. U svim ostalim slučajevima vrednost tog izraza je 0. Matematička logika 19 Iskazna logika - II deo

Istinitosna funkcija Na ovaj način dobijamo da gornja disjunkcija postaje 0 (f(b 1,..., b n ) 1) 0 = f(b 1,..., b n ), pa je tvrd enje dokazano. Matematička logika 20 Iskazna logika - II deo

Normalna forma funkcije Uzmimo da funkcija f iz Tvrd enja 1. nije jednaka 0 za sve ured ene n-torke iz {1, 0} n, tj. da je u njenoj tablici bar jedna vrednost 1. Ako se tada sa desne strane jednakosti f(x 1,..., x n ) = f(α 1,..., α n ) x α1 1 x α n (α 1,...,α n ) {1,0} n izostave svi oni izrazi oblika f(α 1,..., α n ) x α 1 1 x α n n za koje je f(α 1,..., α n ) = 0, jednakost i dalje važi, s obzirom da je u iskaznoj algebri x 0 = x. Ako se u preostalim članovima disjunkcije izostave izrazi f(α 1,..., α n ) (vrednost svakog od njih je 1) jednakost ponovo ostaje očuvana, jer je 1 x = x. Matematička logika 21 Iskazna logika - II deo n.

Normalna forma funkcije Tako se dobija izraz ( ) f(α 1,...α n )=1 x α 1 1 xα n n. Ako je f konstantno jednaka 0, onda poslednji izraz za nju očito ne postoji; u tom slučaju dodeljujemo joj x 1 x 1. Izraz iz ( ) je iskazna formula (to je i x 1 x 1 ), pa je ovim dokazano sledeće tvrd enje koje se odnosi na problem sa početka odeljka. Označimo iskaznu formulu iz ( ) sa A f. Matematička logika 22 Iskazna logika - II deo

Normalna forma funkcije Tvrd enje 2: Neka je f : {1, 0} n {1, 0} proizvoljna n-arna operacija na skupu {1, 0}. (a) Ako f nije konstantno jednaka 0, onda se istinitosna vrednost iskazne formule A f u svakoj interpretaciji poklapa sa odgovarajućom vrednošću operacije f. (b) Ako je f konstantno jednaka 0, onda vrednosti iskazne formule x 1 x 1 odgovaraju vrednostima preslikavanja f. Iskazna formula A f koja se u obliku ( ) pridružuje funkciji f zove se disjunktivna normalna forma te funkcije, skraćeno DNF. Matematička logika 23 Iskazna logika - II deo

Normalna forma funkcije Disjuktivna normalna forma se može i čisto sintaktički definisati u odnosu na slova p 1,..., p n kao formula (K 1 ) (K m ), gde su K i različite konjunkcije svih navedenih slova sa negacijom ili bez nje. Ukoliko se ne zahteva da u svakoj konjunkciji učestvuju uvek sva slova koja se u formuli javljaju, formula se zove disjunktivna forma. Formula (p q r) ( p q r) je jedna disjunktivna normalna forma u odnosu na promenljive p, q i r, a je primer disjunktivne forme. p (p q r) ( p r) Matematička logika 24 Iskazna logika - II deo

Primer normalne forme Neka je f : {1, 0} 3 {1, 0}, gde je p q r f(p, q, r) 1 1 1 0 1 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 Da bi odredili formulu koja odgovara funkciji f, najpre izdvajamo one interpretacije slova p, q, r za koje funkcija f ima vrednost 1 (one označene sa ). Zatim se za svaku takvu trojku (α, β, γ) {1, 0} 3 obrazuje konjunkcija p α q β r γ. Konačno, disjunkcija tih izraza jeste iskazna formula (p q r) (p q r) ( p q r). Matematička logika 25 Iskazna logika - II deo

Normalna forma formule Osim o disjunktivnoj normalnoj formi funkcije, možemo govoriti i o disjunktivnoj normalnoj formi iskazne formule A. To je zapravo disjunktivna normalna forma istinitosne funkcije f A. Takod e, možemo govoriti i o konjuktivnoj normalnoj formi preslikavanja i formule, skraćeno KNF. Do njih možemo doći iz disjunktivne normalne forme korišćenjem De Morganovih zakona, o kojima govorimo u narednom odeljku. Matematička logika 26 Iskazna logika - II deo

Tautologije Iskazna formula je tautologija, ako je tačna u svakoj valuaciji, odnosno interpretaciji. U njenoj tablici istinitosti, sve vrednosti u poslednjoj koloni, koja odgovara celoj formuli, su jednake 1. Jednostavan primer tautologije je formula p p. Ta formula zove se Zakon isključenja trećeg i opisuje poznato pravilo logičkog mišljenja koje primenjujemo u klasičnoj dvovalentnoj logici. Sve tautologije su više ili manje poznati logički zakoni. U nastavku je naveden spisak poznatijih tautologija logičkih zakona sa njihovim nazivima. Matematička logika 27 Iskazna logika - II deo

Logički zakoni Zakon isključenja trećeg (Tertium non datur) p p Ovo znači: Tačno je p ili p, odnosno: p je tačno ili netačno Kao što smo rekli, ovo je zakon na kome počiva klasična dvovalentna logika logika sa samo dve moguće istinitosne vrednosti 1 i 0. U novije vreme izučavaju se i neke logike sa više mogućih istinitosnih vrednosti intuicionistička logika (koja je trovalentna), polivalentne logike, modalne logike itd. Matematička logika 28 Iskazna logika - II deo

Logički zakoni Zakon neprotivrečnosti (p p) Ovo znači: p i p ne mogu biti istovremeno tačni Drugim rečima: p ne može biti istovremeno tačno i netačno Naravno, i ovo je jedan od osnovnih logičkih zakona koji kaže da neprotivrečnosti nisu dozvoljene. Matematička logika 29 Iskazna logika - II deo

Logički zakoni Zakon odvajanja Modus ponendo ponens, ili kraće, samo Modus ponens p (p q) q Ovo znači: Ako je tačno p, i ako iz p sledi q, onda je tačno i q Ovo je zakon na kome počiva osnovno pravilo deduktivnog zaključivanja u iskaznoj logici, i uopšte u matematici. Ovaj zakon kaže da iz pretpostavki da važe stavovi p i p q zaključujemo da važi i q, što radimo kadgod koristimo deduktivno zaključivanje. Matematička logika 30 Iskazna logika - II deo

Logički zakoni Modus tollendo tollens q (p q) p Ovo znači: Ako iz p sledi q i ako nije tačno q, tada nije tačno ni p Na ovom zakonu temelji se metod opovrgivanja ukoliko smo ustanovili da se iz neke pretpostavke (u ovom slučaju p) može izvesti pogrešan zaključak (ovde je to q), onda zaključujemo da je pretpostavka pogrešna. Ovaj metod je u širokoj upotrebi u empirijsko-deduktivnim naukama. Matematička logika 31 Iskazna logika - II deo

Logički zakoni Modus tollendo ponens p (p q) q Ovo znači: Ako je tačno jedno od p i q, i nije tačno p, tada mora biti tačno q Zakon pojednostavljivanja p q p Ovo znači: Ako je tačno p i q, onda je tačno i p Matematička logika 32 Iskazna logika - II deo

Logički zakoni Zakon hipotetičkog silogizma (p q) (q r) (p r) Ovo znači: Ako iz p sledi q i iz q sledi r, onda iz p sledi r Potsećamo da smo o ovom zakonu smo govorili na početku ove nastavne teme, kada smo hipotetički silogizam prikazali kao jedan od primera logičke argumentacije. Matematička logika 33 Iskazna logika - II deo

Logički zakoni Zakon svod enja na apsurd Reductio ad absurdum (p (q q)) p Ovo znači: Ako se iz p može izvesti kontradikcija, onda p nije tačno Ovaj zakon veoma često koristimo u matematičkim dokazima ako, polazeći od neke pretpostavke, dod emo do kontradikcije, to znači da nam ta pretpostavka nije bila dobra, odnosno da važi suprotno. Matematička logika 34 Iskazna logika - II deo

Logički zakoni Istina iz proizvoljnog Verum ex quolibet p (q p) Ovo znači: Ako je p tačno, onda p sledi iz bilo čega Matematička logika 35 Iskazna logika - II deo

Logički zakoni Iz lažnog proizvoljno p (p q) Ovo znači: Ako je p nije tačno, onda iz p sledi bilo šta Ili: Iz laži može da se zaključi bilo šta Ovaj zakon pokazuje da, ako bi neka matematička teorija bila protivrečna, tj. ako bi se u njoj mogla dokazati kontradikcija, onda ta teorija ne bi bila besmislena samo zbog te činjenice, već i zbog toga što bi onda svako drugo tvrd enje u toj teoriji bilo teorema. Matematička logika 36 Iskazna logika - II deo

Logički zakoni Zakon zaključivanja iz suprotnog Ex contrario ( p p) p I ovo je zakon koji često koristimo u matematičkim dokazima ako pretpostavimo da neki iskaz p ne važi, i iz toga zaključimo da on ipak mora da važi, onda iz svega toga zaključujemo da je p tačan iskaz. U suštini, ovo se svodi na Zakon svodjenja na apsurd jer iskazi p i p p zajedno daju kontradikciju (tj. iskaz p ( p p) je kontradikcija). Matematička logika 37 Iskazna logika - II deo

Logički zakoni Zakon dvostruke negacije p p Ovaj zakon koristimo za uprošćavanje logičkih izraza, eliminacijom višestruke upotrebe negacije. Matematička logika 38 Iskazna logika - II deo

Logički zakoni Zakon kontrapozicije (p q) ( q p) Ovo je još jedan od zakona koje često koristimo u dokazima. Naime, često tvrd enje u formi implikacije p q dokazujemo tako što dokazujemo ekvivalentnu formu te implikacije q p. Matematička logika 39 Iskazna logika - II deo

Logički zakoni De Morganovi zakoni (p q) p q (p q) p q De Morganovi zakoni nam kažu kako negacija prolazi kroz konjunkciju i disjunkciju. Matematička logika 40 Iskazna logika - II deo

Logički zakoni Ako iskoristimo Zakon dvojne negacije i tranzitivnost ekvivalencije, iz De Morganovih zakona dolazimo do tautologija p q ( p q) p q ( p q) One se koriste za eliminaciju veznika ili, tj. za zamenu veznika veznicima i, odnosno veznika veznicima i. Matematička logika 41 Iskazna logika - II deo

Logički zakoni Zakoni ekvivalencije za implikaciju, disjunkciju i konjunkciju (p q) p q p q ((p q) q) p q (p q) Prvi zakon se koristi za eliminaciju implikacije, njenom zamenom negacijom i disjunkcijom. Drugi se koristi za eliminaciju disjunkcije, njenim izražavanjem pomoću implikacije. Treći zakon služi za eliminaciju konjunkcije i njeno izražavanje pomoću negacije i implikacije. Matematička logika 42 Iskazna logika - II deo

Logički zakoni Zakon negacije implikacije (p q) p q Jasno, ovo je drugačija forma Zakona ekvivalencije za implikaciju. Zakon ekvivalencije (p q) (p q) (q p) Ovaj zakon omogućuje da ekvivalenciju p q tretiramo kao konjunkciju implikacija p q i q p. Matematička logika 43 Iskazna logika - II deo

Logički zakoni Zakon unošenja i iznošenja (p q r) (p (q r)) Zakoni komutativnosti p q q p p q q p Matematička logika 44 Iskazna logika - II deo

Logički zakoni Zakoni apsorpcije p (p q) p p (p q) p Zakoni idempotentnosti p p p p p p Matematička logika 45 Iskazna logika - II deo

Logički zakoni Zakoni asocijativnosti p (q r) (p q) r p (q r) (p q) r Zakoni distributivnosti p (q r) (p q) (p r) p (q r) (p q) (p r) Matematička logika 46 Iskazna logika - II deo

Tautološke implikacije i ekvivalencije Ako su A i B iskazne formule i A B je tautologija, onda tu formulu nazivamo tautološka implikacija. Tada kažemo da iskaz koji odgovara formuli A tautološki implicira iskaz dat formulom B. Slično, ako je A B tautologija, onda se ta formula naziva tautološka ekvivalencija. Za iskaze koji odgovaraju formulama A i B se tada kaže da su tautološki ekvivalentni. Med u napred navedenim logičkim zakonima puno je primera tautoloških implikacija i ekvivalencija. Matematička logika 47 Iskazna logika - II deo

Još o tautologijama Napomenimo da je u jezik pogodno uvesti i simbole 1 i 0, koje shvatamo kao konstantne simbole, ili redom kao zamene za formule p p i p p. U svakom slučaju, ti znaci interpretiraju se kao isto označene konstante iskazne algebre. Tada su tautologije i formule p 1 p, p 0 p, (p 1) 1 i slično. Matematička logika 48 Iskazna logika - II deo