Ero sivun ”Jos ja vain jos” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
pilkkuvirhe |
|||
Rivi 1:
'''Jos ja vain jos''' (lyhennys: '''joss''') on [[konnektiivi]] eli looginen yhdistäjä, jota käytetään [[logiikka|logiikassa]]
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.
|