Differenze tra le versioni di "Congiunzione logica"

nessun oggetto della modifica
m (Risolvo disambigua Proposizione in Proposizione (logica) tramite popup)
{{S|logica}}
In [[matematica]], laUna '''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.
1 214

contributi