FOLLOW AN IDEA
Mathematical Foundations and Proofs
Explore sets and relations; logic and statements; proof and infinity. Concepts and connections are available independently of video coverage.
Sets and relations
Sets
A set is a collection of distinct objects; membership is different from inclusion.
Video explanations to be addedSet operations
Union, intersection, difference and complement combine sets relative to a specified universe.
Video explanations to be addedCartesian products
A Cartesian product consists of ordered pairs with one component from each set.
Video explanations to be addedRelations
A binary relation is a subset of a Cartesian product; its properties constrain related pairs.
Video explanations to be addedEquivalence relations
A reflexive, symmetric and transitive relation partitions a set into equivalence classes.
Video explanations to be addedOrder relations
A partial order is reflexive, antisymmetric and transitive; not every pair must be comparable.
Video explanations to be added
Logic and statements
Propositions
A proposition has a truth value; logical connectives build compound statements.
Video explanations to be addedLogical implication
An implication is false only when its premise is true and conclusion false.
Video explanations to be addedQuantifiers
Universal and existential quantifiers specify how a statement ranges over a domain.
Video explanations to be addedNegation and De Morgan laws
Negation reverses truth values and exchanges universal with existential quantification.
Video explanations to be added
Proof and infinity
Direct proof
A direct proof derives the conclusion from assumptions using justified logical steps.
Video explanations to be addedProof by contraposition
Proving not Q implies not P establishes the implication P implies Q.
Video explanations to be addedProof by contradiction
Assume a claim fails and derive a contradiction with established assumptions.
Video explanations to be addedMathematical induction
A base case and an inductive step establish a statement for all subsequent integers.
Video explanations to be addedCountability
A set is countable if it is finite or can be enumerated by natural numbers.
Video explanations to be addedAxiomatic systems
An axiomatic theory derives theorems from stated axioms and inference rules.
Video explanations to be addedCounterexamples
One valid counterexample disproves a universal statement but does not establish its converse.
Video explanations to be addedNecessary and sufficient conditions
A sufficient condition implies a conclusion; a necessary condition is implied by that conclusion.
Video explanations to be addedInjective and surjective functions
Injectivity distinguishes inputs by outputs; surjectivity reaches every element of the codomain.
Video explanations to be addedBijections
A bijection is both injective and surjective and has a two-sided inverse.
Video explanations to be added