I. Osnove matematike logike

LINEARNA ALGEBRA

2

I.1. SUDOVI

Sud je svaka smislena izjavna reenica koja je ili

istinita ili lana.

Primjeri:

Zbroj dva prirodna broja je prirodni broj.

Ne postoji lie koje je zelene boje.

Kada e zavriti predavanje?

U dvorani se nalazi puno studenata.

- sud

- sud

- nije sud

- nije sud

I. Osnove matematike logike

LINEARNA ALGEBRA

3

Jednostavne sudove moemo povezivati u sloene

sudove koritenjem logikih veznika:

negacija (ne)

konjunkcija (i)

disjunkcija (ili)

implikacija (slijedi)

ekvivalencija (ako i samo ako)

I. Osnove matematike logike

LINEARNA ALGEBRA

4

Sud koji je istinit oznaavamo s 1, a koji je laan s 0.

Istinitost sloenog suda moemo u ovisnosti o

istinitosti sudova od kojih je sastavljen prikazati

tablicom istinitosti ili semantikom tablicom.