9 relazioni: Deduzione, Disgiunzione, Induzione, Inferenza, Lista di regole di inferenza, Modus tollens, Premessa, Regola di inferenza, Tabella della verità.
Deduzione
Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita.
Nuovo!!: Sillogismo disgiuntivo e Deduzione · Mostra di più »
Disgiunzione
Nella teoria degli insiemi la disgiunzione è la relazione che sussiste fra due insiemi che non hanno alcun elemento in comune.
Nuovo!!: Sillogismo disgiuntivo e Disgiunzione · Mostra di più »
Induzione
Il metodo induttivo o induzione (dal latino inductio, dal verbo induco, presente di in-ducere), termine che significa letteralmente "portar dentro", ma anche "chiamare a sé", "trarre a sé", è un procedimento che partendo da singoli casi particolari cerca di stabilire una legge universale.
Nuovo!!: Sillogismo disgiuntivo e Induzione · Mostra di più »
Inferenza
Nella logica l'inferenza (dal latino inferre, letteralmente portare dentro) è il processo, induttivo o deduttivo, attraverso il quale da una proposizione assunta come vera si passa a una seconda proposizione la cui verità è derivata dal contenuto della prima secondo opportune regole di inferenza.
Nuovo!!: Sillogismo disgiuntivo e Inferenza · Mostra di più »
Lista di regole di inferenza
Regole di inferenza di uso comune.
Nuovo!!: Sillogismo disgiuntivo e Lista di regole di inferenza · Mostra di più »
Modus tollens
Il Modus tollens (MT), accorciamento del latino modus tollendo tollens (modo che toglie, letteralmente modo che toglie con l'aver tolto), è una regola di inferenza della logica proposizionale sviluppata compiutamente per la prima volta dai logici medievali ma conosciuta già agli stoici.
Nuovo!!: Sillogismo disgiuntivo e Modus tollens · Mostra di più »
Premessa
Una premessa è una dichiarazione preliminare ad un'altra dichiarazione o a un discorso, che ha lo scopo di introdurre o chiarire un concetto precedentemente rispetto al momento in cui si vuole affrontare un determinato argomento principale.
Nuovo!!: Sillogismo disgiuntivo e Premessa · Mostra di più »
Regola di inferenza
Nella logica matematica una regola di inferenza è uno schema formale che si applica nell'eseguire un'inferenza.
Nuovo!!: Sillogismo disgiuntivo e Regola di inferenza · Mostra di più »
Tabella della verità
Le tabelle della verità (o tabelle logiche) sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa.
Nuovo!!: Sillogismo disgiuntivo e Tabella della verità · Mostra di più »