Ejemplo 3.1.9 Escritura formal de enunciados condicionales universales

Reescriba cada uno de los siguientes enunciados en la forma

, si entonces .

a. Si un número real es un número entero, entonces es un número racional.

b. Todos los bytes tienen ocho bits.

c. No hay autobombas de color verde.

Solución

a. números reales x, si x es un número entero, entonces x es un número racional.
O: x R, si x Z entonces x Q.

b. x, si x es un byte, entonces x tiene ocho bits.

c. x, si x es una autobomba, entonces x no es verde.