Avaa päävalikko

Muutokset

1 merkki poistettu ,  5 vuotta sitten
p
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]]).
8 353

muokkausta