l'accesso più veloce di browser!
23 relazioni: Algebra di Boole, Congiunzione logica, Contraddizione, Disgiunzione esclusiva, Disgiunzione logica, Implicazione logica, Ludwig Wittgenstein, Mappa di Karnaugh, Negazione (matematica), Operazione binaria, Operazione bit a bit, Operazione unaria, Operazioni booleane sui poligoni, Paradosso del mentitore, Porta logica, Principio di bivalenza, Principio di non contraddizione, Proposizione (logica), Se e solo se, Tabella della verità, Tautologia, Tertium non datur, Tractatus logico-philosophicus.
Algebra di Boole
L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Nuovo!!: Connettivo logico e Algebra di Boole · Mostra di più »
Congiunzione logica
In matematica, la congiunzione logica (simbolo \land che si legge e) è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata congiunzione di A e B o congiunzione di A et B, che si indica con A\land B, la quale è vera soltanto nel caso in cui A e B siano entrambe vere, mentre è falsa in tutti gli altri casi possibili.
Nuovo!!: Connettivo logico e Congiunzione logica · Mostra di più »
Contraddizione
In logica si parla di contraddizione quando si identifica una proposizione con il suo contrario, ovvero se si considera una proposizione logica attualmente identica al proprio opposto.
Nuovo!!: Connettivo logico e Contraddizione · Mostra di più »
Disgiunzione esclusiva
La disgiunzione esclusiva "o" (simboli usuali:\dot oppure XOR) è un connettivo (o operatore) logico che restituisce in uscita VERO (V) se e solo se gli ingressi sono diversi tra di loro.
Nuovo!!: Connettivo logico e Disgiunzione esclusiva · Mostra di più »
Disgiunzione logica
In matematica, la disgiunzione inclusiva o disgiunzione logica (simbolo \vee, che si legge o, talvolta indicato come e/o), è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione A\vee B chiamata A o B oppure chiamata A vel B, la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B è vera mentre è falsa quando tutte e due sono false.
Nuovo!!: Connettivo logico e Disgiunzione logica · Mostra di più »
Implicazione logica
Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) ed un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità.
Nuovo!!: Connettivo logico e Implicazione logica · Mostra di più »
Ludwig Wittgenstein
Unico libro pubblicato in vita da Wittgenstein fu il Tractatus logico-philosophicus, dedicato alla memoria del suo amico David Hume Pinsent, la cui prefazione venne curata dal filosofo e matematico Bertrand Russell.
Nuovo!!: Connettivo logico e Ludwig Wittgenstein · Mostra di più »
Mappa di Karnaugh
La mappa di Karnaugh è un metodo di rappresentazione esatta di sintesi di reti combinatorie a uno o più livelli.
Nuovo!!: Connettivo logico e Mappa di Karnaugh · Mostra di più »
Negazione (matematica)
In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.
Nuovo!!: Connettivo logico e Negazione (matematica) · Mostra di più »
Operazione binaria
In matematica, un'operazione binaria interna è una funzione che richiede due argomenti dello stesso insieme X (si dice cioè che ha arietà 2) e restituisce un elemento di X. Formalmente, cioè, è una funzione * dal prodotto cartesiano X\times X in X: Per indicare l'immagine di una coppia di punti (x,y) si usa spesso la notazione infissa x*y.
Nuovo!!: Connettivo logico e Operazione binaria · Mostra di più »
Operazione bit a bit
Le operazioni bit a bit lavorano su schemi di uno o più bit.
Nuovo!!: Connettivo logico e Operazione bit a bit · Mostra di più »
Operazione unaria
In matematica, un'operazione unaria è un'operazione con un solo operando.
Nuovo!!: Connettivo logico e Operazione unaria · Mostra di più »
Operazioni booleane sui poligoni
Le operazioni booleane sui poligoni sono un insieme di connettivi logici (AND, OR, NOT, XOR,...) che operano su uno o più insiemi di poligoni.
Nuovo!!: Connettivo logico e Operazioni booleane sui poligoni · Mostra di più »
Paradosso del mentitore
In logica il paradosso del mentitore (più propriamente antinomia del mentitore) è descritto come: data una proposizione autonegante come "Questa frase è falsa", nessuno riuscirà mai a dimostrare se tale affermazione sia vera o falsa;.
Nuovo!!: Connettivo logico e Paradosso del mentitore · Mostra di più »
Porta logica
Una porta logica, in elettronica digitale e informatica, è un circuito digitale in grado di implementare (cioè di realizzare, simulandone la "logica matematica" mediante opportuni controlli su segnali elettrici) una particolare operazione logica di una o più variabili booleane.
Nuovo!!: Connettivo logico e Porta logica · Mostra di più »
Principio di bivalenza
In logica, il principio di bivalenza afferma che per ogni proposizione P, o P è vera oppure P è falsa, ossia che il grado di verità di una proposizione ammette valori nell'insieme discreto.
Nuovo!!: Connettivo logico e Principio di bivalenza · 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!!: Connettivo logico e Principio di non contraddizione · Mostra di più »
Proposizione (logica)
In filosofia e logica moderna una proposizione è una proposizione (linguistica) avente un significato che afferma o nega qualcosa, ad esempio “la neve è bianca”.
Nuovo!!: Connettivo logico e Proposizione (logica) · Mostra di più »
Se e solo se
In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.
Nuovo!!: Connettivo logico e Se e solo se · 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!!: Connettivo logico e Tabella della verità · 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!!: Connettivo logico e Tautologia · Mostra di più »
Tertium non datur
Tertium non datur (tradotto: «Una terza cosa non è data») è una locuzione che appartiene al repertorio delle celebri frasi in lingua latina entrate nel patrimonio culturale mondiale.
Nuovo!!: Connettivo logico e Tertium non datur · Mostra di più »
Tractatus logico-philosophicus
Il Tractatus Logico-Philosophicus è l'unica opera pubblicata in vita da Ludwig Wittgenstein – se si escludono un Dizionario per le scuole elementari e l'articolo Note sulla forma logica – ed è considerato uno dei testi filosofici più importanti del Novecento.
Nuovo!!: Connettivo logico e Tractatus logico-philosophicus · Mostra di più »
Riorienta qui:
Connettivi logici, Operatore booleano, Operatore logico, Operatori booleani, Operazione logica.
