Implikacija sudova
Sa Wikipedije, slobodne enciklopedije
| Ovaj članak ili neka od njegovih sekcija nije dovoljno potkrijepljena izvorima (literatura, web stranice ili drugi izvori). Sporne rečenice i navodi bi mogli, ukoliko se pravilno ne označe validnim izvorima, biti obrisani i uklonjeni. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci, te nakon toga možete ukloniti ovaj šablon. |
| Ovom članku ili dijelu članka nedostaju interni linkovi. Nakon dodavanja internih linkova uklonite ovaj šablon. |
| Ovaj članak je siroče zato što nema ili vrlo malo ima drugih članaka koji linkuju ovamo. Molimo Vas da postavite linkove prema ovoj stranici sa srodnih članaka. (23-02-2012) |
Implikacija odgovara na "ako ... onda ...". Označava se znakom "→" ili P"→Q. Tako se rečenica "P → Q" prevodi sa "Ako su prave a i b palelne i ako su prave b i c paralne, onda su prave a i c paralelne. Ona je neistina onda i samo onda ako je sud P istinit i sud Q neistinit.
Tablica istinitosti
| P | → | Q |
|---|---|---|
| i | i | i |
| i | n | n |
| n | i | i |
| n | n | i |
To je binarna logička operacija.
Nedovršeni članak Implikacija sudova koji govori o matematici treba dopuniti. Dopunite ga prema pravilima Wikipedije.