URI:  
[PML] [IWBrowser]

Conclusion

Unknown



Justified by



Used to finally conclude

  1. $false

    that answers the query:
    cnf(prove_domain_of_inverse_1,negated_conjecture,
        ( domain_of(inverse(x)) != range_of(x) )).
    

    that is a formal representation of the question:
    Domain of inverse