Examlex
Graph the equation.
-
Assumption
A premise or statement taken to be true without evidence for the sake of argument or investigation.
UI
Universal Instantiation, a logical rule of inference stating if something is true for everything in a category, it is true for any specific instance of that category.
Quantifier-Negation Rule
A principle in formal logic that deals with the relationship between quantifiers and the negation of statements.
Quantifier
A symbol or word in logic that specifies the quantity of specimens in the domain of discourse that satisfy an open formula.
Q40: <span class="ql-formula" data-value="\left\{ \begin{array} { r }
Q48: <span class="ql-formula" data-value="y = x ^ {
Q52: The circle, parabola, ellipse, and hyperbola are
Q82: <span class="ql-formula" data-value="9 x^{2}-4 y^{2}=36"><span class="katex"><span class="katex-mathml"><math
Q104: Suppose you just received a job offer
Q114: Approximate <span class="ql-formula" data-value="\log _
Q164: <span class="ql-formula" data-value="\log 3080"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>log</mi><mo></mo><mn>3080</mn></mrow><annotation
Q191: The sixth term of the geometric
Q208: <span class="ql-formula" data-value="(4, \infty)"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mo
Q290: <span class="ql-formula" data-value="\log _ { 3 }