Simbolo "non-implicazione" logica

[epimeteo87]

Come si scrive, nei simboli della logica formalizzata, "A non implica necessariamente B"?

(Esempio: "Se sento freddo ciò non implica che ci sia freddo" (potrei semplicemente avere la febbre io in piena estate a 40° effettivi di temperatura cioè con un caldo torrido)*

Grazie.

[glo_camp]

Ciao! Secondo il simbolismo della logica matematica il "non implica" si indica con una freccia sbarrata (vedi figura in allegato).