DanielNasc/relacoes-matematica-discreta

Checar Propriedades de Uma Relação Binária R

Esse programa verifica se uma relação R possui uma das seguintes propriedades:

• Propriedade 1: Reflexiva
• Propriedade 3: Transitiva
• Propriedade 2: Simetrica
• Propriedade 4: Antissimétrica

O usuário deve informar a um conjunto S, um conjunto T (opcional) e uma relação binária R, que deve ser um subconjunto de SxT, ou SxS.

Após a execução, o programa mostra se a relação R é reflexiva, simétrica, antissimétrica ou transitiva, além de imprimir os fechos das propriedades não satisfeitas, ou a redução (no caso da relação antissimétrica).

Como usar

Execute os seguintes comandos no terminal:

• git clone git@github.com:DanielNasc/relacoes-matematica-discreta.git
• cd relacoes-matematica-discreta
• pip install simple-term-menu
• python3 main.py

Packages

• Simple Term Menu: link