[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