Barakovi´c Elvis Matematika
1 Elementi matematiµcke logike
Svaka izjavna reµcenica nekog jezika koja ima smisla i koja ima osobinu da jetaµcna ili netaµcna naziva se iskaz (sud). Svaki iskaz moµzemo obiljeµziti nekimslovom (najµceš´ce slovom latinice), brojem ili nekim drugim simbolom. Takvesimbole nazivamo iskazna slova.µCinjenicu da je iskaz
p
taµcan oznaµcava´cemo sa
(
p
) =
>
ili
(
p
) = 1
;
aµcinjenicu da je netaµcan sa
(
p
) =
?
ili
(
p
) = 0
:
Od dva ili više iskaza moµzemo sastaviti novi, sloµzeni iskaz. Sa iskazima, kaoelementima skupa iskaza, uvodimo sljede´ce operacije:1.
NEGACIJA
iskaza
p
je novi iskaz
e
p
koji ima suprotnu istinitosnuvrijednost od istinitosne vrijednosti iskaza
p
.2.
KONJUNKCIJA
iskaza
p
i
q
je novi iskaz
p
^
q
koji je taµcan ako suiskazi
p
i
q
istovremeno taµcni a netaµcan u ostalim sluµcajevima.3.
DISJUNKCIJA
iskaza
p
i
q
je novi iskaz
p
_
q
koji je netaµcan ako suiskazi
p
i
q
istvremeno netaµcni a taµcan u ostalim sluµcajevima.4.
IMPLIKACIJA
iskaza
p
i
q
je novi iskaz
p
=
)
q
koji je netaµcanako je iskaz
p
taµcan a iskaz
q
netaµcan a taµcan u ostalim sluµcajevima.5.
EKVIVALENCIJA
iskaza
p
i
q
je novi iskaz
p
()
q
koji je taµcanako su iskazi
p
i
q
istvremeno iste istinitosne vrijednosti, a netaµcan uostalim sluµcajevima.Operacije sa iskazima moµzemo predstaviti u obliku tabele.
(
p
)
(
q
)
(
e
p
)
(
p
^
q
)
(
p
_
q
)
(
p
=
)
q
)
(
p
()
q
)1 1 0 1 1 1 11 0 0 0 1 0 00 1 1 0 1 1 00 0 1 0 0 1 1
Zadatak 1.1
Provjeriti da li je sljede ´ ca iskazna formula tautologija
F
:
e
(
p
()
q
)
| {z }
L
()
(
p
()e
q
)
| {z }
D
:
Rješenje:
3