• Author / Uploaded
• viviana

• Categories
• Proposición
• Formalismo (deductivo)
• Verdad
• Lógica
• Física y matemáticas

Citation preview

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Estudiante: Viviana Conejo Cuan Código: 1007293699 Grupo: 200611_242

Tutor: Elkin Ricardo Laverde

Universidad Nacional Abierta y a Distancia-UNAD San Jose del Guaviare, Marzo 2020

Introducción

L as tablas de verdad son muy importantes pues nos permiten analizar cualquier fórmula y hallar sus valores de verdad.

ObjetivTos

General: Comprender la importancia y aplicación de tablas de verdad en algunos ámbitos de la vida cotidiana y verificar su validez.

Especifico:

Reconocer la importancia de las tablas de verdad. Edificar tablas de verdad a partir de un lenguaje simbólico tanto manual como el simulador. Analizar si, es Taulogia, Contradicción o Contingencia y así verificar la validez del argumento dado.



Ejercicio 1: Conceptualización de Cuantificadores:

C. Cuantificador Existencial. LINK:  https://prezi.com/view/5nkvPTTvfhcVBjeTxjC2/

Ejercicio 2- Proposiciones y Tablas de Verdad. Descripción del Ejercicio: A continuación, encontrara los argumentos para el desarrollo del ejercicio 2. C. Colombia cuenta con una variedad de fauna y flora. Si y solo si, la atraviesa la cordillera de los Andes y la llanura amazónica.



Proposición Simple:

p: Colombia cuenta con una variedad de fauna q: Colombia cuenta con una variedad de flora r: , a Colombia la atraviesa la cordillera de los Andes s: a Colombia la atraviesa la llanura amazónica.

Lenguaje Simbólico: (p Λ q) ↔ (r Λ s) 



Tabla de Verdad Con Simulador Lógica UNAD:



 

Tabla de Verdad: A partir del lenguaje simbólico.

Resultado de la tabla de verdad: Es de Contingencia.

Resultado de la tabla de verdad: De Contingencia.

Ejercicio 3: Problemas de Aplicación. Descripción del Ejercicio: A continuación, encontrara proposiciones compuestas en lenguaje simbólico. A. [ ( p → q ) ⟷ r ]



Definición de Las Proposiciones Simples:

p: Viviana estudia pedagogía infantil q: logra inscribirse en este semestre r: si solo si hay cupos disponibles



Lenguaje Natural de la Expresión Formal:

Viviana estudia pedagogía infantil y logra inscribirse en este semestre, si solo si hay cupos disponibles.



Tabla de Verdad Manual:

Resultado de la tabla de verdad: De Contingencia.



Tabla de Verdad Con el Simulador Lógica UNAD:

Conclusiones Las tablas de verdad nos ayudan a determinar los posibles valores verdaderos de alguna expresión.

BIBLIOGRAFÍAS

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquestcom.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action? docID=3199701&ppg=109  Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado de https://ebookcentral-proquestcom.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action? docID=3226457&ppg=20  Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquestcom.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action? docID=3199701&ppg=12  Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961