Examlex
Show that the hypotheses "I left my notes in the library or I finished the rough draft of the paper" and "I did not leave my notes in the library or I revised the bibliography" imply that "I finished the rough draft of the paper or I revised the bibliography."
Q22: <span class="ql-formula" data-value="[ n + 2 ]
Q33: Applying the division algorithm with a =
Q38: Find gcd(2 <span class="ql-formula" data-value="\left(
Q53: <span class="ql-formula" data-value="f ( n ) =
Q63: <span class="ql-formula" data-value="A \cap ( B \cup
Q73: Find 50! mod 49!.
Q97: Verify that <span class="ql-formula" data-value="a
Q99: Some real numbers are not positive.
Q109: Here is a sample proof that
Q117: It is hot whenever it is sunny.