Indice
11 relazioni: Dimostrazione per contrapposizione, Equivalenza logica, Gottfried Wilhelm von Leibniz, Lista di regole di inferenza, Logica modale epistemica, Opposizione (filosofia), Proposizione categoriale, Spazio convesso, Teorema di Löb, Trasposizione (logica), Warrant canary.
Dimostrazione per contrapposizione
Nella logica, la contrapposta di una proposizione condizionale si forma negando entrambi i termini e invertendo il verso dell'implicazione logica.
Vedere Contrapposizione e Dimostrazione per contrapposizione
Equivalenza logica
Nella logica e nella matematica, due proposizioni p e q si dicono logicamente equivalenti se hanno lo stesso valore di verità in ogni modello.
Vedere Contrapposizione e Equivalenza logica
Gottfried Wilhelm von Leibniz
Tra i massimi esponenti del pensiero occidentale, nonché una delle poche figure di "genio universale", la sua applicazione intellettuale a pressoché tutte le discipline del sapere ne rende l'opera vastissima e studiata ancor oggi trasversalmente: a lui ed a Isaac Newton vengono generalmente attribuiti l'introduzione e i primi sviluppi del calcolo infinitesimale, in particolare il concetto di integrale, per il quale si usano ancora oggi molte sue notazioni, i termini "dinamica" e "funzione", che egli usò per individuare le proprietà di una curva, tra cui l'andamento, la pendenza, la corda, la perpendicolare in un punto.
Vedere Contrapposizione e Gottfried Wilhelm von Leibniz
Lista di regole di inferenza
Regole di inferenza di uso comune.
Vedere Contrapposizione e Lista di regole di inferenza
Logica modale epistemica
La logica modale epistemica è una sottodisciplina della logica modale che si occupa del ragionamento sulla conoscenza. Mentre l'epistemologia vanta una lunga tradizione filosofica che risale all'antica Grecia, la logica epistemica ha avuto uno sviluppo molto più recente con applicazioni in molti campi, tra cui la filosofia, l'informatica teorica, l'intelligenza artificiale, l'economia e la linguistica.
Vedere Contrapposizione e Logica modale epistemica
Opposizione (filosofia)
Il termine opposizione (dal latino oppositio dal verbo opponere, opporre) sta ad indicare in filosofia la condizione per cui qualcosa per le sue caratteristiche si pone, materialmente e/o idealmente, in netto contrasto rispetto ad un'altra.
Vedere Contrapposizione e Opposizione (filosofia)
Proposizione categoriale
Nella logica, una proposizione categoriale o affermazione categoriale è una proposizione che asserisce o nega che tutti o alcuni dei membri di una categoria (il termine soggetto) siano inclusi in un'altra (il termine predicato).
Vedere Contrapposizione e Proposizione categoriale
Spazio convesso
Un'illustrazione di uno spazio metrico complesso. In matematica, gli spazi metrici convessi sono, intuitivamente, spazi metrici con la proprietà che qualsiasi "segmento" che unisce due punti in quello spazio ha altri punti al suo interno oltre ai punti estremi.
Vedere Contrapposizione e Spazio convesso
Teorema di Löb
Nella logica matematica, il teorema di Löb stabilisce che nell'aritmetica di Peano (PA, o in qualsiasi sistema formale che la includa), per qualsiasi formula P, se è dimostrabile in PA che "se P è dimostrabile in PA allora P è vero", allora P è dimostrabile in PA.
Vedere Contrapposizione e Teorema di Löb
Trasposizione (logica)
Nella logica proposizionale, la trasposizione è una regola di sostituzione valida che permette di scambiare l'antecedente con il conseguente di un enunciato condizionale in una dimostrazione logica quando entrambi sono negati.
Vedere Contrapposizione e Trasposizione (logica)
Warrant canary
Un warrant canary è un metodo con cui un fornitore di servizi di comunicazione mira ad informare implicitamente i propri utenti che al fornitore è stato notificato un mandato di comparizione governativo nonostante i divieti legali di rivelare l'esistenza del medesimo.