Wikipedija

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

Pregledaj povijest
← Starija izmjenaNovija izmjena →
Izbrisani sadržaj Dodani sadržaj
VizualnoWikitekst
Nema sažetka uređivanja
Suradnik13 (razgovor | doprinosi)
15.452 edits
Uklanjanje izmjene 639930 što ju je unio/unijela 83.131.131.89 (Razgovor sa suradnikom:83.131.131.89)
Redak 15:
 
 
'''Istinosno vrjednovanjevrednovanje'''<br>
U matematičkoj logici svakom iskazu moramo dodijeliti moguća istinosna vrjednovanjavrednovanja. 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 vrjednovanjevrednovanje'''<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 vrjednovanjevrednovanje'''<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 vrjednovanjevrednovanje'''<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 vrjednovanjevrednovanje'''<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"