Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PRESENTADO POR:
MARYURI JASNEIDY OLAYA VASQUEZ
1.100.959.623
Grupo 206011_319
PRESENTADO A:
DELFINA REYES
OBJETIVO ESPECIFICO
En los numerales (1), (2), (3), (4) y (5) aplicar las propiedades y las
operaciones con conjuntos y validar los procesos con el uso de
Diagramas de Venn para la solución de cada problema:
b. Solo natación= N U N
Solo natación= 8
c. Aplican deporte = F U N U (F ∩ N)
Aplican deporte = 20 U 12 U 8
Aplican deporte = 40
En los numerales (6), (7), (8), (9) y (10) identificar todas las expresiones que
considera son proposiciones lógicas simples y también las expresiones que no
son proposiciones. El siguiente paso es identificar proposiciones compuestas.
Para lograr esta identificación, conviene reescribir el texto resaltando los
conectivos lógicos que no están explícitos en la expresión. Declarar las
proposiciones simples, asignando una de las últimas letras del alfabeto para
identificarlas. Finalmente, expresar en lenguaje simbólico las proposiciones
simples, compuestas identificadas; y construir sus tablas de verdad.
Determinar si la tabla de verdad es tautología, contradicción o contingencia.
Además adjuntar pantallazo del uso del simulador de Tablas de Verdad.
Proposiciones simples:
Proposiciones compuestas:
2. Traducción lógica
1. (p Λ q) → ~s
2. (p Λ r)
→ ~s
3. Organizar argumento
{[(p Λ q) → ~s] Λ (p Λ r)}→ ~ s
p q r s {[(p Λ q) → ~s] Λ (p Λ r) } → ~ s
V V V V V V F V V F
V V V F V V V V V V
V V F V V V F V F F
V V F F V V V V F V
V F V V V F F V V F
V F V F V F V V V V
V F F V V F F V F F
V F F F V F V V F V
F V V V F V F F V F
F V V F F V V F V V
F V F V F V F F F F
F V F F F V V F F V
F F V V F F F F V F
F F V F F F V F V V
F F F V F F F F F F
F F F F F F V F F V
p Q r s {[(p Λ q) → ~s] Λ (p Λ r) } → ~s
V V V V V V V F F F V V V F
V V V F V V V V V V V V V V V
V V F V V V V F F F V F F V F
V V F F V V V V V F V F F V V
V F V V V F F V F V V V V F F
V F V F V F F V V V V V V V V
V F F V V F F V F F V F F V F
V F F F V F F V V F V F F V V
F V V V F F V V F F F F V V F
F V V F F F V V V F F F V V V
F V F V F F V V F F F F F V F
F V F F F F V V V F F F F V V
F F V V F F F V F F F F V V F
F F V F F F F V V F F F V V V
F F F V F F F V F F F F F V F
F F F F F F F V V F F F F V V
Las proposiciones son de Contingencia porque pueden ser verdaderas o falsas,
dependiendo del valor de verdad de los componentes.
En los numerales (11), (12), (13), (14) y (15) identificar (del texto dado), los
razonamientos lógicos inductivos y deductivos, y en ellos el tipo de razonamiento.
A partir de los razonamientos propuestos para el texto, responder la pregunta: ¿Se
verifica la conclusión propuesta? Y presentar argumentos que permitan respaldar
veracidad a la respuesta dada. Es decir, a partir de las tablas de verdad y las leyes
de inferencia demostrar la validez o no del razonamiento. Además adjuntar
pantallazo del uso del simulador de Tablas de Verdad.
1. ~l→c
2. cΛd
3. c→i
4. ~i
→l
1. ~l→c
2. cΛd
3. c→i
4. ~i
→l
5. ~ l → d SH 1,2
6. c SD 3,4
7. d MP 3,6
8. l SIM 5,7
5. Como se llega a la conclusión propuesta el proceso de inferencia termina ya
que la premisa 5 se obtiene de las premisas 1 y 2 por un silogismo
hipotético. La premisa 6 se deduce de las premisas 3 y 4 por un silogismo
disyuntivo, la premisa 7 se obtiene de las premisas 3 y 6 por un modus
ponens, por último, la premisa 8 se obtiene de la premisa 5 y 7 por
simplificación.
Ya que en este punto se obtiene la conclusión, aquí termina el proceso de
inferencia, lo que indica que el argumento es válido.
TABLA DE VERDAD
1. Asignar variables proposicionales
l. el Rector pudo dar el discurso
c. la fiesta de graduación tendría que cancelarse
d. los estudiantes se enojarían
i. habrá que devolver el dinero
2. Realizar traducción lógica
~l→c
cΛd
c→i
~i
→l
3. Organizar argumento
{[[ (~l→c)Λ(c Λ d)] →(c→i)] → ~i}→l
4. Obtener la cantidad de combinaciones de valores de verdad
24=16
5. Asignar valores a la tabla