I.

Osnove matematike logike

5

I.2. LOGIKI VEZNICI NEGACIJA Negacija suda A je sud koji je istinit onda kada je sud A laan. Oznaava se sa: A i ita: ne A, nije A, non A. Primjeri: A=Broj 5 je negativan broj. A =Broj 5 nije negativan broj.

LINEARNA ALGEBRA

I. Osnove matematike logike

6

A = Svaki grad ima sveuilite. A = Postoji grad koji nema sveuilite. Tablica istinitosti za negaciju:
A 1 0 A 0 1

LINEARNA ALGEBRA

I. Osnove matematike logike

7

KONJUNKCIJA Konjunkcija sudova A i B je istinita samo ako su oba suda istinita. Oznaava se sa: A B i ita: A i B. Primjeri: A = Trokut je geometrijski lik. B = Piramida je geometrijsko tijelo. A B = Trokut je geometrijski lik i piramida je geometrijsko tijelo. Sud A B je istinit jer su oba suda A i B istiniti.
LINEARNA ALGEBRA

I. Osnove matematike logike

8

A = Rajica je voe. B = Paprika je povre. A B = Rajica je voe i paprika je povre. Sud A B je laan jer je sud A laan. Tablica istinitosti za konjunkciju:
A 1 1 0 0 B 1 0 1 0
LINEARNA ALGEBRA

A B 1 0 0 0

I. Osnove matematike logike

9

DISJUNKCIJA Disjunkcija sudova A i B je sud koji je laan samo ako su oba suda A i B lana. Oznaava se sa: A B i ita: A ili B. Primjeri: A = Skup realnih brojeva je beskonaan. B = Skup prirodnih brojeva nije prebrojiv. A B = Skup realnih brojeva je beskonaan ili je skup prirodnih brojeva prebrojiv. Sud A B je istinit jer je sud A istinit.
LINEARNA ALGEBRA

I. Osnove matematike logike

10

A = 2+2=5. B = Mjerna jedinica za mjerenje napona je amper. A B = 2+2=5 ili je mjerna jedinica za mjerenje napona amper. Sud A B je laan jer su oba suda A i B lani. Tablica istinitosti za disjunkciju:
A 1 1 0 0 B 1 0 1 0
LINEARNA ALGEBRA

A B 1 1 1 0

I. Osnove matematike logike

11

Opisana disjunkcija jo se naziva inkluzivna disjunkcija (inkluzivni ili). Osim nje, postoji i ekskluzivna disjunkcija (ekskluzivni ili). Oznaka tog logikog veznika je i ita se ili...ili. Ekskluzivna disjunkcija sudova A i B je sud koji je laan ako su oba suda A i B istinita ili ako su oba suda A i B lana.

LINEARNA ALGEBRA

I. Osnove matematike logike

12

Primjeri: A = 5<7. B = Sada je mjesec listopad. A B = Ili je 5<7 ili je sada mjesec listopad. Sudovi A i B su istiniti. Sud A B je laan. A = 5<7. B = 5<3. A B = Ili je 5<7 ili je 5<3. Sud A istinit, sud B laan. Sud A B je istinit.

LINEARNA ALGEBRA

I. Osnove matematike logike

13

Tablica istinitosti za ekskluzivnu disjunkciju:

A 1 1 0 0 B 1 0 1 0

AB
0 1 1 0

LINEARNA ALGEBRA

I. Osnove matematike logike

14

IMPLIKACIJA Implikacija sudova A i B je sloeni sud koji je laan samo ako je sud A istinit, a sud B laan. Oznaava se sa: A B i ita: A povlai B, iz A slijedi B, ako A, onda B, A je dovoljan uvjet za B, B je nuan uvjet za A.

LINEARNA ALGEBRA

I. Osnove matematike logike

15

Primjeri: A = 5+3=8. B = Travanj ima 31 dan. A B = Ako je 5+3=8, onda travanj ima 31 dan. Sud A je istinit, sud B je laan. Sud A B je laan. A = 5+3=9. B = Travanj ima 30 dana. A B = Ako je 5+3=9, onda travanj ima 30 dana. Sud A je laan, sud B je istinit. Sud A B je istinit.

LINEARNA ALGEBRA

I. Osnove matematike logike

16

Tablica istinitosti za implikaciju:

A 1 1 0 0 B 1 0 1 0 AB 1 0 1 1

LINEARNA ALGEBRA

I. Osnove matematike logike

17

EKVIVALENCIJA Ekvivalencija sudova je sloeni sud koji je istinit samo ako su oba suda istinita ili su oba suda lana. Oznaava se sa: A B i ita: A je ekvivalentno sa B, iz A slijedi B, A je ako i samo ako je B, A je nuan i dovoljan uvjet za B.

LINEARNA ALGEBRA

I. Osnove matematike logike

18

Primjeri: A = More je slano. B = Sada nije no. A B = More je slano ako i samo ako sada nije no. Sudovi A i B su istinit. Sud A B je istinit. A = 5+3=9. B = Sila je vektorska veliina. A B = 5+3=9 ako i samo ako je sila vektorska veliina. Sud A je laan, sud B je istinit. Sud A B je laan.
LINEARNA ALGEBRA

I. Osnove matematike logike

19

A = eljezo je plemenit metal. B = Zemlja je ravna ploa. A B = eljezo je plemenit metal ako i samo ako je Zemlja ravna ploa. Sud A je laan, sud B je laan. Sud A B je istinit.
A B 1 0 1 0

Tablica istinitosti za ekvivalenciju:

1 1 0 0
LINEARNA ALGEBRA

A B 1 0 0 1