GUÍA DE ACTIVIDADES Y RÚBRICA DE EVALUACIÓN

EJERCICIO 1 UNIDAD 1

Alfonso Hernández
Código. 200611_273

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO
COD CURSO: 200611
 INTRODUCCION

En el siguiente desarrollo de la actividad se abordará el tema de métodos para probar la

validez de argumentos, exponiendo ciertas situaciones y por medio de los métodos de validez
dar respuesta a cada uno.

OBJETIVOS

 Desarrollo de la temática elegida.

 Escoger cada estudiante una letra de los ejercicios propuestos.
 Leer las bibliografías dadas para el desarrollo de la actividad.
 Desarrollar cada ejercicio planteado.
UNIDAD 1:
Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,
cuantificadores.

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

B. (𝑝 → 𝑞) ∧ (𝑟 ⋀ 𝑠)

 Definir las proposiciones simples:

P: Carlos estudia en la UNAD

Q: la UNAD es una universidad pública
R: Asistió a los foros participativos
S: Obtiene buenas notas

Definición del contexto:

Carlos estudia en la UNAD entonces la UNAD es una universidad pública y asistió a

los foros participativos y obtiene buenas notas.

Tabla Lógica Simulador

 Tabla Manual

TABLA DE VALORES
N° FILAS p q r s p→q rꓥs [(p→q)]ꓥ [(rꓥs)]
1 v v v v v v v
2 v v v f v f f
3 v v f v v f f
4 v v f f v f f
5 v f v v f v f
6 v f v f f f f
7 v f f v f f f
8 v f f f f f f
9 f v v v v v v
10 f v v f v f f
11 f v f v v f f
12 f v f f v f f
13 f f v v v v v
14 f f v f v f f
15 f f f v v f f
16 f f f f v f f

Resultado:
Es una tabla de contingencia

Bibliografía
Ciencias Basicas. (2018 de Febrero de 18). Obtenido de https://ciencias-basicas.com
Logica de cuantificadores. (23 de Noviembre de 2017). Obtenido de
https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-
d453d859dd20
Soluciones Matematicas. (18 de Febrero de 2019). Obtenido de
https://sites.google.com/site/mathematicasdiscretassolutions/logica-de-
po/cuantificadores
T.S.A., C. (2010). Logica matematica para ingeniera de sistemas y computacion. Madrid,
España: Ed. Elizcom.