Proposiciones y tablas de verdad: Un estudio de la lógica proposicional, Guías, Proyectos, Investigaciones de Lógica Matemática

¡Descarga Proposiciones y tablas de verdad: Un estudio de la lógica proposicional y más Guías, Proyectos, Investigaciones en PDF de Lógica Matemática solo en Docsity! Proposiciones y tablas de verdad Presentado por: Oscar Andrey Garzón Barón Presentado a: Tutor Sandra Johana Domínguez Curso: 200611_185 Pensamiento lógico y matemático Universidad Nacional Abierta y a Distancia 16 de febrero de 2020 Bogotá D.C INTRODUCCIÓN La lógica es una ciencia que estudia métodos de razonamiento la cual se dedica a encontrar la verdad o falsedad de un argumento y para esto nos brinda procesos para dar respuesta a aquellos argumentos. De ella se desprende la lógica proposicional que es una rama que nos permite estudiar variables proposicionales y conectivos lógicos, y a partir de esto generar solución a diversos problemas generados en las ciencias exactas. Dentro de este tema encontraremos diversos conceptos como lo son las tablas de verdad, proposiciones, cuantificadores, valores de verdad, tautologías, contradicciones, y contingencias, las cuales se convierten en elementos de suma importancia en la consecución de los resultados dentro de esta lógica matemática. ARACTERISTICAS DE UN Cea TIV ES ne [ero A rela UG teta EiTero) - todo x Oz RRE * cada uno x = siempre que en x OR OR TT + Ejemplos del cuantificador universal afirmativo IAN Ejercicio 2: Cualquiera persona que gane la A A Pa Para toda x, si x es ganar la evaluación, x es sacar una nota PE ON Px - x es sacar una nota positiva (ES al O PRE] CN O E Ex - x es tener frío E E) A. Si la base de un triángulo mide 6 cm y SuTaltura mide 10/01. Por lo tanto, su área mide 60 cm? + Definir las proposiciones simples del argumento: -p : Si la base de un triángulo mide 6 cm -q : su altura mide 10 cm -r su área mide 60 crm? + Definir la expresión del argumento en lenguaje simbólico o formal por + Generar una tabla de verdad con el simulador Lógica unad a partir del lenguaje simbólico. ., CADENA DE CIENCIAS BASICAS a Red de curso de Pensamiento Lógico Matemático y Lógica Matemática JTabla - Resultados Pp q r (PAQ—"r v v v v v y f F v f v v v f f v f v v v f v f v f f v v f f f v + Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción. + Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia El resultado de esta tabla de verdad es una contingencia. Ejercicio 3: A. | p=!9Ar]] + Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia El resultado de esta tabla de verdad es una contingencia. REFERENCIAS BIBLIOGRAFICAS Citación de referencias bibliográficas. + 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://bibliotecavirtual.unad.edu.co:2538/1ib/unadsp/reader. action? ppg=1098:docID=31997018:tm=1529510366591 + 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-proquest- com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=32264578:ppg=20 * Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de http://hdl.handle.net/10596/13871 + 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