Predicati – Batteria 2

1) Esprimere l’affermazione “Se un numero è divisibile per 9 allora è divisibile per 3” mediante l’implicazione logica tra due opportuni predicati. x/9 = n , n ∈ N => x/3 = t , t ∈ NOvvero p(x) => q(x) , con:p(x): x è divisibile per 9q(x): x è divisibile per 3. 2) Si considerino […]

Predicati – Batteria 1

1) Dato il predicato: p(x): 6 – 3x = 0 , x ∈ Q , stabilire il valore di verità degli enunciati p(1), p(2), p(3). p(1):6 – 3*1 = 0 6 – 3 = 03 = 0 –> Falso p(2):6 – 3*2 = 0 6 – 6 = 00 = 0 –> Vero p(3):6 – […]