Академический Документы
Профессиональный Документы
Культура Документы
FACULTAD DE INGENIERA
DEPARTAMENTO DE MATEMTICA
CLAVE-960-2-M-1-00-2013
JORNADA: Matutina
AO: 2013
Temario F
Duracin: 90 minutos
Solucin de examen
Tema 1
Paso 1: Base
Paso 3: Demostracin
( )
( )
( )
Tema 2
[ ]
Tema 3
a) Verdadero
b) Falso
c) Verdadero
d) Verdadero
e) Falso
Tema 4
Sea:
Entonces:
Por la disyuncin existen dos casos, cuando a es par y cuando b es par. Para el caso en el
que a es par.(es anlogo a cuando b es par, y ambos lo son):
0 Hiptesis
1 Definicin de numero
par
2 Operacin
algebraica
3 Asociatividad del
producto
4 Propiedad de
cerradura del
producto
5 Por definicin de
numero par
6 Por disyuncin
7 Por modus ponens
Por lo tanto ab es par si es verdadera entonces la contrapositiva es
verdadera, por lo tanto la proposicin original es verdadera tambin.
Tema 5
Expresin Reglas
Expresin original
Identidad
Doble negacin
de De Morgan
Propiedad Asociativa
Propiedad Distributiva
Leyes de Inverso
Propiedad de neutro
de De Morgan
de De Morgan
Propiedad Asociativa
Tema 6
1 Premisa
2 Premisa
3 Premisa
4 Premisa
5 Modus toliens 3 y 4
6 De De Morgan
7 Simplificacin conjuntiva 6
8 Simplificacin conjuntiva 6
9 Modus toliens 7 y 1
10 Modus toliens 8 y 1
11 Conjuncin 9 y 10