9 relazioni: Aibofobia, Consequentia mirabilis, Deduzione naturale, Insieme vuoto, Locuzioni latine, Logica paraconsistente, Paradosso di Curry, Principio di non contraddizione, Tautologia.
Aibofobia
Aibofobia è un termine per riferirsi a un'ipotetica fobia nei confronti dei palindromi.
Nuovo!!: Ex falso sequitur quodlibet e Aibofobia · Mostra di più »
Consequentia mirabilis
La consequentia mirabilis (conseguenza ammirevole) è una locuzione in latino anche nota come legge di Clavius, utilizzata in logica classica, che fa derivare la validità di un'affermazione dalla constatazione di inconsistenza della sua negazione.
Nuovo!!: Ex falso sequitur quodlibet e Consequentia mirabilis · Mostra di più »
Deduzione naturale
La deduzione naturale è, nel campo della logica, un sistema deduttivo.
Nuovo!!: Ex falso sequitur quodlibet e Deduzione naturale · Mostra di più »
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento.
Nuovo!!: Ex falso sequitur quodlibet e Insieme vuoto · Mostra di più »
Locuzioni latine
Elenco delle locuzioni latine, molte delle quali in uso presso gli antichi Romani.
Nuovo!!: Ex falso sequitur quodlibet e Locuzioni latine · Mostra di più »
Logica paraconsistente
In logica, per logica paraconsistente, detta anche logica brasiliana per motivi storici, si intende un sistema formale in cui possono verificarsi in modo controllato delle eccezioni al principio di non contraddizione, cioè possono presentarsi delle contraddizioni, senza però che con questo sia possibile derivare nel sistema ogni proposizione, evitando quindi il principio di esplosione.
Nuovo!!: Ex falso sequitur quodlibet e Logica paraconsistente · Mostra di più »
Paradosso di Curry
Il paradosso di Curry è un paradosso della teoria ingenua degli insiemi, e deve il suo nome al logico e matematico statunitense Haskell Curry che lo pubblicò nel 1942.
Nuovo!!: Ex falso sequitur quodlibet e Paradosso di Curry · Mostra di più »
Principio di non contraddizione
Nella logica classica, il principio di non-contraddizione afferma la falsità di ogni proposizione implicante che una certa proposizione A e la sua negazione, cioè la proposizione non-A, siano entrambe vere allo stesso tempo e nello stesso modo.
Nuovo!!: Ex falso sequitur quodlibet e Principio di non contraddizione · Mostra di più »
Tautologia
Una tautologia (dal greco ταυτολογία, composto di ταὐτό lo stesso — τό lo e αὐτό stesso — e λογία per λόγος discorso), in logica, è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo.
Nuovo!!: Ex falso sequitur quodlibet e Tautologia · Mostra di più »