2 Matching Annotations
  1. Feb 2021
    1. Since an inverse is the contrapositive of the converse, inverse and converse are logically equivalent to each other.
    1. In logic and mathematics, statements p {\displaystyle p} and q {\displaystyle q} are said to be logically equivalent if they are provable from each other under a set of axioms,[1] or have the same truth value in every model.