Cosa significa "se a allora b" in logica?
Domanda di: Antonio Carbone | Ultimo aggiornamento: 16 febbraio 2026Valutazione: 4.5/5 (69 voti)
In logica, l'espressione "se A allora B" (simbolicamente 𝐴 → 𝐵 𝐴 → 𝐵 ) è un'implicazione logica o condizionale. Essa stabilisce che A è una condizione sufficiente per B, ovvero, se A è vera, allora anche B deve essere vera. B è detta conseguenza (o conseguente) e A antecedente. L'implicazione è falsa solo quando A è vera e B è falsa.
Cosa significa "A implica B"?
Implicazione logica materiale
In particolare A implica B è vera se A è falsa qualunque sia il valore di verità di B.
Cosa significa "se allora" in matematica?
Enciclopedia della Matematica (2013)
Dati due enunciati A e B, l'enunciato «se A allora B», tradotto simbolicamente in A ⇒ B (che può anche leggersi «A implica B»), indica una implicazione in cui A e B sono rispettivamente detti antecedente e conseguente.
Cosa sono se e allora?
Dizionario delle Scienze Fisiche (1996)
sé-allóra [ALG] [FAF] Uno dei connettivi logici, e precis. implicazione logica o condizionale logico, di simb.
Come si chiama se allora?
I connettivi "se... allora", "...quindi", "... perciò" si dicono implicazioni logiche; la proposizione composta che utilizza questi connettivi si chiama implicazione ed il suo simbolo matematico è ⇒ e si legge "implica".