sistemas de numeracio y algebra de boole ap1 | Page 23

20
Sistemas Digitales
La A y la E se denominan universales; la I y O se denominan particulares.
A
E
P
S
P
S
Figura A1.8. Formas universales.
Ejemplo A1.9
Premisa 1 tipo A: Todos los x son y
Premisa 2 tipo E: Ningún z es y
Conclusión tipo E: Ningún z es x.
Se dice que y es eliminando, y que se retienen z y x.
y
x
z
Figura A1.9. Ningún z es x.
Deducción:
1. x=>y
2. z=>y’
3. y=>z’
4. x=>z’
5. z=>x’
P
P /
z=>x’
2 Transposición
1 y 3 Silogismo Hipotético
4 Transposición.
El silogismo es válido.
Ejemplo A1.10
Premisa 1 tipo A: Todos los x son y
Premisa 2 tipo I: Algún z es x
Conclusión tipo I: Algún z es y.
Profesor Leopoldo Silva Bijit
03-04-2010