l'accesso più veloce di browser!
14 relazioni: Asserzione logica, Connettivo logico, Deduzione, Induzione, Inferenza, Lewis Carroll, Lingua latina, Lista di regole di inferenza, Logica, Logica proposizionale, Modus tollens, Regola di inferenza, Sequente, Validità (logica).
Asserzione logica
L'asserzione logica è una dichiarazione che afferma che una certa premessa è vera.
Nuovo!!: Modus ponens e Asserzione logica · Mostra di più »
Connettivo logico
Un connettivo logico, o operatore logico, è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato.
Nuovo!!: Modus ponens e Connettivo logico · Mostra di più »
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!!: Modus ponens e Deduzione · 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!!: Modus ponens 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!!: Modus ponens e Inferenza · Mostra di più »
Lewis Carroll
È celebre soprattutto per i due romanzi Le avventure di Alice nel Paese delle Meraviglie e Attraverso lo specchio e quel che Alice vi trovò, opere che sono state apprezzate da una straordinaria varietà di lettori, dai bambini a grandi scienziati e pensatori.
Nuovo!!: Modus ponens e Lewis Carroll · Mostra di più »
Lingua latina
Il latino è una lingua indoeuropea appartenente al gruppo delle lingue latino-falische.
Nuovo!!: Modus ponens e Lingua latina · Mostra di più »
Lista di regole di inferenza
Regole di inferenza di uso comune.
Nuovo!!: Modus ponens e Lista di regole di inferenza · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Modus ponens e Logica · Mostra di più »
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.
Nuovo!!: Modus ponens e Logica proposizionale · 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!!: Modus ponens e Modus tollens · Mostra di più »
Regola di inferenza
Nella logica matematica una regola di inferenza è uno schema formale che si applica nell'eseguire un'inferenza.
Nuovo!!: Modus ponens e Regola di inferenza · Mostra di più »
Sequente
Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta.
Nuovo!!: Modus ponens e Sequente · Mostra di più »
Validità (logica)
In logica, la nozione di validità (validità logica) riguarda innanzitutto, ed in senso generale, la connessione tra l'insieme delle premesse di un argomento e la sua conclusione, all'interno di una argomentazione (es. sillogismo).
Nuovo!!: Modus ponens e Validità (logica) · Mostra di più »
Riorienta qui:
Affermazione dell'antecedente, Modus ponendo ponens, Principio di disgiunzione, Ragionamento diretto.
