Versione delle 11:04, 10 lug 2017 modifica Horcrux (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 161 897 modifiche m Risolvo disambigua Proposizione in Proposizione (logica) tramite popup ← Differenza precedente		Versione delle 10:50, 12 apr 2019 modifica annulla Rightaway2 (discussione \| contributi) 1 214 modifiche Nessun oggetto della modifica Differenza successiva →
Riga 1: {{S\|logica}} ~~In [[matematica]], la~~Una '''congiunzione logica''' (simbolo <math>\land</math> che si legge '''e'''), in [[matematica]], è un [[connettivo logico]] attraverso il quale, a partire da due [[Proposizione (logica)\|proposizioni]] <math>A</math> e <math>B</math>, si forma una nuova proposizione chiamata ''congiunzione di <math>A</math> e <math>B</math>'' o ''congiunzione di <math>A</math> et <math>B</math>'', che si indica con <math>A\land B</math>, la quale è vera soltanto nel caso in cui <math>A</math> e <math>B</math> siano entrambe vere, mentre è falsa in tutti gli altri casi possibili. Quando si hanno due enunciati aperti <math>p(x)</math> e <math>q(x)</math>, l'[[insieme di verità]] di <math> p(x) \wedge q(x) </math> corrisponde all'[[intersezione (insiemistica)\|intersezione]] tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'intersezione.

Congiunzione logica: differenze tra le versioni