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

M=(¬p∧r)∨(¬q∧r)
p q r ¬p ¬q ¬p∧r ¬q∧r M
+ + + * * + + +
+ + * * * * * *
+ * + * + + + +
+ * * * + * + *
* + + + * + + +
* + * + * + * *
* * + + + + + +
* * * + + + + +
Značajno mjesto u Logičkoj algebri imaju DeMorganovi obrasci:
M=¬ (p∧q) ⇔ (¬p∨¬q)
M=¬ (p∨q) ⇔ (¬p∧¬q)
p q p∧q ¬q ¬p ¬p∨¬q M p q p∨q ¬q ¬p ¬p∧¬q 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
a u drugom aksiomama.
U dokazivanju teorema služimo se različitim metodama a najpoznatije su:
Progresivni i indirektni način dokazivanja.
Dovoljan i potreban uvjet(uslov)
U svakodnevnom životu često upotrebljvamo riječi dovoljno i potrebno.I u matematici one
upravo znače ono što znače i u običnom životu,ako ih pravilno upotrebljavamo.Nešto je
potrebno ako bez njega nema ostvarenja cilja a ipak nije dovoljno za ostvarenje tog
cilja.Dovoljno uvjek i bez ičega drugom može ostvariti cilj.
******moguće su štamparske greške******