Examlex
Find gcd(20!, 12!) by directly finding the largest divisor of both numbers.
Disjunctive Syllogism (DS)
A form of logical argument where, if one has a disjunction (A or B) and knows that A is not true, one can conclude B must be true.
Implication (Imp)
A logical relationship where if the first statement (antecedent) is true, then the second statement (consequent) must also be true.
Quantifier Negation
In logic, the process of negating a quantified statement, which can change the original scope and meaning of the statement.
Universal Generalization
A logical operation that asserts that a property or relation holds for all members of a certain category.
Q6: The accompanying graph <img src="https://d2lvgg3v3hfg70.cloudfront.net/TB5978/.jpg" alt="The accompanying
Q10: Find the number of positive integers
Q11: Floor borders one foot wide and
Q22: Use mathematical induction to show that
Q43: 5.
Q47: (a) Find a proposition with the
Q65: Find <span class="ql-formula" data-value="\sum _
Q74: <span class="ql-formula" data-value="f : A \rightarrow B
Q90: Show that 7 is a primitive root
Q177: Give a direct proof of the following: