TEKST ZADATKA
Dati su iskazi: p:(0,01⋅1,23−1):0,7+2=0,589; q:2⋅3⋅6⋅0,5=180∨3236=33; r:0,(43)=9943. Ispitati tačnost iskaza ((p⇔q)∧(r⇒q))∨(¬q∨p).
REŠENJE ZADATKA
Prvo ispitujemo istinitosnu vrednost iskaza p. Računamo vrednost izraza na levoj strani jednakosti:
(0,01⋅1,23−1):0,7+2=(0,0123−1):0,7+2=−0,9877:0,7+2=−1,411+2=0,589 Kako je dobijena vrednost jednaka desnoj strani, iskaz p je tačan:
τ(p)=⊤ Ispitujemo istinitosnu vrednost iskaza q. Iskaz q je disjunkcija dva jednostavnija iskaza. Proveravamo prvi deo:
2⋅3⋅6⋅0,5=36⋅0,5=18=180 Proveravamo drugi deo iskaza q, koristeći pravila za stepenovanje:
3236=36−2=34=33 Pošto su oba dela disjunkcije netačna, iskaz q je netačan:
τ(q)=⊥∨⊥=⊥ Ispitujemo istinitosnu vrednost iskaza r. Periodični decimalni broj 0,(43) pretvaramo u razlomak:
0,(43)=9943 Kako je tvrdnja u iskazu r tačna, imamo:
τ(r)=⊤ Sada menjamo dobijene istinitosne vrednosti τ(p)=⊤,τ(q)=⊥,τ(r)=⊤ u polazni složeni iskaz:
((⊤⇔⊥)∧(⊤⇒⊥))∨(¬⊥∨⊤) Rešavamo operacije unutar zagrada:
(⊥∧⊥)∨(⊤∨⊤)=⊥∨⊤=⊤ Zaključujemo da je polazni iskaz tačan.
τ(((p⇔q)∧(r⇒q))∨(¬q∨p))=⊤