Ero sivun ”Jos ja vain jos” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
pilkkuvirhe |
Ei muokkausyhteenvetoa |
||
Rivi 1:
'''Jos ja vain jos''' (lyhennys: '''joss''', {{k-en|if and only if}}, ''iff'') 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". Lauseen ilmaisemiseen käytetään erilaisia, usein samaa tarkoittavia symboleja: P↔Q, P⇔Q ja P≡Q.
| |||