[3542] Siano P la proposizione 'x è divisibile per 4' e Q la proposizione 'x è divisibile per 2'. Allora: la negazione di P implica la negazione di Q P implica Q Q implica P P equivale a Q