Deduzione Logica Guide
Schemi di ragionamento valido inclusi sillogismi e logica proposizionale Risolvere puzzle logici basati su vincoli inclusi disposizioni dei posti, assegnazioni a gruppi e sequenze di ordinamento
Sillogismo Barbara
Il sillogismo valido più fondamentale: Tutti gli A sono B, Tutti i B sono C, quindi Tutti gli A sono C.
Vedi le guide →Sillogismo Celarent
Un sillogismo valido con conclusione negativa: Nessun A è B, Tutti i C sono A, quindi Nessun C è B.
Vedi le guide →Sillogismo Darii
Un sillogismo valido con conclusione particolare: Tutti gli A sono B, Alcuni C sono A, quindi Alcuni C sono B.
Vedi le guide →Sillogismo Ferio
Un sillogismo valido: Nessun A è B, Alcuni C sono A, quindi Alcuni C non sono B.
Vedi le guide →Modus Ponens
Il 'modo affermante': Se P allora Q, P è vero, quindi Q è vero.
Vedi le guide →Modus Tollens
Il 'modo negante': Se P allora Q, Q è falso, quindi P è falso.
Vedi le guide →Sillogismo Ipotetico
Ragionamento a catena: Se A allora B, Se B allora C, quindi Se A allora C.
Vedi le guide →Sillogismo Disgiuntivo
Ragionamento 'o/o': O A o B, non A, quindi B.
Vedi le guide →Contropositivo
Equivalenza logica: 'Se A allora B' è equivalente a 'Se non B allora non A'.
Vedi le guide →Relazione Transitiva
Se A > B e B > C, allora A > C. Si applica alle relazioni d'ordine.
Vedi le guide →Bicondizionale
'A se e solo se B' significa che A e B sono entrambi veri o entrambi falsi.
Vedi le guide →Disposizione dei Posti
Determinare le posizioni di persone in una fila in base a vincoli come adiacenza, ordine relativo e posizioni fisse.
Vedi le guide →Assegnazione a Gruppi
Assegnare elementi o persone a gruppi con vincoli di stesso team, team diverso e gruppo fisso.
Vedi le guide →Sequenza di Ordinamento
Determinare l'ordine di classificazione di elementi da indizi di confronto come superiore a, inferiore a e vincoli di posizione.
Vedi le guide →Entimema
Un sillogismo in cui una premessa (o a volte la conclusione) è lasciata implicita e deve essere fornita dal lettore.
Vedi le guide →Sorite (Sillogismo a Catena)
Un polisillogismo in cui la conclusione di ogni sillogismo diventa premessa del successivo, collegando più premesse a un'unica conclusione finale.
Vedi le guide →Tavola di Verità
Una tabella che elenca tutte le possibili combinazioni di valori di verità delle proposizioni di ingresso e il valore di verità risultante di una formula composta.
Vedi le guide →