Argomento — Teoria degli insiemi.
Presente nei capitoli
07
Atomi collegati
64 atomi collegati.
07 Teoria degli insiemi
- Binomio di Newton per induzione
- Cantor e l’infinito attuale
- Cardinalità di alcuni insiemi
- Che cos’è un insieme
- Che cos’è una relazione
- Cioccolatini e diagrammi di Venn
- Da simboli a parole e valore di verità
- Determinare valori di verità da una premessa
- Diagramma di Hasse dei divisori di 30
- Distinguere equivalenze e ordini
- Disuguaglianza 2 alla n maggiore di n quadrato
- Disuguaglianza di Bernoulli
- Divisibilità di n cubo meno n per 6
- Equivalenza di due implicazioni
- Equivalenze logiche e leggi di De Morgan
- Esprimere la disgiunzione esclusiva con i connettivi di base
- I connettivi logici
- Il diagramma di Hasse
- Il domino infinito
- Il principio di induzione
- Il prodotto di divisori divide il prodotto
- Inclusione e intersezione uguale al sottoinsieme
- Induzione il numero di sottoinsiemi è 2 alla n
- Induzione la somma dei primi n numeri dispari
- Insiemi transitivi
- Ipotesi, conclusione e controesempio
- L’implicazione materiale
- L’intersezione è contenuta in ciascun insieme
- La congruenza modulo n è una relazione di equivalenza
- La differenza simmetrica
- La disgiunzione esclusiva (aut)
- La divisibilità è un ordine parziale
- Le leggi di De Morgan
- Le operazioni fondamentali tra insiemi
- Le proposizioni
- Negazione di proposizioni
- Negazione di una proposizione universale
- Numero di sottoinsiemi di un insieme
- Operazioni tra insiemi numerici con intervalli
- Ordine lessicografico e ordine sulle coppie
- Ordine totale e il minore stretto
- Parallelo tra logica e insiemi
- Proprietà delle relazioni
- Quantificatori e loro negazione
- Relazioni d’ordine, totale e parziale
- Relazioni di equivalenza e classi
- Riconoscere proposizioni atomiche e composte
- Semplificare espressioni logiche
- Somma dei cubi per induzione
- Somma dei primi n naturali
- Somma dei primi n quadrati
- Tautologia contraddizione o nessuna delle due
- Tavola di verità dei connettivi
- Tavola di verità della disgiunzione esclusiva
- Tavola di verità e connettivo nascosto
- Tradurre una frase in connettivi
- Transitività dell’inclusione a catena
- Un’induzione sbagliata, i cavalli
- Unione e intersezione di due insiemi
- Validità di un argomento logico
- Valore di verità di espressioni logiche
- Verifica di un’equivalenza con la tavola di verità
- Vero o falso con le disuguaglianze
- Vero o falso su appartenenza e inclusione
Topic — Set theory.
Featured in chapters
07
Linked atoms
64 linked atoms.
Set theory
- A faulty induction, the horses
- Bernoulli’s inequality
- Cantor and the actual infinite
- Cardinality of some sets
- Checking an equivalence with the truth table
- Chocolates and Venn diagrams
- Congruence modulo n is an equivalence relation
- De Morgan’s laws
- Determining truth values from one premise
- Distinguishing equivalences and orders
- Divisibility is a partial order
- Divisibility of n cubed minus n by 6
- Equivalence of two implications
- Equivalence relations and classes
- Exclusive disjunction (aut)
- Expressing the exclusive or with basic connectives
- From symbols to words and truth values
- Hasse diagram of the divisors of 30
- Hypothesis, conclusion and counterexample
- Inclusion and intersection equal to the subset
- Induction the number of subsets is 2 to the n
- Induction the sum of the first n odd numbers
- 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
- Negation of statements
- Newton’s binomial by induction
- Number of subsets of a set
- Operations on numerical sets with intervals
- Order relations, total and partial
- Parallel between logic and sets
- Properties of relations
- Propositions
- Quantifiers and their negation
- Recognizing atomic and compound statements
- Simplifying logical expressions
- Sum of cubes by induction
- Sum of the first n naturals
- Sum of the first n squares
- Tautology contradiction or neither
- The fundamental operations between sets
- The Hasse diagram
- The infinite domino
- The intersection is contained in each set
- The principle of induction
- The product of divisors divides the product
- The symmetric difference
- Total order and the strict less-than
- Transitive sets
- Transitivity of chained inclusion
- Translating a sentence into connectives
- True or false on membership and inclusion
- True or false with inequalities
- Truth table and the hidden connective
- Truth table of the connectives
- Truth table of the exclusive disjunction
- Truth value of logical expressions
- Union and intersection of two sets
- Validity of a logical argument
- What a relation is
- What a set is