Wikipedija

Matematička logika: razlika između inačica

Pregledaj povijest
← Starija izmjenaNovija izmjena →
Izbrisani sadržaj Dodani sadržaj
VizualnoWikitekst
m Uklonjena promjena suradnika 83.131.159.206, vraćeno na zadnju inačicu suradnika Ivan Štambuk
Nema sažetka uređivanja
Redak 15:
 
 
'''Istinosno vrednovanjevrjednovanje'''<br>
U matematičkoj logici svakom iskazu moramo dodijeliti moguća istinosna vrednovanjavrjednovanja. Pogledajmo rečenicu "''Hrvoje je pametan.''" Možemo li tvrditi da je ta rečenica apsolutno točna ili apsolutno netočna? Ne možemo. Zato moramo pretpostaviti i jednu i drugu mogućnost - da je ta rečenica istinita i da je neistinita. '''Istinosna tablica''' za taj iskaz izgleda ovako:<br>
{| style="background:#dddddd; text-align:center"
! H
Redak 50:
 
 
'''Istinosno vrednovanjevrjednovanje'''<br>
Kod istinosne tablice za jedan iskaz imali smo dvije mogućnosti: da je taj iskaz istinit i da je neistinit. Sada imamo dva iskaza i prema tome četiri mogućnosti:
# oba su iskaza istinita
Redak 95:
 
 
'''Istinosno vrednovanjevrjednovanje'''<br>
Ponovo imamo jednak broj mogućnosti, pa osnovna (nepotpuna) tablica izgleda jednako, osim promijenjenog poveznika:
{| style="background:#dddddd; text-align:center"
Redak 133:
 
 
'''Istinosno vrednovanjevrjednovanje'''<br>
Negacija jednostavno "obrne" istinosnu vrijednost iskaza: ako je iskaz istinit, njegova je negacija neistinita, a ako je neistinit, negacija mu je istinita. Vrijednost cijelog iskaza piše se ispod znaka negacije. Evo i istinosne tablice:
{| style="background:#dddddd; text-align:center"
Redak 151:
 
 
'''Istinosno vrednovanjevrjednovanje'''<br>
Pravilo glasi: "'''Pogodba je neistinita samo kad je drugi podiskaz neistinit, a prvi istinit.'''" Tablica izgleda ovako:
{| style="background:#dddddd; text-align:center"
Dobavljeno iz "https://hr.wikipedia.org/wiki/Matematička_logika"