[3542] Siano P la proposizione 'x è divisibile per 4' e Q la proposizione 'x è divisibile per 2'. Allora:


	P equivale a Q
	P implica Q
	Q implica P
	la negazione di P implica la negazione di Q