Relações

Condicional: Lembre-se da tabela verdade para condicional.
Devido a presença da implicação, só não são transitivas as as relações em que (x,y) e (y,z) pertencem a relação, mas (x,z) não pertence. Caso z pertença ao universo, mas não pertença à relação, então a relação é transitiva, pois antecedente do condicional não será verdadeiro. Como o quantificador da transitiva é universal, para qualquer valor de z do universo (y,z) não deve pertencer a relação.

Condicional: Lembre-se da tabela verdade para condicional.
Na anti-simétrica, se x e y pertencem ao universo, (x,y) pertence à relação, mas (y,x) não pertence para qualquer x e y. Então é anti-simétrica, pois o antecedente da condicional é sempre false e, portanto, a condicional será sempre verdadeira.

Condicional: Lembre-se da tabela verdade para condicional.
Se x e y pertence ao universo, se (x,y) pertence à relação, mas (y,x) não pertence para qualquer x e qualquer y -quantificadores universais- então é anti-simétrica

Condicional: Lembre-se da tabela verdade
Apenas saber que uma relação é simétrica não dá nenhuma informação sobre os seus pares ordenados.
É necessário conhecer alguns pares ordenados e saber que a relação é simétrica, assim saberemos que outros pares ordenados pares ordenados também tem que pertencer à relação.
Também podemos conhecer a relação e o universo e, a partir disso, definimos se a relação é ou não simétrica.

não faz sentido, porque o fecho da relação anti-simétrica é a própria relação anti-simétrica. Uma relação que não é anti-simétrica significa que existe x e y pertencentencente ao universo, (x,y) pertence à relação e (y,x) também, mas x != y. Adicionar novos pares à relação não mudaria o fato deste x e y existir na relação.

Uma relação binária p* em um conjunto S é fecho de uma relação p em S em relação a propriedade P se:
1. p* tem a pripriedade P
2. p está contido em p*
3. p* é subconjunto de qualquer outra relação em S que inclua p e tenha a propriedade P. Ou seja, o menos conjunto

É uma relação binária e, um conjunto S que seja:
- reflexiva
- anti-simétrica
- transitiva

sucessor imediato

predecessor imediato