Resolver situaciones problémicas de la lógica proposicional
Un número es divisible por 2 si la última cifra de dicho número es múltiplo de 2. Un número es divisible por 3 si la suma de las cifras de dicho número es múltiplo de 3. Pero dicho número no es divisible por 2 o no lo es por 3. Por tanto, la suma de las cifras de un número no es un múltiplo de 3 si la última cifra de un número es múltiplo de 2.
1 respuesta
Respuesta
1
Lo que yo interpreto es
p: Un número es divisible por 2
q: La última cifra de dicho número es múltiplo de 2
r: Un número es divisible por 3
s: La suma de las cifras de dicho número es múltiplo de 3
Y la expresión quedaría
(¬p v ¬ r) --> (¬s ^ q) que claramente es una contingencia
En Truth deberías escribir la siguiente expresión para tener la tabla (~p + ~r) > (~s & q)
Salu2