Wikipedia

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

Selaa historiaa interaktiivisesti
[arvioimaton versio][arvioimaton versio]
← Vanhempi muutosUudempi muutos →
Poistettu sisältö Lisätty sisältö
VisuaalinenWikiteksti
Ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Rivi 1:
'''Jos ja vain jos''' (lyhennys: "'''joss"''') on [[looginen yhdistäjä]] eli konnektiivi, jota käytetään [[logiikka|logiikassa]], ja sitä soveltavilla aloilla kuten [[matematiikka|matematiikassa]] ja [[filosofia|filosofiassa]]. Sitä käytetään ilmaisemaan, että yhden loogisen [[lause]]en totuusarvo riippuu toisesta lauseesta.
 
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.
Noudettu kohteesta ”https://fi.wikipedia.org/wiki/Jos_ja_vain_jos”