Ero sivun ”Jos ja vain jos” versioiden välillä

'''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". Englannin kielellä käytetään myös termiä "iff". Sen ilmaisemiseen käytetään erilaisia, usein samaa tarkoittavia symboleja: P↔Q, P⇔Q ja P≡Q.