Logika definicje rozdz. IV

 0    15 schede    polciak
Scarica mp3 Stampa Gioca Testa il tuo livello
 
Domanda język polski Risposta język polski
Dziedzina relacji R
inizia ad imparare
Zbiór wszystkich tych obiektów, które pozostają w relacji R do pewnych obiektów.
Przeciwdziedzina relacji R
inizia ad imparare
Zbiór wszystkich tych obiektów, do których pewne obiekty pozostają w relacji R.
Pole relacji R
inizia ad imparare
Suma dziedziny i przeciwdziedziny relacji R.
Relacja jest zwrotna
inizia ad imparare
gdy każdy obiekt pozostaje w niej do samego siebie. (xRx)
Relacja R jest zwrotna w zbiorze Z
inizia ad imparare
gdy każdy element tego zbioru pozostaje w niej do samego siebie. Z≡/\(xRx)
Relacja R jest niezwrotna w zbiorze Z
inizia ad imparare
wtedy, gdy nie jest tak, że każdy element tego zbioru pozostaje w niej do samego siebie. Z≡~/\(xRx)
Relacja R jest przeciwzwrotna w zbiorze Z
inizia ad imparare
wtedy, gdy żaden element tego zbioru nie pozostaje w niej do samego siebie. Z≡/\~(xRx).
Relacja R jest symetryczna w zbiorze Z
inizia ad imparare
wtedy, gdy zachodząc między dwoma dowolnymi elementami x oraz y tego zbioru, zachodzi też między elementem y oraz elementem x. Z≡/\/\(xRy→yRx).
Relacja R jest niesymetryczna w zbiorze Z
inizia ad imparare
wtedy, gdy nie jest tak, że zachodząc między dwoma dowolnymi elementami x oraz y tego zbioru, zachodzi też między elementem y oraz elementem x. Z≡~/\/\(xRy→yRx).
Relacja R jest przeciwsymetryczna w zbiorze Z
inizia ad imparare
wtedy, gdy zachodząc między dwoma dowolnymi elementami x oraz y tego zbioru, nie zachodzi między elementem y oraz elementem x. Z≡/\/\[xRy→~(yRx)].
Relacja R jest przechodnia w zbiorze Z
inizia ad imparare
wtedy, gdy dla wszelkich jego trzech elementów, ilekroć zachodzi ona między pierwszym a drugim z nich i zachodzi między drugim a trzecim z nich, to zachodzi też między pierwszym a trzecim z nich. Z≡/\/\/\(xRy^yRz→xRz).
Relacja R jest nieprzechodnią w zbiorze Z
inizia ad imparare
wtedy, gdy nie jest tak, że ilekroć zachodzi ona między dowolnymi dwoma elementami i zachodzi między tymże drugim a dowolnym trzecim jego elementem, to zachodzi ona też między owym pierwszym a tym trzecim jego elementem. Z≡~/\/\/\(xRy^yRz→xRz)
Relacja R jest przeciwprzechodnia w zbiorze Z
inizia ad imparare
wtedy, gdy dla wszystkich jego trzech elementów, ilekroć zachodzi ona między pierwszym a drugim z nich i zachodzi między drugim a trzecim z nich, to nie zachodzi między pierwszym a trzecim z nich. Z≡/\/\/\[xRy^yRz→~(xRz)].
Relacja R1 jest konwersem relacji R2
inizia ad imparare
wtedy, gdy dla dowolnych dwóch elementów relacja R1 zachodzi między pierwszym a drugim z nich wtedy i tylko wtedy, gdy relacja R2 zachodzi między drugim a pierwszym z nich. ≡/\/\(xR1y≡yR2x).
Relacja R jest spójna w zbiorze Z
inizia ad imparare
wtedy, gdy zachodzi ona między wszelkimi dwoma różnymi jego elementami. ≡/\/\(x=y→xRyvyRx).

Devi essere accedere per pubblicare un commento.