Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Installa
l'accesso più veloce di browser!
 

Disgiunzione logica

Indice 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.

12 relazioni: Algebra di Boole, Associatività, Commutatività, Congiunzione logica, Connettivo logico, Disgiunzione esclusiva, Distributività, Matematica, Proposizione (logica), Tabella della verità, Teoremi di De Morgan, Unione (insiemistica).

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!!: Disgiunzione logica e Algebra di Boole · Mostra di più »

Associatività

In matematica, l'associatività (o proprietà associativa) è una proprietà che può avere un'operazione binaria.

Nuovo!!: Disgiunzione logica e Associatività · Mostra di più »

Commutatività

In matematica, un'operazione binaria * definita su un insieme S è commutativa se per ogni coppia di elementi x e y in S. Se questa proprietà non è valida per ogni coppia di elementi, l'operazione è quindi detta non commutativa.

Nuovo!!: Disgiunzione logica e Commutatività · 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!!: Disgiunzione logica e Congiunzione 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!!: Disgiunzione logica e Connettivo logico · 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!!: Disgiunzione logica e Disgiunzione esclusiva · Mostra di più »

Distributività

In matematica, e in particolare nell'algebra, la distributività (o proprietà distributiva) è una proprietà delle operazioni binarie che generalizza la ben nota legge distributiva valida per somma e prodotto tra numeri dell'algebra elementare.

Nuovo!!: Disgiunzione logica e Distributività · Mostra di più »

Matematica

La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.

Nuovo!!: Disgiunzione logica e Matematica · 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!!: Disgiunzione logica e Proposizione (logica) · 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!!: Disgiunzione logica e Tabella della verità · Mostra di più »

Teoremi di De Morgan

I teoremi di De Morgan, o leggi di De Morgan sono relativi alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione logica "and" e "or".

Nuovo!!: Disgiunzione logica e Teoremi di De Morgan · Mostra di più »

Unione (insiemistica)

In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo \cup) di insiemi.

Nuovo!!: Disgiunzione logica e Unione (insiemistica) · Mostra di più »

Riorienta qui:

Disgiunzione inclusiva, Disgiunzione logica (simbolo), , .

UscenteArrivo
Ehi! Siamo su Facebook ora! »