Coimplicazione logica – Dati due predicati p(x) e q(x) , si dice che c’è coimplicazione logica tra p(x) e q(x) se ogni valore di x che rende vero p(x) rende vero anche q(x), e se contemporaneamente ogni valore di x che rende vero q(x) rende vero anche p(x)
Coimplicazione logica – Dati due predicati p(x) e q(x) , si dice che c’è coimplicazione logica tra p(x) e q(x) se ogni valore di x che rende vero p(x) rende vero anche q(x), e se contemporaneamente ogni valore di x che rende vero q(x) rende vero anche p(x)