Introduces what counts as a genuine logical statement, then practices evaluating the truth values of simple conjunctions, disjunctions, and conditionals built from basic number facts.
The foundational concepts of algorithms in logic, including truth table scaling, pseudocode structure, shortcut tautology testing for conditional expressions, and identifying contradictions in truth assignments
This quiz tests your understanding of practical applications of formal logic. It covers how search engines utilize logical connectives (AND, OR, NOT) to refine web queries, how logical expressions simplify program code and control execution flow, and how electronic gates implement these truth tables directly in computer circuitry.
Covers the pole, polar axis, directed angle, negative values of r, multiple representations of the same point, and the relations between polar and Cartesian coordinates.
Covers the general form Ax+By+C=0, its slope and intercepts, the slope conditions for parallel and perpendicular lines, and the formula for the angle between two lines.
Covers the equations of horizontal and vertical lines, and the point-slope, slope-intercept, two-point, and intercept forms of the equation of a nonvertical line.
Covers directed distance (signed length) between points on horizontal and vertical segments, and the distance formula derived from the Pythagorean theorem.
Covers the historical roots of geometry, the axiomatic approach of Euclid, the analytic approach of Descartes, and the rectangular Cartesian coordinate system with its quadrants.
Covers the algebraic properties of real numbers (commutative, associative, identity, inverse, distributive) and the order properties used to work with inequalities.
Generates quiz questions via DeepSeek, from the quiz's own title/description plus optional source document (PDF/HTML/Markdown/ plain text), instructions, and targeting options. Teacher-gated at the same tier as manual question upload (teacher_upload_questions, premium) - Managers bypass the gate and any question-count cap. Available question types are filtered ONLY by the teacher's actual subscription tier, per type - no other type is excluded for any other reason. Output matches the same JSON s
