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


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