Given a preposition in the form of
- Implication
- Converse
- Inverse
- Contrapositive
will be converted into its corresponding three forms
Given a relation R in the form of tuples and a set A based on which R is defined, the program checks for the presence of properties of reflexive, symmetric and antisymmetric.
In case any property doesn't hold, the program will display the tuple due to which the property didn't hold along with a message.