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.
.
Premisas.
p= Un número es divisible por 2.
q= La última cifra de dicho número es múltiplo 2.
r= Un número es divisible por 3.
s= Suma de las cifras de dicho número es múltiplo de 3.
Lenguaje simbólico.
[(p→q) ^ (r→s) ^ (¬ p˅¬ r)] → (¬s →p)

Se comprobó por medio del simulador truth y se puede ver que es una
contingencia.