Osnovna lastnost izjave je, da je bodisi pravilna (resnična) ali nepravilna. Namesto "izjava je (ne)pravilna", pogosto rečemo, "izjava je (ne)resnična".
Kako ugotovimo, da je kaka izjava pravilna ali nepravilna? Najprej moramo izjavo seveda razumeti. Nato je treba primerjati to, kar izjava pripoveduje, z dejanskim stanjem stvari, na katere se izjava nanaša.
Če pogledamo spodnjo sliko, prikazuje Špelo, ki je deklica. Zatorej je izjava "Špela je deklica" pravilna, saj opisuje dejansko stanje. Na primer izjava "Špela ima rada pse" ne opisuje dejanskega stanja, zato pravimo, da je nepravilna.
V logiki se navadno ne ukvarjamo z ugotavljanjem ali je določena izjava pravilna (s tem se ukvarjajo ostale vede), pač pa želimo izvedeti različne povezave med izjavami.
Naprej, k nalogam iz tega poglavja
Naloge
Premisli!
Premisli