Логика 1 друга недеља

Логика 1друга недеља

Синтакса: дефиниције формула, подформула, главног везника.

Семантика: Валуације. Таутологије, контрадикције, контингентне формуле.

Еквивалентне формуле. Неротивуречност скупова формула. Семантичка последица. Валидност

аргумената.

Definicija formule:

1. Svaka atomska formula je formula

2. Ako je P formula, onda je i ~P formula

3. Ako su P i Q formule, onda su to i (P Q), (P Q), (P Q) i (P ≡ Q)

4. Ništa drugo nije formula

Синтакса ИР

Definicija podformule, neposredne podformule, atomske podformule i glavnog veznika:

1. P je podformula od P.

2. Ako je P atomska formula, P nema veznika, pa nema ni glavog veznika, i nema ni neposredne podformule.

3. Ako P ima formu ~Q, onda je Q neposredna podformula od P a negacija koja se javlja ispred Q je glavni veznik.

4. Ako P ima formu (R Q) , (R Q), (R Q) ili (R ≡ Q), onda su R i Q neposredne podformule a glavni veznik je onaj koji se javlja između R i Q.

5. Neposredne podformule od P su podformule od P.

6. Ako je Q podformula od P i R podformula od Q, onda je R podformula od P.

7. Atomske podformule od P su sve podformule od P koje su atomske rečenice.

Синтакса ИР

Valuacija je dodeljivanje vrednosti T ili atomskim formulama iskaznog računa. Svaka valuacija dodeljuje svakoj iskaznoj formuli samo jednu vrednost T ili .

Семантика ИР

Valuacija je dodeljivanje vrednosti T ili atomskim formulama iskaznog računa. Svaka valuacija dodeljuje svakoj iskaznoj formuli samo jednu vrednost T ili .

Za atomsku formulu se kaže da je istinita za neku valuaciju akko joj ta valuacija dodeljuje vrednost T. Inače je ta formula lažna za tu valuaciju.

Семантика ИР

Valuacija je dodeljivanje vrednosti T ili atomskim formulama iskaznog računa. Svaka valuacija dodeljuje svakoj iskaznoj formuli samo jednu vrednost T ili .

Za atomsku formulu se kaže da je istinita za neku valuaciju akko joj ta valuacija dodeljuje vrednost T. Inače je ta formula lažna za tu valuaciju.

Kada je u opštem slučaju neka formula P istinita za neku valuaciju v? To ćemo definisati rekurzivno po dužini formule P (šta sad ovo znači??).

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

1. Ako je P atomska formula, recimo A, onda je P istinito za valuaciju v, tj. v(P) = T, akko je v(A) = T.

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

1. Ako je P atomska formula, recimo A, onda je P istinito za valuaciju v, tj. v(P) = T, akko je v(A) = T.

2. Ako P = ~Q, onda je v(P) = T akko je v(Q) = .

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

1. Ako je P atomska formula, recimo A, onda je P istinito za valuaciju v, tj. v(P) = T, akko je v(A) = T.

2. Ako P = ~Q, onda je v(P) = T akko je v(Q) = .

3. Ako P = R Q, onda je v(P) = T akko je v(R) = T i v(Q) = T.

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

1. Ako je P atomska formula, recimo A, onda je P istinito za valuaciju v, tj. v(P) = T, akko je v(A) = T.

2. Ako P = ~Q, onda je v(P) = T akko je v(Q) = .

3. Ako P = R Q, onda je v(P) = T akko je v(R) = T i v(Q) = T.

4. Ako P = R Q, onda je v(P) = T akko je v(R) = T ili v(Q) = T.

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

1. Ako je P atomska formula, recimo A, onda je P istinito za valuaciju v, tj. v(P) = T, akko je v(A) = T.

2. Ako P = ~Q, onda je v(P) = T akko je v(Q) = .

3. Ako P = R Q, onda je v(P) = T akko je v(R) = T i v(Q) = T.

4. Ako P = R Q, onda je v(P) = T akko je v(R) = T ili v(Q) = T.

5. Ako P = R Q, onda je v(P) = T akko je v(R) = ili v(Q) = T.

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

1. Ako je P atomska formula, recimo A, onda je P istinito za valuaciju v, tj. v(P) = T, akko je v(A) = T.

2. Ako P = ~Q, onda je v(P) = T akko je v(Q) = .

3. Ako P = R Q, onda je v(P) = T akko je v(R) = T i v(Q) = T.

4. Ako P = R Q, onda je v(P) = T akko je v(R) = T ili v(Q) = T.

5. Ako P = R Q, onda je v(P) = T akko je v(R) = ili v(Q) = T.

6. Ako P = R ≡ Q, onda je v(P) = T akko je v(R) = v(Q).

Семантика ИР

Definicija istinitosne vrednosti za datu valuaciju:

1. Ako je P atomska formula, recimo A, onda je P istinito za valuaciju v, tj. v(P) = T, akko je v(A) = T.

2. Ako P = ~Q, onda je v(P) = T akko je v(Q) = .

3. Ako P = R Q, onda je v(P) = T akko je v(R) = T i v(Q) = T.

4. Ako P = R Q, onda je v(P) = T akko je v(R) = T ili v(Q) = T.

5. Ako P = R Q, onda je v(P) = T akko je v(R) = ili v(Q) = T.

6. Ako P = R ≡ Q, onda je v(P) = T akko je v(R) = v(Q).

7. P je lažno za valuaciju v akko P nije istinito za tu valuaciju, tj. v(P) = akko nije v(P) = T

Семантика ИР

U raznim knjigama iz logike videćete različitu notaciju. Često se umesto

‘v(P) = T’

koristi tzv dupla rampa (double turnstyle)

’v P’ ili ’ v P’.

‘v(P) = ’ se može zapisati kao ’v P’.

Mi ćemo koristiti i ove simbole tokom kursa.

Семантика ИР

Definicija tautologija, kontradikcija i kontingentnih formula:

Семантика ИР

Definicija tautologija, kontradikcija i kontingentnih formula:

Formula P je tautologija, što simbolima zapisujemo: P, akko je P istinito za sve valuacije

Семантика ИР

Definicija tautologija, kontradikcija i kontingentnih formula:

Formula P je tautologija, što simbolima zapisujemo: P, akko je P istinito za sve valuacije

Formula P je kontradikcija akko je P lažno za sve valuacije (to jest akko je ~P)

Семантика ИР

Definicija tautologija, kontradikcija i kontingentnih formula:

Formula P je tautologija, što simbolima zapisujemo: P, akko je P istinito za sve valuacije

Formula P je kontradikcija akko je P lažno za sve valuacije (to jest akko je ~P)

Formula P je kontingentna akko nije ni tautologija ni kontradikcija, tj. akko važi i P i ~P, (tj. akko postoji valuacija za koju je P istinito i postoji valuacija za koju je P lažno).

Семантика ИР

Definicija tautologija, kontradikcija i kontingentnih formula:

Formula P je tautologija, što simbolima zapisujemo: P, akko je P istinito za sve valuacije

Formula P je kontradikcija akko je P lažno za sve valuacije (to jest akko je ~P)

Formula P je kontingentna akko nije ni tautologija ni kontradikcija, tj. akko važi i P i ~P, (tj. akko postoji valuacija za koju je P istinito i postoji valuacija za koju je P lažno).

Iz ove definicije sledi da je svaka atomska formula kontingentna.

Семантика ИР

Definicija ekvivalentnosti dve formule

Formule P i Q su ekvivalentne akko nemaju različite istinitosne vrednosti ni za jednu valuaciju

Семантика ИР

Definicija ekvivalentnosti dve formule

Formule P i Q su ekvivalentne akko nemaju različite istinitosne vrednosti ni za jednu valuaciju

Definicija neprotivurečnosti i protivurečnosti skupa formula

Skup formula je neprotivurečan akko postoji valuacija za koju su sve formule iz skupa istinite

Семантика ИР

Definicija ekvivalentnosti dve formule

Formule P i Q su ekvivalentne akko nemaju različite istinitosne vrednosti ni za jednu valuaciju

Definicija neprotivurečnosti i protivurečnosti skupa formula

Skup formula je neprotivurečan akko postoji valuacija za koju su sve formule iz skupa istinite

Skup formula je protivurečan akko nije neprotivurečan

Семантика ИР

Definicija semantičke posledice

Formula P je semantička posledica skupa formula (simbolima se to zapisuje: P) akko ne postoji valuacija za koju su sve formule iz istinite a P lažno

Семантика ИР

Definicija semantičke posledice

Formula P je semantička posledica skupa formula (simbolima se to zapisuje: P) akko ne postoji valuacija za koju su sve formule iz istinite a P lažno

Definicija (deduktivne) validnosti argumenata

Argument je validan akko ne postoji valuacija za koju su sve premise istinite a zaključak lažan

Семантика ИР

Formula P je tautologija, što simbolima zapisujemo: P, akko je P istinito za sve valuacije

Formula P je kontradikcija akko je P lažno za sve valuacije (to jest akko je ~P)

Formula P je kontingentna akko nije ni tautologija ni kontradikcija, tj. akko važi i P i ~P, (tj. akko postoji valuacija za koju je P istinito i postoji valuacija za koju je P lažno).

Formule P i Q su ekvivalentne akko nemaju različite istinitosne vrednosti ni za jednu valuaciju

Skup formula je neprotivurečan akko postoji valuacija za koju su sve formule iz skupa istinite

Formula P je semantička posledica skupa formula (simbolima se to zapisuje: P) akko ne postoji valuacija za koju su sve formule iz istinite a P lažno

Argument je validan akko ne postoji valuacija za koju su sve premise istinite a zaključak lažan

Семантика ИР

3.3E 1d

(C & (B A)) ((C & B) A)

T T T

T T F

T F T

T F F

F T T

F T F

F F T

F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T

T T F

T F T

T F F

F F T T

F F T F

F F F T

F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T

T T F

T F T

T F F F

F F T T

F F T F

F F F T

F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T T

T T T F

T F T T

T F F F

F F T T

F F T F

F F F T

F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T T T

T T T T F

T T F T T

T F F F F

F F T T

F F T F

F F F T

F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T T T T

T T T T F

T T F T T T

T F F F F

F F T T T

F F T F

F F F T T

F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T T T T

T T T T F T

T T F T T T

T F F F F F

F F T T T

F F T F F

F F F T T

F F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T T T T

T T T T F T T

T T F T T T

T F F F F F F

F F T T T

F F T F F F

F F F T T

F F F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T T T T

T T T T F T T

T T F T T T

T F F F F F F

F F T T T

F F T F F F

F F F T T

F F F F F F

3.3E 1d

(C & (B A)) ((C & B) A)

T T T T T T

T T T T F T T

T T F T T T

T F F F F F F

F F T T F T

F F T F F F

F F F T T

F F F F F F

3.4E 1f

U (W & H) W (U H) H ~H

1 T T T

2 T T F

3 T F T

4 T F F

5 F T T

6 F T F

7 F F T

8 F F F

3.4E 1f

U (W & H) W (U H) H ~H

1 T T T T T

2 T T T F T

3 T T F T F

4 T T F F F

5 F T T T T

6 F F T F F

7 F F F T F

8 F F F F T

3.4E 1f

U (W & H) W (U H) H ~H

1 T T T T T T2 T T T F T T3 T T F T F T4 T T F F F T5 F T T T T T6 F F T F F T7 F F F T F T8 F F F F T T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T

2 T T F

3 F T T

4 F T F

5 T F T

6 T F F

7 F F T

8 F F F

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T F T F

2 T T T F F

3 F T F T T

4 F T T F T

5 T F F T F

6 T F T F F

7 F F F T T

8 F F T F T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T F

2 T T T T F F

3 F T F T T

4 F T T F T

5 T T F F T F

6 T T F T F F

7 F F F T T

8 F F T F T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T F

2 T T T T F F

3 F T F F T T

4 F T T T F T

5 T T F F T F

6 T T F T F F

7 F F F F T T

8 F F F T F T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T F

2 T T T T F F

3 F F T F F T T

4 F T T T T F T

5 T T F F T F

6 T T F T F F

7 F F F F F T T

8 F F F F T F T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T F

2 T T T T F T F

3 F F T F F T T

4 F T T T T F T T

5 T T F F T F

6 T T F T F T F

7 F F F F F T T

8 F F F F T F T T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T F

2 T T T T F T F

3 F F T F F T T T

4 F T T T T F T T

5 T T F F T F

6 T T F T F T F

7 F F F F F T T

8 F F F F T F T T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T F

2 T T T T F T F

3 F F T F F T T T

4 F T T T T F T T

5 T T F F T F F

6 T T F T F T F

7 F F F F F T F T

8 F F F F T F T T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T T F

2 T T T T F T T F

3 F F T F F T T F T

4 F T T T T F T F T

5 T T F F T F F F

6 T T F T F T T F

7 F F F F F T F T T

8 F F F F T F T F T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T T F T

2 T T T T F T T F T

3 F F T F F T T F T T

4 F T T T T F T F T T

5 T T F F T F F F

6 T T F T F T T F

7 F F F F F T F T T T

8 F F F F T F T F T T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T T F T

2 T T T T F T T F T

3 F F T F F T T F T T

4 F T T T T F T F T T

5 T T F F T F F F F

6 T T F T F T T F F

7 F F F F F T F T T T

8 F F F F T F T F T T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T T F T T

2 T T T T F T T F T T

3 F F T F F T T F T T T

4 F T T T T F T F T T T

5 T T F F T F F F F T

6 T T F T F T T F F

7 F F F F F T F T T T T

8 F F F F T F T F T T

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T T F T T

2 T T T T F T T F T T

3 F F T F F T T F T T T

4 F T T T T F T F T T T

5 T T F F T F F F F T

6 T T F T F T T F F F

7 F F F F F T F T T T T

8 F F F F T F T F T T F

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T T F T F T

2 T T T T F T T F T F T

3 F F T F F T T F T T F T

4 F T T T T F T F T T F T

5 T T F F T F F F F F T

6 T T F T F T T F F T F

7 F F F F F T F T T T F T

8 F F F F T F T F T T T F

3.5E1b

B (A ~ C) (C A) B ~ B A ~ (A C)

1 T T T F T T T F T F T

2 T T T T F T T F T F T

3 F F T F F T T F T T F T

4 F T T T T F T F T T F T

5 T T F F T F F F F F T

6 T T F T F T T F F T F

7 F F F F F T F T T T F T

8 F F F F T F T F T T T F

3.5E 1D

~ (Y A) ~ Y ~ A W & ~ W

1 F T T T F F T F F

2 F T T T F F F F T

3 T T F F F T T F F

4 T T F F F T F F T

5 T F F T T F T F F

6 T F F T T F F F T

7 F F T F T T T F F

8 F F T F T T F F T

Скраћене истинитосне таблице

Pokažite da~B(B&~B) nije tautologija

Скраћене истинитосне таблице

Pokažite da~B(B&~B) nije tautologija

B ~ B (B & ~ B)

F

Скраћене истинитосне таблице

Pokažite da~B(B&~B) nije tautologija

B ~ B (B & ~ B)

F F F

Скраћене истинитосне таблице

Pokažite da~B(B&~B) nije tautologija

B ~ B (B & ~ B)

F T F F

Скраћене истинитосне таблице

Pokažite da~B(B&~B) nije tautologija

B ~ B (B & ~ B)

T F T F T F T

Скраћене истинитосне таблице

Pokažite da~B(B&~B) nije tautologija

B ~ B (B & ~ B)

T F T F T F F T

Скраћене истинитосне таблице

Pokažite da (~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

Скраћене истинитосне таблице

Pokažite da (~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

T

Скраћене истинитосне таблице

Pokažite da (~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

T T T

Скраћене истинитосне таблице

Pokažite da(~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

T T T T

Скраћене истинитосне таблице

Pokažite da(~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

T T T T T

Скраћене истинитосне таблице

Pokažite da(~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

T F T T T T

Скраћене истинитосне таблице

Pokažite da(~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

T F T T T T T

Скраћене истинитосне таблице

Pokažite da(~B~A)&C nije kontradikcija

A B (~ B ~ A) & B

F T F T T T F T T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T

F T F

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T

T F F T T F F

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T

? ? T F F T T F F

PROTIVUREČNOST!

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T T T

F T T T T

F T F T T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T T T

F T F T T T T T F

F T F T T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T T T

F T F T T T T T F

F T F T T

PROTIVUREČNOST!

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T T T

F T F T T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T T T T T T T

F T F T T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije kontradikcija

A B (A B) (B A)

T T T T T T T T T

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije tautologija

A B (A B) (B A)

F

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije tautologija

A B (A B) (B A)

F F F

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije tautologija

A B (A B) (B A)

T F F F T F F

Скраћене истинитосне таблице

Pokažite da(AB) (BA) nije tautologija

A B (A B) (B A)

? ? T F F F T F F

PROTIVUREČNOST!

Dakle, formula je tautologija

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

B (A & ~ C) (C A) B ~ B A ~ (A C)

T T T F

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

B (A & ~ C) (C A) B ~ B A ~ (A C)

T T T F T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

B (A & ~ C) (C A) B ~ B A ~ (A C)

T T T T T F T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

B (A & ~ C) (C A) B ~ B A ~ (A C)

T T T T T T T F T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

B (A & ~ C) (C A) B ~ B A ~ (A C)

T T T T T F T T F T

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

B (A & ~ C) (C A) B ~ B A ~ (A C)

T T T T T F F T T T T T T F T T F

Скраћене истинитосне таблице

Za vežbuPokažite da:

{A(B&C), B (AC), C~C} je neprotivurečan{B(A&~C), (CA) B, ~BA} ~(AC)

A B C A (B & C) B (A C) C ~ C

T T T T T T T T T T T T T T T F T

B (A & ~ C) (C A) B ~ B A ~ (A C)

T T T T T F F T T T T F T T T F T T F