Más sobre Leyes de implicación
|
|
- Rafael Araya Valdéz
- hace 7 años
- Vistas:
Transcripción
1 Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes. Ejemplo: Por lo tanto: 1. Hay un homicida o una persona que tiene traumas de la niñez. 2. Si hay un homicida, entonces es un enfermo mental. 3. Si una persona tiene traumas de la niñez, entonces es un psicópata en potencia. 4. Es un enfermo mental o es un psicópata en potencia. Ahora, simbolizado, este dilema queda así: Dilema destructivo. Se abrevia d. d. Se considera que si hay una disyunción que contiene la negación de los consecuentes de dos condicionales, entonces en la conclusión se derivan la disyunción y la negación de los antecedentes de esas condicionales; digamos que es una aplicación del modus tollendo tollens, pero acompañado de las disyunciones. Por ejemplo: 1. Alguien no es un enfermo mental o no es un psicópata en potencia. 2. Si hay un homicida, entonces es un enfermo mental. 3. Si una persona tiene traumas de la niñez, entonces es un psicópata en potencia. Por lo tanto: 5. No hay un homicida o una persona no tiene traumas de la niñez. Lo cual simbolizado queda así:
2 Condicionalización. Se abrevia cond. Se apoya en la misma ley del cálculo proposicional que mencionamos en la adición, pero ahora es agregando el conectivo condicional. Ejemplo de esta ley: Por lo tanto: 1. Hay frío bajo cero. 2. Si nieva, entonces hay frío bajo cero. Y ya simbolizada queda así: Ahora que ya conoces las leyes de implicación necesarias para demostrar la validez de los argumentos en lógica proposicional, te vamos a poner algunos ejemplos, antes de pasar a las leyes de equivalencia. Ejemplos de demostración de la validez de raciocinios mediante la derivación por leyes. a) 1. Si la lógica es una ciencia formal, entonces tiene leyes exactas y resultados exactos. 2. Si hay resultados exactos, entonces se aplican con éxito en la realidad. 3. La lógica es una ciencia formal. Por lo tanto: 4. Se aplican con éxito en la realidad.
3 En primer lugar, tienes que ver que todo lo que se realice debajo de la raya horizontal, que significa por lo tanto, ya es la argumentación o demostración de validez del argumento o raciocinio. En segundo lugar, debes darte cuenta de que para obtener a s debes obtener a r, pero que r está conjunta con q y que ambas son consecuencias de p. Entonces debemos ver qué ley aplicar. Si te das cuenta, p está presente en la premisa 3. Y además sabes que hay una ley de implicación llamada (m.p.p.) y que va así: Por lo tanto, si tomas a la q que aparece con un paréntesis con dos conyuntos, la ley queda así: Ahora, esa ley con qué premisas está formada? Pues con las premisas 1 y 3. Por lo cual tú puedes concluir en este paso que corresponderá al número 4, y queda así: En tercer lugar, debes considerar que el primer paso que realices corresponde al número 4 de las premisas en el argumento, porque si un paso queda demostrado como valido por una ley, entonces puedes usarla para ir formando tu conclusión. Entonces si en 4 tienes la conjunción (q r), ahora puedes concluir, por la ley de simplificación, desde luego que tomaras aquella proposición que te haga falta para tu conclusión, y esta deberá ser la r ; y la ley que te faculta para hacer eso es la (simpl.). La cual queda así:
4 Una vez que has obtenido a r en el paso 5 (por la ley de simpl.) ahora puedes obtener a s, apoyándote en las que ya tienes, a saber r, y si observas la premisa 2 y la unes con el paso 5, te percatas que formas una ley. Sabes cuál es?, pues es la (m.p.p.), recuerda que es: Ahora, sustituyéndola por los símbolos que tenemos quedará así: Para finalizar, te podemos decir que, efectivamente, el argumento que trabajamos resulto válido, ya que de las premisas 1, 2, y 3, se llega a s. Ahora veamos este otro ejercicio: 1. Fidel Castro es un gran líder político. 2. Si Fidel Castro es un gran líder político, entonces es un creador de la historia. 3. Si Fidel Castro es un tirano, entonces es un traidor a su país. 4. Si es un creador de la historia o es un traidor a su país, entonces es el mayor personaje de Cuba. Por lo tanto: 5. Es el mayor personaje de Cuba. Y ya simbolizado y listo para demostrar queda así:
5 Como ves, este argumento también es válido, pues al realizar nuestro procedimiento por medio de la formación de leyes, resultó que, con las premisas que se nos dieron en el argumento inicial, se pudieron ir construyendo tres leyes: la de Adición, la del Dilema destructivo y la del Modus Ponendo Ponens. En primer lugar, la premisa 1 era p, con lo cual nosotros recurrimos a la ley de la adición que dice: Entonces, si ya elaboramos los antecedentes de los condicionales podemos formar la ley del Dilema constructivo, entre las premisas 5, 2 y 3 (según el orden en el que deben estar las premisas del Dilema constructivo) para obtener el resultado de la ley paso 6, lo cual que queda así: Y una vez que se demuestra la existencia de las condiciones antecedentes del condicional que está en la premisa 4, sabemos que podemos obtener el consecuente de este condicional, el cual es, a la vez, la conclusión de nuestro raciocinio o argumento. Queda así: Y hasta aquí llegamos a nuestra conclusión. Leyes de equivalencia Las leyes a las que nos referimos son diez y su aplicación o formación dentro de una demostración de argumentos se hace en una misma premisa, pues una vez que tienes una parte de la ley, es decir, alguna de las dos partes que están a cada lado del bicondicional, tú puedes concluir la otra parte, pues ambas son equivalentes.
6 Dichas leyes son:
7 Ahora bien, ya que tenemos nuestras leyes de equivalencia te daremos algunos ejemplos que demuestran que estas leyes representan la equivalencia de dos enunciados o raciocinios que se expresan de manera diferente pero cuyo valor de verdad es idéntico. Para demostrarte lo anterior te daremos un ejemplo de la asociación, de la exportación y de la equivalencia material; las demostraremos por medio de tablas de verdad. 1. Asociación. Esta ley se escribe así: Y su expresión gramatical es: Juan es padre de familia y es comerciante, y practica el boxeo, si y sólo si, Juan es padre de familia, y es comerciante y practica el boxeo. Esto quiere decir que si es verdadera la primera expresión que está del lado izquierdo del bicondicional, entonces será verdadera la otra expresión del enunciado. Ahora veamos si son equivalentes en su valor de verdad: Véase que los dos conectivos principales de cada corchete son idénticos, y que, obviamente, el resultado en la columna 5 es tautológico. 2. Ahora veremos la exportación que, simbólicamente, se expresa así: Y que en lenguaje gramatical se expresa de esta forma: Si hay un ciclón y grandes inundaciones, entonces hay pérdidas materiales; si hay un ciclón, entonces hay inundaciones y pérdidas materiales.
8 Demostrado por el método de tabla de verdad, queda así: Observa que este enunciado también es tautológico. 3. Equivalencia material. Simbólicamente se expresa así: Y gramaticalmente se expresa: El Radio es explosivo si y sólo si se alteran sus electrones, si y sólo si, si el radio es explosivo, entonces se alteran sus electrones y, si se alteran sus electrones, entonces el Radio es explosivo. Y su tabla de verdad queda así: También en este caso el argumento, es tautológico. Ahora realicemos tres ejemplos de demostración de validez de argumentos por medio de las leyes de implicación y de equivalencia.
9 Recuerda que las leyes las debes ir formando con las premisas que tienes, que las premisas son como piezas de rompecabezas que debes ordenar para construir tu ley, y que las leyes de implicación y de equivalencia también son piezas de rompecabezas que debes tener en tu memoria para que las identifiques en cada paso que des y las incrustes para justificar cada paso.
10 Leyes de cuantificación Se llaman leyes de cuantificación a las formas de expresión de las proposiciones en forma típica (las utilizadas en los silogismos aristotélicos, las cuales, como recordarás, expresan una cantidad en el sujeto). La ventaja de estas leyes de cuantificación es que nos permiten expresar los argumentos en un lenguaje simbólico en el que se pueden aplicar tanto las leyes de implicación como las leyes de equivalencia. Para desarrollar estas leyes y su aplicación nos apoyaremos en la simbolización de cuantificadores que te enseñamos en la segunda unidad. 1. Ley de ejemplificación universal (E.U.) Se emplea para quitar las variables de las proposiciones universales y sustituirlas por constantes, como se verá en seguida. Si tenemos una proposición universal afirmativa como esta: Todos los batracios tienen respiración pulmonar. Recuerda cómo se simbolizan estas proposiciones utilizando su símbolo cuantificador y su símbolo predicable, que es la inicial de cada uno de los términos (respetando su orden) con letra mayúscula y agregando la variable que representa a los individuos de la especie de que se habla. Simbolicemos nuestra proposición: Todos los batracios tienen respiración pulmonar. La ley nos dice que si tenemos un enunciado Podemos concluir:
11 Entonces si tenemos un silogismo en Bárbara como éste: 1. Todos los batracios tienen respiración pulmonar. 2. Todos los sapos son batracios. Luego entonces: 3. Todos los sapos tienen respiración pulmonar. Lo simbolizaremos así: Ahora, si les aplicamos la ley a las proposiciones que forman este silogismo, queda de la siguiente manera: Ahora bien, qué nos permite esta ejemplificación? Que podamos demostrar, por leyes de implicación o de equivalencia en algunos casos, su validez o corrección. Veamos como se hace: Una vez que ya se tiene el enunciado similar a como nos lo pide la conclusión que debemos demostrar, si esa conclusión está expresada en simbología de forma típica, entonces hay que aplicar la segunda ley de las proposiciones. Generalización universal (G.U.) Nos dice que si un enunciado se encuentra en una relación de sus términos correspondientes a su forma típica, entonces se aplica la generalización universal que recobra el cuantificador universal y las variables de los términos.
12 Y queda así: Por lo cual nuestro silogismo anterior queda demostrado así: Ejemplificación existencial (E.E) Y se aplica a las proposiciones particulares como: Como verás, en esta ley se cumple lo mismo que en la ejemplificación universal se elimina el cuantificador y se sustituyen las variables por las constantes sólo que se aplica a enunciados particulares. Generalización existencial (G.E.) Una vez que se tiene el resultado deseado de las proposiciones en la forma típica, en donde sólo hace falta recobrar el cuantificador y las variables, se aplica la ley de generalización existencial. La cual consiste en el siguiente paso:
13 Ahora vamos a aplicar estas cuatro leyes en la demostración de los tres modos del silogismo que pertenecen a la primera figura del silogismo (pues el primer modo que es el BÁRBARA ya quedo demostrado arriba). Ejemplos: CELARENT 1. Ningún átomo es indivisible. 2. Todos los cobaltos son átomos. Luego entonces: 3. Ningún cobalto es indivisible. Simbolizado queda así: Y para demostrarlo queda así: DARII 1. Todos los filósofos son solitarios. 2. Algunos hombres son filósofos. Luego entonces: 3. Algunos hombres son solitarios. Simbolizado queda así:
14 Y ahora su demostración queda así: FERIO Por lo tanto: 1. Ningún león aúlla. 2. Algunos felinos son leones. 3. Algunos felinos no aúllan.
Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesIntrod. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar
ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesLógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores
Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por
Más detallesResumen de deducción natural
Resumen de deducción natural F. Javier Gil Chica 2010 1. Orientación de estas notas El cálculo de argumentos mediante tablas de verdad es un método rápido y seguro. También mecánico, puesto que se puede
Más detallesExamen final de Lógica y argumentación (Fecha: xxxxxxxx)
1 Examen final de Lógica y argumentación (Fecha: xxxxxxxx) Nombre: Código: Profesor y grupo: 1. 1 (6%) Construya un silogismo de forma: oao-3, con estas especificaciones: Término mayor: Rascacielos Término
Más detalles2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]
Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesLa Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.
Más detallesUNIDAD 4: INTRODUCCIÓN A LA LÓGICA
UNIDAD 4: INTRODUCCIÓN A LA LÓGICA Bien! hemos pasado a la segunda parte de los contenidos, espero que esos ánimos sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo invitamos
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesUna proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesRAZONAMIENTO MATEMÁTICO
RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.
Más detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detalles1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.
Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que
Más detallesRAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
Más detallesCriterios de divisibilidad y Congruencias
Criterios de divisibilidad y Congruencias Rafael F. Isaacs G. * Fecha: 9 de marzo de 2007 Cuando tenemos un número muy grande escrito en base 10 y deseamos saber si es múltiplo por ejemplo de 9 no necesitamos
Más detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesGuía para el estudiante
Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detalles10.4 Sistemas de ecuaciones lineales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
Más detallesLógica Proposicional
Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas
Más detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas
Más detallesAsignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional
Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)
Más detallesOperaciones con conjuntos (ejercicios)
Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia:
Más detallesBenemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
Más detallesLÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes.
LÓGICA DE PROPOSICIONES 1. Cuál de las siguientes oraciones es una proposición lógica? a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. La opción a) no es una proposición
Más detallesCURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES
LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición
Más detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesTaller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid
Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesEXPRESIONES ALGEBRAICAS EXPRESIONES ALGEBRAICAS Y POLINOMIOS
EXPRESIONES ALGEBRAICAS Trabajar en álgebra consiste en manejar relaciones numéricas en las que una o más cantidades son desconocidas. Estas cantidades se llaman VARIABLES, INCÓGNITAS o INDETERMINADAS
Más detallesAlgunos ejemplos de conjuntos pueden ser los siguientes:
1. CONJUNTOS Y PRODUCTO CRTESINO. OBJETIVOS: 1) Establecer los conceptos básicos y las distintas notaciones para conjuntos. 2) Descripción de conjuntos en distintas formas: Lista, expresión verbal, expresión
Más detallesMatemáticas Discretas, Lógica: Predicados y Cuantificadores
Matemáticas Discretas, Lógica: Predicados y Cuantificadores Prof. Víctor Bravo 1 1 Universidad de los Andes A-2008 Licencia de Uso Copyright (c), 2007. 2008, ULA. Permission is granted to copy, distribute
Más detallesMATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.
MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesCIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE
Lógica FE IRUITOS LÓGIOS 1. LGER DE OOLE 1.1 Introducción Tanto la teoría de conjuntos como la lógica de enunciados tienen propiedades similares. Tales propiedades se utilizan para definir una estructura
Más detallesIntroducción. El uso de los símbolos en matemáticas.
Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre
Más detallesINSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883
. PROPOSICIONES PROPOSICIÓN: Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa. Por esta razón, las oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas
Más detallesRazonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F
2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni
Más detallesSESIÓN 04 LÓGICA PROPOSICIONAL
SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES
Más detallesNo ~ Si entonces Sí y sólo si
Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
Más detallesCapítulo 1 Lógica y Conjuntos
Capítulo Lógica y Conjuntos Introducción Todos estamos familiarizados con la idea de que algunas personas poseen una mentalidad lógica mientras que otras no. No siempre resulta sencillo seguir razonamientos
Más detallesTeoría de Números. Divisibilidad. Olimpiada de Matemáticas en Tamaulipas
Teoría de Números Divisibilidad Olimpiada de Matemáticas en Tamaulipas 1. Introducción Divisibilidad es una herramienta de la aritmética que nos permite conocer un poco más la naturaleza de un número,
Más detallesESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I
ESCUELA MILITAR DE INGENIERÍA Elaborado por: Lic. Bismar Choque Nina MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I A pesar de que la refutación por ejemplo del contrario es un procedimiento válido, los teoremas
Más detalles3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:
MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales
Más detallesIntroducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos
Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente
Más detallesInterpretación y Argumentación Jurídica
Interpretación y Argumentación Jurídica INTERPRETACIÓN Y ARGUMENTACIÓN JURÍDICA 1 Sesión No. 10 Nombre: La Argumentación Jurídica Contextualización Como ya se ha visto, un argumento es una afirmación que
Más detalles3.5. Breve introducción a la lógica de predicados. Una vez más, comencemos con un ejemplo:
3.5. Breve introducción a la lógica de predicados Una vez más, comencemos con un ejemplo: Todo hombre es un ser racional Todo ser racional tiene dudas Todo hombre tiene dudas Este argumento es claramente
Más detallesTema 2: Teorema de estructura de los grupos abelianos finitamente generados.
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con
Más detallesTEMAS DE MATEMÁTICAS (Oposiciones de Secundaria)
TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMA 70 LÓGICA PROPOSICIONAL. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO. 1. Introducción. 2. El Lenguaje para la Lógica de Proposiciones. 2.1.
Más detallesGUION TÉCNICO AUDIO. Propiedades de Campo y Orden de los Números Reales (1). estructurados, y ello les obliga a "funcionar" o a
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. Propiedades de Campo y Orden de los Números Reales (1). Los números son elementos que forman parte de conjuntos
Más detallesEn general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
Más detallesMULTIPLICACIÓN DE NÚMEROS NATURALES
MULTIPLICACIÓN DE NÚMEROS NATURALES La solución de una adición donde los sumandos son iguales, es decir, que se repiten, se puede obtener de una forma directa y sencilla. Por ejemplo: Al calcular la cantidad
Más detallesNegación Conjunción Dis junción. P -ip P Q P & Q P Q P V Q C F C C C C C C F C C F F C F C F C F F C C F F F F F F P Q P Q
APITULO 4 TABLAS DE ERTEZA 4.1 Tablas de certeza Un método en general más conveniente que el diagrama para analizar los valores de certeza de proposiciones, es el de poner todas las posabilidades de certeza
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios
MATEMÁTICAS DISCRETAS UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios 2.1 CIRCUITOS COMBINATORIOS Inicie dando lectura a la subunidad 11.1, deténgase en el ejemplo 11.1.4, compare las tablas de los
Más detallesUNIDAD III NÚMEROS FRACCIONARIOS
UNIDAD III NÚMEROS FRACCIONARIOS COMPETENCIAS E INDICADORES DE DESEMPEÑO Identifica los números fraccionarios y realiza operaciones con ellos. Identifica los porcentajes, decimales y fraccionarios y realiza
Más detallesCurso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS
Curso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS Contenidos del Curso Introducción a la I.A. Cómo razonamos?. Algunas experiencias con el razonamiento automático El problema de representación
Más detallesTEMA 1. Números Reales. Teoría. Matemáticas
1 1.- Los números reales Cuáles son los números reales? Los números reales son todos los números racionales y todos los números irracionales. El conjunto de los números reales se designa con el símbolo
Más detallesCONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES?
CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES? Ángel Tolaba En esta ponencia trataremos de sugerir una dirección analógica entre el tratamiento que se suele hacer de los razonamientos formales
Más detallesParte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos
Parte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos Material preparado por: Prof. Ana María Tosetti Revisado y complementado por: Ing. Freddy Rabín Catedrático
Más detallesMatrices Invertibles y Elementos de Álgebra Matricial
Matrices Invertibles y Elementos de Álgebra Matricial Departamento de Matemáticas, CSI/ITESM 20 de agosto de 2008 Índice 121 Introducción 1 122 Transpuesta 1 123 Propiedades de la transpuesta 2 124 Matrices
Más detallesPrácticas para Resolver PROBLEMAS MATEMÁTICOS
Prácticas para Resolver PROBLEMAS MATEMÁTICOS 1 Prólogo El presente manual está dirigido a los estudiantes de las facultades de físico matemáticas de las Escuelas Normales Superiores que estudian la especialidad
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesMatemáticas Discretas. Oscar Bedoya
Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos
Más detallesL OGICA Proposiciones
CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor
Más detallesEspacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1
Espacios Vectoriales 201 6Asturias: Red de Universidades Virtuales Iberoamericanas 1 Índice 1 Espacios Vectoriales... 4 1.1 Definición de espacio vectorial... 4 1.2 Definición de subespacio vectorial...
Más detallesNÚMEROS COMPLEJOS. Capítulo Operaciones con números complejos
Capítulo 1 NÚMEROS COMPLEJOS Observe que la ecuación x 2 + 1 0 no tiene solución en los números reales porque tendríamos que encontrar un número cuyo cuadrado fuera 1, es decir x 2 1 o, lo que viene a
Más detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesÍndice general. I Introducción a la Lógica 3
Índice general I Introducción a la Lógica 3 1 Demostraciones 5 1.1. Argumentos rodeados de agua....................... 5 1.1.1. Argumentando........................... 6 1.1.2. Formalizando el argumento....................
Más detallesINTRODUCCION AL ALGEBRA.
INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad
Más detallesNotas de Álgebra y Matemática Discreta
Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática
Más detallesOperaciones elementales
Operaciones elementales Objetivos Conocer y justificar operaciones elementales con ecuaciones de un sistema de ecuaciones lineales, conocer su forma matricial (operaciones elementales con renglones de
Más detalles