Congiunzione logica: differenze tra le versioni

La '''congiunzione logica''' è un [[connettivo logico]] ('''e'''), attraverso il quale, a partire da due [[Proposizione|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 <math>A\land B</math>, la quale è vera solosoltanto nel caso in cui le due proposizione da cui è formata, ''A'' e ''B'', siano entrambe vere, mentre è falsa in tutti gli altri casi possibili. Quando si hanno due enunciati aperti p(x) e q(x), l'[[insieme di verità]] di <math> p(x) \wedge q(x) </math> corrisponde all'[[intersezione]] tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'intersezione.