Sudovi

• "Danas je ponedjeljak." (istinit ponedjeljkom, la~zan svim ostalim danima)
• 1+1=2 (istinit)
• 1+1=3 (la~zan)
• "Postoje prirodni brojevi m i n, takvi da vrijedi (m/n)2=2." (la~zan ~ znate li dokazati da je la~zan?)
• "Broj svih zrnaca pijeska u Svemiru je djeljiv s 13." (sumnjam da ~temo ikada znati je li ovo istinit ili la~zan sud, ali principijelno mu mo~zemo otkriti istinitost)
• "Svaki paran broj izme~du 4 i googol(=10^100) mo~ze se prikazati kao suma dva prosta broja." (ista napomena kao i za prethodni primjer, ali ovaj je vi~se matemati~cki:)
• "Ni za jedan prirodni n iznad 3, jedna~gba xn+yn=zn nema rje~senja u cijelim brojevima koji nisu svi 0". (istinit sud, pitajte Andrewa Wilesa ako ne vjerujete;)

• "Dobar dan!" (pozdrav ~ ne izra~zava ni~sta za ~sto bi se dala utvrditi istinitost)
• Kad ~temo na odmor? (pitanje ~ pitanja obi~cno nisu ni istinita ni la~zna, ve~t odgovori:)
• x+1=3 (iako je izra~zena matemati~cki, ovo nije ni istinita ni la~zna tvrdnja jer ovisi o x. Tek uvr~stavanjem neke vrijednosti za x (ili kvantificiranjem) ona postaje sud ~ npr. uvr~stavanjem x=5 dobijemo la~zan sud)
• "Ova re~cenica je la~zna." (iako se na prvi pogled ~cini da mo~zemo odrediti njenu istinitost, brzo uvi~damo da ne mo~zemo jer uvijek dolazimo u kontradikciju)
• "Ova re~cenica je istinita." (ovoj re~cenici je svejedno ho~temo li je proglasiti istinitom ili la~znom ~ to nije dovoljno dobro za sud)
• "Ne postoji kardinalni broj smje~sten strogo izme~du alef0 i kontinuum." (za razumjeti za~sto ovo ne mo~zemo smatrati ni istinitim ni la~znim ako ~zelimo biti po~steni prema samima sebi, treba malo vi~se znanja o logici i teoriji skupova. Htio sam samo navesti primjer matemati~cke tvrdnje koja ne sadr~zi varijable, a ipak u gornjem smislu nije sud. No ako vas ba~s jako zanima, istra~zujte...)
• ... -> U strogom smislu, ovdje treba utrpati ve~tinu dosad nerije~senih problem~a u matematici ~ jer je zamislivo da neki od njih zavr~si poput ovog gore. No to nas definitivno ne treba zabrinjavati u EM...