Q. If is wife of , then is

 3343  245 Relations and Functions - Part 2 Report Error

Solution:

Here, is not reflexive; as cannot wife of is not symmetric, as if is wife of , then is husband (not wife) of and is transitive as transitivity is not contradicted in this case. Whenever , then for any as if is wife of , then is a male and a male cannot be a wife.