Ejercicio 1

B.

1. Argumentos:

Algunos astros no son del sistema solar

Todo número natural es Real

2. Simbología del argumento:

Algunos astros no son del sistema solar.

∃x ∈ U: ~P(x)

Existe al menos un x, que no cumple P(x)

Existe algún astro x, tal que x no es del sistema solar

(∃ x ∈U ¿(x no es del sistema solar)

Todo número natural es real.

∀x ∈ U: P(x)

Para todo x en U, se cumple P(x)

Todo numero natural x, tal que x es real

( ∀ x ∈U ) (x es real)

3. Tipo de cuantificador

Algunos astros no son del sistema solar.

Existencial negativo.

Todo número natural es real.

Universal afirmativo.