Logika - 2020./21. jesen - 12.

Zadani su sljedeći sudovi:
(a) ¬(AB)¬(BA)\neg(A \wedge B) \rightarrow \neg(B \wedge A)
(b) ¬(AB)¬(AC)\neg(A \wedge B) \rightarrow \neg(A \wedge C)
(c) ¬(AB)¬(AC)\neg(A \vee B) \rightarrow \neg(A \wedge C)
(d) (C¬(AC))(¬(BA)B)(C \wedge \neg(A \wedge C)) \leftrightarrow(\neg(B \wedge A) \wedge B).
Koji je od sljedećih iskaza (sudova) valjan i zadovoljiv, koji je nevaljan i zadovoljiv, a koji je nezadovoljiv? Pokraj iskaza (suda) koji je valjan i zadovoljiv upišite V, pokraj iskaza (suda) koji je nevaljan i zadovoljiv upišite ZZ, a pokraj iskaza (suda) koji je nezadovoljiv upišite N
12.1. Iskaz (a) je .
12.2. Iskaz (b) je .
12.3. Iskaz (c) je .
12.4. Iskaz (d) je .
© 2026, Gradivo.hr