Considere el enunciado “Todos los números enteros son números racionales, pero algunos números racionales no son enteros”.
a. Escriba este enunciado en la forma ' x, si entonces , pero x tal que '.
b. Sea Ratl(x) “x es un número racional” y sea Int(x) “x es un número entero”. Escriba el enunciado dado formalmente usando solamente los símbolos Ratl(x), Int(x), , , , , y .