Razlika između inačica stranice »Matematička logika«

bez sažetka
m (Uklonjena promjena suradnika 83.131.159.206, vraćeno na zadnju inačicu suradnika Ivan Štambuk)
No edit summary
 
 
'''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
 
 
'''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
 
 
'''Istinosno vrednovanjevrjednovanje'''<br>
Ponovo imamo jednak broj mogućnosti, pa osnovna (nepotpuna) tablica izgleda jednako, osim promijenjenog poveznika:
{| style="background:#dddddd; text-align:center"
 
 
'''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"
 
 
'''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"
Anonimni suradnik