Indice analitico
Teoremi e definizioni di Logica per concorsi
Le 73 definizioni e i 40 teoremi della teoria di Logica per concorsi, nell'ordine degli argomenti. Ogni voce porta al suo riquadro nella pagina di teoria.
Insiemi e diagrammi di Venn
- Definizione Insieme ed elemento
- Definizione Elencazione e proprietà caratteristica
- Definizione Numero di elementi
- Definizione Sottoinsieme
- Definizione Insieme vuoto
- Definizione Insieme universo
- Definizione Diagramma di Venn
- Definizione Unione
- Definizione Intersezione
- Definizione Differenza
- Definizione Complementare
- Teorema Complementare dell'unione e dell'intersezione
- Definizione Inclusione, intersezione, disgiunzione
- Definizione Diagrammi con tre categorie
- Teorema Numero di elementi dell'unione
- Teorema Numero di elementi dell'unione di tre insiemi
- Definizione Almeno uno, esattamente uno, esattamente due
- Teorema Elementi in comune, al minimo e al massimo
Connettivi, negazioni e implicazioni
- Definizione Proposizione
- Definizione Proposizioni composte e tavole di verità
- Definizione Negazione
- Definizione Congiunzione
- Definizione Disgiunzione inclusiva
- Definizione Disgiunzione esclusiva
- Definizione Proposizioni equivalenti
- Teorema Leggi di De Morgan
- Definizione Implicazione
- Definizione Doppia implicazione
- Teorema Negazione dell'implicazione
- Teorema L'implicazione come disgiunzione
- Definizione Inversa, contraria e contronominale
- Teorema Equivalenza con la contronominale
- Definizione Tautologia e contraddizione
Condizioni necessarie e sufficienti
- Definizione Condizione sufficiente
- Teorema Quando un'implicazione è falsa
- Definizione Condizione necessaria
- Teorema Due letture della stessa implicazione
- Definizione Condizione necessaria e sufficiente
- Teorema Tabella delle formulazioni
- Teorema Implicazione contronominale
- Teorema Modus ponens
- Teorema Modus tollens
- Teorema Proprietà transitiva
Sillogismi e quantificatori
- Definizione Quantificatore universale ed esistenziale
- Definizione Tutti gli A sono B
- Definizione Nessun A è B
- Definizione Alcuni A sono B
- Definizione Alcuni A non sono B
- Teorema Negazione delle quattro forme
- Definizione Contraddittorie, contrarie e subcontrarie
- Teorema Che cosa segue dalla verità o dalla falsità di una forma
- Definizione Sillogismo
- Definizione Sillogismo valido
- Teorema Schemi validi più frequenti
- Teorema Sillogismi con una persona
- Definizione Diagramma delle premesse
Ragionamento numerico: orologi, calendari, ordinamenti
- Definizione Quadrante dell'orologio
- Teorema Angolo tra le lancette
- Definizione Orologio che va avanti o indietro
- Teorema Quando un orologio segna di nuovo l'ora esatta
- Definizione Durata di un intervallo di tempo
- Definizione Fusi orari
- Definizione Giorni dei mesi e dell'anno
- Teorema Regola degli anni bisestili
- Teorema Regola del resto per 7
- Definizione Ricorrenze
- Definizione Confronti e proprietà transitiva
- Teorema Posizioni in una fila
- Definizione Età relative
- Teorema Principio dei cassetti
- Definizione Metodo del caso peggiore
- Definizione Relazioni di parentela
Problemi di deduzione e tabelle
- Definizione Problema di deduzione
- Definizione Griglia di deduzione
- Teorema Regola delle righe e delle colonne
- Definizione Griglie con due caratteristiche
- Definizione Disposizioni in fila
- Definizione Disposizioni attorno a un tavolo rotondo
- Definizione Turni e calendari di lavoro
- Definizione Sinceri e bugiardi
- Teorema Metodo per ipotesi e contraddizione
- Definizione Affermazioni contraddittorie
- Teorema Quesiti con un numero fissato di affermazioni vere
- Definizione Necessariamente vera, possibile, impossibile
Logica verbale e comprensione dei testi
- Definizione Analogia verbale
- Teorema Metodo della frase ponte
- Definizione Termine estraneo
- Definizione Connettivi testuali
- Teorema Scelta del connettivo
- Definizione Vero, falso, non deducibile
- Definizione Premesse e conclusione
- Definizione Assunzione implicita
- Teorema Prova della negazione
- Definizione Rafforzare e indebolire
- Teorema Legame con le condizioni necessarie e sufficienti
Ragionamento figurale e spaziale
- Definizione Cella e caratteristiche di una figura
- Definizione Rotazione
- Definizione Simmetria rispetto a un asse
- Definizione Riempimento, numero e posizione
- Definizione Serie di figure
- Teorema Più regole che agiscono insieme
- Definizione Matrice di figure
- Teorema Regole per riga e per colonna
- Definizione Sovrapposizione: unione e differenza simmetrica
- Definizione Figura estranea
- Teorema Figura ruotata e figura allo specchio
- Definizione Sviluppo del cubo
- Teorema Facce opposte
- Teorema Sviluppi che non si chiudono in un cubo
- Teorema Facce che si incontrano in un vertice
- Teorema Triangoli con un vertice comune
- Teorema Quadrati in una griglia
- Definizione Costruzioni di cubetti a strati