Professional Documents
Culture Documents
Iskazna Logika - DZ 2023
Iskazna Logika - DZ 2023
Iskazna Logika - DZ 2023
3. Uz svaki ponuđeni iskaz na crtu upišite samo jedan od ponuđenih odgovora. Smatrate li da je
iskaz tautologija, upišite T, ako smatrate da je iskaz kontradikcija, upišite K, a ako smatrate
da je iskaz zadovoljiv (ali ne i tautološki), upišite Z. Zadatak se priznaje samo ako su točno
ispisane istinitosne tablice.
a) ((Pᴧ┐Q) ᴧ ┐P) → (P v R) _________
b) ((P ᴧ ┐Q) → (P →Q)) ↔ ((PᴧR) v (P v ┐R))____________
c) ¬(¬¬Q ᴧ ¬Q) → ((P v ¬Q) ᴧ ¬ (Pv ¬P))__________
4. ↓ je logički operator koji se naziva dvonijek (binegacija). Definiran je sljedećom tablicom, gdje
i predstavlja istinu, a n neistinu.
A B A↓B
i i n
i n n
n i n
n n i