[3544] Si considerino le proposizioni P = 'x è divisibile per 6' e Q = 'x è multiplo di 3'. Allora: Q implica P P e Q dicono la stessa cosa P implica Q P e Q sono equivalenti