Respuesta:
Para expresar las proposiciones categóricas en forma simbólica, podemos utilizar la lógica proposicional:
a) Todo número tiene dos cifras.
- Se puede expresar como: ∀x(N(x) → C(x)), donde N(x) representa "x es un número" y C(x) representa "x tiene dos cifras".
b) Algún número es no mayor que 5.
- Se puede expresar como: ∃x(N(x) ∧ ¬M(x)), donde N(x) representa "x es un número" y M(x) representa "x es mayor que 5".
c) Al menos algún número es impar.
- Se puede expresar como: ∃x(N(x) ∧ I(x)), donde N(x) representa "x es un número" y I(x) representa "x es impar".
