Implicazione logica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 1:
{{nota disambigua|l'omonimo album dei [[Matia Bazar]]|[[Conseguenza logica (album)]]|Conseguenza logica}}
 
La '''implicazione logica''' è un [[connettivo logico]] attraverso il quale, a partire da due [[Proposizione|proposizioni]] ''A'' e ''B'', si forma una nuova proposizione chiamata ''A implica B'' e scritta <math>A \Rightarrow B</math> la quale è vera se e solo se è verificata la seguente condizione: se è vero ''A'' allora è vero anche ''B''. In particolare ''A implica B'' è vera se ''A'' è verafalsa qualunque sia il valore di verità di ''B''.
 
Questa definizione si può riassumere mediante la seguente [[tabella di verità]]: