Professional Documents
Culture Documents
Logika PDF
Logika PDF
Logika PDF
Iskaz,definicija,
pojmovi.Iskaz,definicija, aksioma, teorema, dokaz, potreban i
dovoljan uvjet(uslov).
∧ * + ∨ * + ⇒ * + ⇔ * +
* * + * * * * * + * * +
+ + + + * + + * * + + *
ili
p q p∧q p∨q p⇒q p⇔q ¬p ¬q
+ + + + * * * *
+ * + * * + * *
* + + * + + + +
* * * * * * + +
Još ćemo dodati jedan operator nad jednim iskazom.To je operator negacija koja se piše
¬ i određuje suprotnu vrijednost nekom iskazu.
Pokušajmo sada gledajući u date tabele izračunati vriednost nekog složenog iskaza:
((+∧¬+)⇔(*∨¬+))⇒(*∨+) Prvo radimo negaciju i zagradu na kraju,dakle
((+∧¬+)⇔(*∨¬+))⇒(*∨+)=((+∧*)⇔(*∨*))⇒*
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:
A=(q⇒p)∨(p⇒q)
p q ¬q ¬q⇒p ¬p ¬p⇒q A
+ + * + * + +
+ * + * * * *
* + * * + * *
* * + * + * *
B=(p∧q)⇒¬(p∨¬q)
+ * + + + * *
* + + * * + *
* * * + * + +
G=¬(p⇒q)∨(¬p∨¬q)
K=¬(p⇒q)∨(¬p∧¬q)
M=(p∨q)∧r N=(p∧q)∨r
p q r p∨q M p q r p∧q N
+ + + + + + + + + +
+ + * + + + + * + *
+ * + * + + * + + +
+ * * * * + * * + *
* + + * + * + + + +
* + * * * * + * + *
* * + * + * * + * *
* * * * * * * * * *
p q r ¬p ¬q ¬p∧r ¬q∧r M
+ + + * * + + +
+ + * * * * * *
+ * + * + + + +
+ * * * + * + *
* + + + * + + +
* + * + * + * *
* * + + + + + +
* * * + + + + +
Ako neka formula ima sve vrijednosti tačno ona se naziva TAUTOLOGIJA.
Lako možemo iz tablica zaključiti koja od datih formula jeste tautologija.
Uvijek tačan iskaz još se zove tvrdnja ili stav..
Aksiome,teoreme,dokazi
Istinitost nekog stava u matematici mora se dokazivati ili ako su polazište neke teorija
uzimaju se bez dokaza.U prvom slučaju govorimo o teoremama
eoremama a u drugom aksiomama.
aksiomama