I.

Osnove matematike logike

20

I.3. JEDNAKOST SUDOVA

Dva (sloena) suda su jednaka ako im se podudaraju
tablice istinitosti.

Sud koji je uvijek istinit oznaava se sa T, a sud koji je
uvijek laan sa .

Vrijede sljedea pravila:
1. A A A, A A A - idempotentnost;
2. ( A B ) C A ( B C ) , ( A B ) C A ( B C )
- asocijativnost;
LINEARNA ALGEBRA

I. Osnove matematike logike

21

3.

4.

5.

6.
7.
8.
9.

A B B A, A B B A - komutativnost;
A (B C ) ( A B) ( A C ) ,
A ( B C ) ( A B ) ( A C ) - distributivnost;

( A B ) A B, ( A B ) A B
- De Morganovi zakoni;
A T A, A A ;
A , A T T ;
A A , A A T - komplementarnost;
( A ) A - pravilo dvostruke negacije.
LINEARNA ALGEBRA

I. Osnove matematike logike

22

ZADATAK 1. Tablicom provjerite De Morganove

zakone.
ZADATAK 2. Tablicom pokaite da vrijedi sljedea
jednakost: ( A B ) A B .
ZADATAK 3. Koristei jednakost iz prethodnog
zadatka, pokaite da vrijedi sljedea jednakost:
A B A B.

LINEARNA ALGEBRA

I. Osnove matematike logike

23

I.4. TAUTOLOGIJA

Sloeni sud koji je uvijek istinit se naziva tautologija.

Neke vanije tautologije su:
1. A ( A ) - zakon iskljuenja treeg;
2. ( ( A B ) ( B C ) ) ( A C ) - pravilo silogizma;
3. ( A ( A ) ) - zakon neproturjenosti;
4. ( A B ) ( B A ) - pravilo kontrapozicije.

ZADATAK 4. Tablicom istinitosti provjerite pravilo
silogizma.
LINEARNA ALGEBRA