Logika sudova

Istinito i neistinito (mi) označavamo:

• T i ⊥

• 1 i 0

• I i N

• Jać označavat kako ja oću

Disjunkcija P∧Q je NEISTINITA samo kada je...

• P istinit i Q neistinit

• P neistinit i Q neistinit

• P istinit i Q neistinit

• Nije to disjunkcija

Disjunkcija P∨Q je NEISTINITA samo kada je...

• P istinit i Q neistinit

• P neistinit i Q neistinit

• P istinit i Q neistinit

• P neistinit i Q istinit

Nacrtaj značenje riječi "komutativno"

U složenom iskazu "J → K", kako zovemo "J"?

Prevedi na hrvatski tako da izmisliš svoj primjer: V∧L

Nacrtaj tablicu istinitosti za konjunkciju

U složenom iskazu "J → K", kako zovemo "K"?

Prevedi na hrvatski tako da izmisliš svoj primjer: (U∧S)→K

Ispred vas se nalaze dvoja vrata. Iza svakih od njih se ili skriva blago ili velika mačka. Na jednim se vratima nalazi sljedeći natpis: "Ako je iza ovih vrata blago, iza drugih je vrata velika mačka." Ako znamo da je navedeni natpis NEISTINIT, što je od sljedećeg istinito:

• Ni iza jednih vrata nije velika mačka

• Iza vrata s natpisom je blago, a iza drugih vrata velika mačka.

• Iza vrata s natpisom je velika mačka, a iza drugih vrata je blago.

• Ni iza jednih vrata nije blago.

Answer explanation

Natpis na vratima predstavlja implikaciju za koju znamo da je neistinita. Implikacija je neistinita u slučaju da je antecedens istinit, a konsekvens neistinit. Stoga, znamo da je iza vrata s natpisom blago, a iza drugih nije velika mačka.