Trabajo Colaborativo: Curso: Matematica Basica PROFESORA: Gloria Crespo Guerrero
Trabajo Colaborativo: Curso: Matematica Basica PROFESORA: Gloria Crespo Guerrero
Trabajo Colaborativo: Curso: Matematica Basica PROFESORA: Gloria Crespo Guerrero
COLABORATIVO
CURSO: MATEMATICA BASICA
PROFESORA: Gloria Crespo Guerrero.
INTEGRANTES:
- - Integrante 01: Luis Gabriel Flores Flores.
D). Utilice las reglas de inferencia lógica para demostrar que la conclusión del argumento es
correcto o válido. Muestre cada paso de la deducción lógica que sigue, y no olvide escribir
a un lado de cada paso la ley o equivalencia lógica que está usando.
E). Demuestre aplicando equivalencias lógicas y tablas de verdad que el argumento es una
tautología.
A). DESARROLLO:
A). Proposiciones simples:
Formalización:
{[(p↔q)^⌐r]^q→r}→⌐p
D). INFERENCIA LOGICA:
1.) Formolización:
2). Desarrollo:
1. p↔q
2. ∼r
3. q→r
∼p≡V
E). Demostrar la tautologia:
EJERCICIO 02
DESARROLLO 02:
Activado= V, No activado= F:
Procedemos a resolver tomando en cuenta que el resultado
debe activar al robot:
1. El replicador (⇐) es el predominante entonces:
Sabemos que X + Y = 15
Primer paso:
Identificamos por exposición los
elementos de B y C:
B C
SEGUNDO PASO:
CONJUNTO:
2. {-6, -11, -14, -15, 1, 10} - {0, -8, 24, 42, 10}
Parte 2:
{-1, -9, -10, 6, 15, -11, -14, -15, ∞+, ∞-} - {-1, -6, -9, -10, 6, -15, -11, -14, 1, 10}
Parte Final: