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'' è
Questa definizione si può riassumere mediante la seguente [[tabella di verità]]:
|