Ero sivun ”Symmetria” versioiden välillä

[katsottu versio][katsottu versio]
Poistettu sisältö Lisätty sisältö
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 sammansaman ikäinen kuin" on symmetrinen, sillä jos Pauli on samanikäinen kuin Mari, on myös Mari samanikäinen kuin Pauli. Sen sijaan relaatio "on vanhempi kuin" ei ole symmetrinen, sillä henkilöt eivät voi molemmat olla toisiaan vanhempia.
 
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]]).