Implicazione logica: differenze tra le versioni

In [[matematica]], l'implicazione logica (simbolo <math>\rightarrow </math>) è un [[connettivo logico]] attraverso il quale, a partire da due [[Proposizione (logica)|proposizioni]] ''A'' e ''B'', si forma una nuova proposizione chiamata ''A implica B'' e scritta <math>A \rightarrow B</math> la quale è verafalsa se enel solo secaso èin verificata la seguente condizione: se è verocui ''A'' allorasia èvera vero anchee ''B'' sia falsa. In particolare ''A implica B'' è vera se ''A'' è falsa qualunque sia il valore di verità di ''B''.