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 ) 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

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

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