Topic — Teoria degli insiemi.
Featured in chapters
07
Linked atoms
37 linked atoms.
07 Teoria degli insiemi
- A faulty induction, the horses
- Bernoulli’s inequality
- Checking an equivalence with the truth table
- Chocolates and Venn diagrams
- De Morgan’s laws
- Distinguishing equivalences and orders
- Divisibility of n cubed minus n by 6
- Equivalence of two implications
- Equivalence relations and classes
- Exclusive disjunction (aut)
- Hasse diagram of the divisors of 30
- Inequality 2 to the n greater than n squared
- Lexicographic order and order on pairs
- Logical connectives
- Logical equivalences and De Morgan’s laws
- Material implication
- Negation of a universal proposition
- Newton’s binomial by induction
- Order relations, total and partial
- Parallel between logic and sets
- Properties of relations
- Propositions
- Quantifiers and their negation
- Sum of cubes by induction
- Sum of the first n naturals
- Sum of the first n squares
- The fundamental operations between sets
- The Hasse diagram
- The infinite domino
- The principle of induction
- The symmetric difference
- Total order and the strict less-than
- Translating a sentence into connectives
- Truth table and the hidden connective
- Truth table of the connectives
- What a relation is
- What a set is