LOGICA MATEMATICA
PASO 6: MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
EVELIN JULIETH HERAZO PEDRAZA
COD: 1053611168
GRUPO: 200611_36
INGENIERIA INDUSTRIAL.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
UNAD
DUITAMA
2018
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Orientación Universidad
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Busca documentos
Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity
Busca tu universidad
Encuentra los documentos específicos para los exámenes de tu universidad
Video Cursos
Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades
Quiz
Responde a preguntas de exámenes reales y pon a prueba tu preparación
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Comunidad
Pregúntale a la comunidad
Pide ayuda a la comunidad y resuelve tus dudas de estudio
Ebooks gratuitos
¡Nuestros e-books salva-estudiantes!
Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity
Evidencia lógica matematica, Ejercicios de Matemáticas Aplicadas
lógica matemática aplicada de conjuntos
Tipo: Ejercicios
2019/2020
1 / 12
Esta página no es visible en la vista previa
¡No te pierdas las partes importantes!
Documentos relacionados
Vista previa parcial del texto
¡Descarga Evidencia lógica matematica y más Ejercicios en PDF de Matemáticas Aplicadas solo en Docsity!
LOGICA MATEMATICA
PASO 6: MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
EVELIN JULIETH HERAZO PEDRAZA
COD: 1053611168
GRUPO: 200611_
INGENIERIA INDUSTRIAL.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
UNAD
DUITAMA
INTRODUCCION
Mediante esté trabajo realizaremos diversos ejercicios con los cuales enriqueceremos nuestros conocimientos, atravez del desarrollo de cada uno de ellos, así teniendo más claro el tema propuesto.
Tarea 1: Conceptualización de las reglas de inferencia. para el desarrollo de la actividad la conceptualización y dos ejemplos específicos (En caso de ser extraído por alguna fuente bibliográfica, se debe citar correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lógica. Modus Ponendo Ponens, Adjunción y Exportación. MODUS PONENDO PONENS: (la forma en la que se afirma afirmando) Es una forma de argumento válido (razonamiento deductivo) permite eliminar una sentencia condicional de una prueba lógica, también se llama regla de separación. Ejemplo: Si te levantas temprano alcanzas el bus. Te levantas temprano Por lo tanto alcanzas el bus P: te levantas temprano Q: alcanzas el bus Ʌ REGLA DE ADJUNCIÓN: permite pasar de las dos premisas a la conclusión. Se indica con la letra A EJEMPLO: Pedro es profesor Juan es estudiante Conclusión: pedro es profesor y juan es estudiante p: Pedro es profesor q: Juan es estudiante p→q p modus ponendo ponens. q p q adjunción. pɅq
REGLA DE EXPORTACION (LOGICA): es una regla de remplazo valida de la lógica preposicional. Establece: que si p implica q entonces p implica p y q. EJEMPLO: que vaya a clase y ponga atención implica que es buen alumno Por lo tanto si va a clase entonces pone atención implica que es buen alumno p: va a clase q: pone atención r: es un buen alumno p→q (p Ʌ q) →r p→ (p Ʌ q) p→ (q →r) EXPORTACIÓN
FORMULA.
**{(p→q)Ʌ(r→s)Ʌ[(qɅs)→t]Ʌ¬t}→¬rv¬p 1)p→q 2)r→s 3)(qɅs)→t
- ¬t
(qɅs)→t ¬t ¬ (qɅs)
- ¬ (qɅs)= ¬q v ¬s
- p→q=¬q → ¬p
- r→s=¬s→ ¬r 9)dilema constructivo A→B ¬q v ¬s C→D ¬q → ¬p A→C ¬s→ ¬r B V D ¬P V ¬r=¬r v¬s** Premisas
Tabla: tautologia expression is a tautology
CONCLUSIÓN.
Por medio de este trabajo logre crear mejores bases para mi desarrollo intelectual, así enriqueciendo mis conocimientos.
BIBLIOGRAFIA.
Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria. Páginas 151- 162. Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action? ppg=166&docID=11046000&tm= Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action? ppg=14&docID=10345286&tm= Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación media. Bogotá, CO: Educar Editores S.A. Páginas 20 -24 Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action? ppg=21&docID=10345286&tm= Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima. Córdoba, AR: El Cid Editor. Páginas 24 – 34. Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action? ppg=24&docID=10075782&tm= Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado de http://hdl.handle.net/10596/ Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado de http://hdl.handle.net/10596/ Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado dehttp://hdl.handle.net/10596/ OVI Unidad 1 – Leyes de inferencia (Validación de argumentos). Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad proposiciones compuestas). [Archivo de video]. Recuperado de http://hdl.handle.net/10596/