Osnovni pojmovi.Iskaz, Osnovni pojmovi.Iskaz,definicija, aksioma ...

((+∧¬+)⇔(*∨¬+))⇒(*∨+)=((+∧*)⇔(*∨*))⇒*
sada radimo u malim zagradama
((+∧*)⇔(*∨*))⇒*=(+⇔*)⇒*=+⇒*=*
Prisjetimo se sličnog zadatka sa brojevima i operacijama: ((2+3)-(2+3))*(5+2)
Ako je neka formula sastavljena od iskaza obilježenih slovima onda ne znamo koja je
istinitosna vrijednost pojedinog iskaza pa moramo uzeti u obzir sve moguće vrijednosti,a
njih nije mnogo jer svaki iskaz može imati samo dvije vriednosti: + ili *.
Tako npr. uzmimo formulu F(p,q)=(q∧¬p)⇔(p∨¬q).Formula u sebi sadrži dva prosta
iskaza p i q.Sve moguće vrijednosti prikazane su u tabeli:
p q ¬p q∧¬p ¬q p∨¬q F=q∧¬p)⇔(p∨¬q)
+ + * + * + *
+ * * * + + +
* + + + * * +
* * + + + * +
Nadam se da su sada jasne ostale urađene tabele.
p q q⇒p p⇒q (q⇒p)∨(p⇒q)
+ + * * *
+ * + * *
* + * + *
* * * * *
A=(q⇒p)∨(p⇒q)
p q ¬q ¬q⇒p ¬p ¬p⇒q A
+ + * + * + +
+ * + * * * *
* + * * + * *
* * + * + * *
B=(p∧q)⇒¬(p∨¬q)
p q p∧q ¬q p∨¬q ¬(p∨¬q) B
+ + + * * + *
+ * + + + * *
* + + * * + *
* * * + * + +