se… allora

se¿ allora

se… allora locuzione del linguaggio naturale che corrisponde, nel linguaggio logico degli enunciati, al connettivo detto → implicazione o implicazione logica, indicato con il simbolo ⇒. 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. L’espressione «se… allora», nel senso specificato, indica una implicazione formale del linguaggio degli enunciati, e per questo motivo non può essere identificata con l’implicazione materiale, cioè con una relazione di causa-effetto.

Nel linguaggio matematico, l’espressione «se A allora B» equivale a dire «A è condizione sufficiente per B» o, in modo equivalente, «B è condizione necessaria per A».