Tarea 2– conectivos lógicos y teoría de conjuntos
Enviado por adriana tabaco • 10 de Diciembre de 2020 • Trabajo • 1.702 Palabras (7 Páginas) • 114 Visitas
Evaluación intermedia
Unidad 1: tarea 1 – conectivos lógicos y teoría de conjuntos
N° grupo: 90004_912
Adriana marcela tabaco Maldonado
Código: 1002672923
Tutor:
Edgar Mauricio Alba
UNAD (Universidad Nacional Abierta y a Distancia)
(ECAPMA) Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente
Agronomía
Lógica matemática
CEAD Sogamoso
2019
INTRODUCCIÓN
El presente trabajo hace énfasis a las temáticas como lo son las proposiciones, tablas de verdad, teoría de conjuntos y la aplicación de teorías de conjuntos, que da a conocer el desarrollo a los ejercicios de la letra A que fue mi elección ante la actividad. Obteniendo como producto final la respuesta de los cuatro (4) ejercicios anteriormente mencionados uno por cada temática planteada en la guía, esto con el fin de poder aplicar los conocimientos adquiridos en el repaso de la unidad 1.
OBJETIVOS.
General
Tener conocimiento sobre los temas tratados en la unidad, realimentándolos con el desarrollo de los ejercicios.
Específicos
- Comprender los conceptos básicos de la unidad.
- Dar respuesta a las proposiciones en lenguaje natural.
- Conocer los valores de verdad en las proposiciones compuestas y simples.
- Poder expresar un lenguaje simbólico y formal.
- Hacer uso del simulador lógico, para realizar tablas de verdad.
- Determinar las diferentes operaciones entre conjuntos.
DESARROLLO DE LOS 4 EJERCICIOS SELECCIONADOS.
EJERCICIO 1: PREPOSICIONES
- p: Iván Duque es colombiano
q: el 8 de agosto del 2018 se posesiono el nuevo presidente de los colombianos
r: Iván Duque es el nuevo alcalde de Ibagué
[(p ˄ q) → ¬r] → (p v ¬ p)
Solución
- Proposición compuesta propuesta en lenguaje natural.
SI Iván Duque es colombiano Y el 8 de agosto se posesiono el nuevo presidente de los Colombianos ENTONCES Iván duque NO es el nuevo alcalde de Ibagué ENTONCES Iván duque es colombiano O Iván duque NO es colombiano.
- Valor de verdad de las proposiciones simples.
p: V
q: F
r: F
- Valor de verdad de la proposición compuesta.
[(p ˄ q) → ¬r] → (p v ¬ p)
[(V˄F) → V] → (V v F)
[F → V] → F
F → F
V
EJERCICIO 2: TABLAS DE VERDAD
ARGUMENTO
- Si Angélica chatea en su celular y conduce por la autopista entonces Angélica tiene una alta probabilidad de accidentarse o Angélica puede dañar su automóvil.
Solución
- proposiciones simples
p: Angélica chatea en su celular
q: Conduce por la autopista
r: Angélica tiene una alta posibilidad de accidentarse
s: Angélica puede dañar su automóvil
- expresión en lenguaje simbólico o formal.
(p ˄ q) → (r v s)
- tabla de verdad
p | q | r | S | (p ˄ q) | (r v s) | (p ˄ q) → (r v s) |
V | V | v | V | V | V | V |
V | V | V | F | V | V | V |
V | V | F | V | V | V | V |
V | V | F | F | V | F | F |
V | F | V | V | F | V | V |
V | F | V | F | F | V | V |
V | F | F | V | F | V | V |
V | F | F | F | F | F | V |
F | V | V | V | F | V | V |
F | V | V | F | F | V | V |
F | V | F | V | F | V | V |
F | V | F | F | F | F | V |
F | F | V | V | F | V | V |
F | F | V | F | F | V | V |
F | F | F | V | F | V | V |
F | f | F | F | F | F | V |
Resultado de la tabla de verdad: contingencia
- simulador lógica UNAD[pic 1]
p q r s (p ˄ q) → (r v s)[pic 2]
...