Ero sivun ”Jos ja vain jos” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p r2.7.3) (Botti poisti: de, fr, no muokkasi: sr |
”iff” ei ole oma terminsä vaan pelkkä lyhenne konnektiivin englanninkielisestä nimestä ja vastaa siten täysin sen suomenkielistä lyhennettä ”joss” |
||
Rivi 1:
'''Jos ja vain jos''' (lyhennys: '''joss''') on [[konnektiivi]] eli looginen yhdistäjä, jota käytetään [[logiikka|logiikassa]], ja sitä soveltavilla aloilla kuten [[matematiikka|matematiikassa]] ja [[filosofia|filosofiassa]]. Sitä käytetään ilmaisemaan, että yhden loogisen [[propositio|lause]]en [[totuusarvo]] riippuu toisesta lauseesta niin, että toinen lause on toisen [[välttämätön ja riittävä ehto]].
Lause "P jos ja vain jos Q" ilmaistaan toisinaan myös muodossa "P täsmälleen jos Q", "P on ekvivalentti Q:n kanssa". [[tietotekniikka|Tietotekniikassa]] tästä käytetään usein muotoa "eksklusiivinen ei-tai" tai "eksklusiivinen NOR".
Luonnollisen kielen kannalta tätä lausetta tarvitaan, sillä normaalissa kielenkäytössä "jos" on useimmiten inklusiivinen: "Liisa syö hänelle annetun kakun jos hänelle tarjotaan suklaakakku" tarkoittaa että Liisa syö varmasti hänelle tarjottuja suklaakakkuja, mutta ei sulje pois vaihtoehtoa, että Liisa syö ''myös'' kirsikkakakkuja jos niitä hänelle tarjotaan. "Liisa syö hänelle annetun kakun jos ja vain jos hänelle tarjotaan suklaakakku" taas tarkoittaa, että jos Liisalle tarjotaan kakku, hän syö sen ''vain ja ainoastaan'' jos se on suklaakakku.
| |||