Ejemplo 3.1.7 Traducción del lenguaje informal al formal

Reescriba cada uno de los siguientes enunciados formalmente. Use cuantificadores y
variables.

a. Todos los triángulos tienen tres lados.

b. Ningún perro tiene alas.

c. Algunos programas están estructurados.

Solución
a. triángulo t, t tiene tres lados.

O: t T, t tiene tres lados (donde T es el conjunto de todos los triángulos).

b. perro d, d no tiene alas.
O: d D, d no tiene alas (donde D es el conjunto de todos los perros).

c. un programa p tal que p está estructurado.
O: p P tal que p está estructurado (donde P es el conjunto de todos los programas).