1a Serie Algebra
Álgebra Superior. Semestre. 2016-01
1ª Colección de Ejercicios
UNIDAD 1. LÓGICA Y CONJUNTOS
1.- Construye la tabla de verdad para cada una de las siguientesproposiciones compuestas y
concluir si es una tautología, contingencia o falacia:
a) (
b) ,(
c)
)
(
)
)
(
)-
(
)
2.- Completa las siguientes tablas de verdad:
(
0
1
0
0
1 1
0 1
0
0
1
1
0
0
0
01
1
0
1
1
0
1
0
1
0
0
0
0
0
(
1 1
0
0
0 1
1
1
0 0
0 1
1
1
0
1
0
1
1
0
0
0
1
1
0
1
)
1
0
1
0
0
1
)
(
1
1
1
1
0
0
0
0
)
(
1
0 0
0
1 1
1 1
0
0 0
0
1 0
1
0
0 0
1
0 0
0
0
1
0
0
10
1
1
0
1
0
1
0
0
0
1
0
0
1
1
1
1
0
0
1
0
1
0
0
0
1
1
0
1
0
1
1
1
1
0
1
1
1
0
1
)
(
0
0
1
1
0
1
0
0
)
1
1
1
1
1
3.-Comprueba mediante una tabla de verdad las siguientes equivalenciasentre proposiciones:
)
) (
)
)
4.-Comprueba mediante una tabla de verdad, que las siguientes proposiciones compuestas
son tautologías:
) ,(
) ,(
)(
)
)
)
(
(
modus tollendo ponens
) (
)- (
)Silogismo disyuntivo
) Regla de adjunción
5.-Simboliza los siguientes argumentos con símbolos de la lógica matemática (utiliza el
formato que se utilizó en clase para demostrar argumentos, es decirenumerando las premisas
y después poner la conclusión).
a) Martín fue nombrado presidente.
Si Ruiz fue elegido, entonces Martín no fue nombrado presidente.
Si Alonso fue elegido, entonces la elección sehizo hoy.
Por tanto, si Ruiz fue elegido o Alonso fue elegido, entonces la elección se hizo hoy.
b) Si Juan gana, entonces Luis o Esteban serán segundos.
Si Luis es segundo, entonces Juan no ganará.Si Pedro es segundo, entonces Esteban no será segundo.
Por tanto, si Juan gana, entonces Pedro no será segundo.
c) El número se puede definir por un decimal infinito o por un par de decimalesinfinitos
debido a que el punto de una recta representa un entero.
O el número se puede definir por un decimal finito o el número puede ser definido o bien
por un decimal infinito o por un par de decimales...
Regístrate para leer el documento completo.