[3544] Si considerino le proposizioni P = 'x è divisibile per 6' e Q = 'x è multiplo di 3'. Allora:


	P e Q sono equivalenti
	Q implica P
	P e Q dicono la stessa cosa
	P implica Q