I.

Osnove matematike logike

2

I.1. SUDOVI Sud je svaka smislena izjavna reenica koja je ili istinita ili lana. Primjeri:
Zbroj dva prirodna broja je prirodni broj. izjava Ne postoji lie koje je zelene boje. izjava Kada e zavriti predavanje? nije izjava U dvorani se nalazi puno studenata. nije izjava

LINEARNA ALGEBRA

I. Osnove matematike logike

3

Jednostavne sudove moemo povezivati u sloene sudove koritenjem logikih veznika:

negacija (ne) konjunkcija (i) disjunkcija (ili) implikacija (slijedi) ekvivalencija (ako i samo ako)

LINEARNA ALGEBRA

I. Osnove matematike logike

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.

LINEARNA ALGEBRA