Ero sivun ”Symmetria” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p →Logiikassa: typo |
|||
Rivi 158:
Kaksipaikkaista [[relaatio]]ta eli [[binäärirelaatio]]ta ''R'' sanotaan symmetriseksi, jos ja vain jos se toteuttaa seuraavan ehdon:<br>
aina jos ''Rab'', on myös ''Rba, eli jos ''a'' on relaatiossa ''b'':n kanssa, on myös ''b'' relaatiossa ''a'':n kanssa.<br>
Esimerkiksi relaatio "on
Symmetrisiä binäärisiä [[looginen konnektiivi|loogisia konnektiiveja]] ovat [[konjunktio (logiikka)|konjunktio]] ("ja"), [[disjunktio]] (''tai''), looginen ekvivalenssi ("[[jos ja vain jos]]"), "ei molemmat" ([[NAND]]), poissulkeva tai ([[XOR]]) ja "ei.. eikä.." ([[NOR]]).
|