Equivalenza logica
L’equivalenza logica è un tipo di relazione tra due affermazioni o frasi nella logica proposizionale o algebra booleana. La relazione si traduce verbalmente in “se e solo se” ed è simboleggiata da una doppia freccia a doppia linea che punta a sinistra ea destra ( ). Se A e B rappresentano affermazioni, allora A B … Leggi tutto