4.2. Procedimiento para elaborar tablas de verdad
|
|
- Lorenzo Muñoz Marín
- hace 6 años
- Vistas:
Transcripción
1 4.1. Qué es una tabla de verdad? Usamos tablas de verdad, en el apartado 2.1 de la unidad II, para determinar el valor de verdad de una proposición compuesta. En este apartado explicaremos más detenidamente qué son las tablas de verdad, cómo elaborarlas y emplearlas para evaluar la validez de un argumento. función de verdad. Tabla de verdad Es un que permite determinar los posibles valores de verdad de una proposición compuesta, a partir de las combinaciones de los valores de verdad de sus proposiciones simples componentes Procedimiento para elaborar tablas de verdad columnas se anotan las literales que corresponden a las proposiciones simples y la proposición compuesta a resolver. En los renglones la combinación de posibles valores de verdad (verdadero o falso).
2 Veamos ahora los pasos que se siguen para construir una tabla de verdad. Hacer tantas columnas como proposiciones simples se tengan y tantos renglones como combinaciones de valores de verdad correspondan según la fórmula 2 n, en donde n= número de proposiciones. Por ejemplo: Tabla para una sola proposición. 2 1 = 2 combinaciones Ejemplo: p 1 2 p Tabla para dos proposiciones 2 2 = 4 combinaciones. Ejemplo: p q; p p q Tabla para tres proposiciones. 2 3 = 8 combinaciones. Ejemplo: (p q) s p q r Una tabla de verdad para cuatro proposiciones, sería 2 4 = 16 combinaciones, y una de cinco proposiciones, sería de 2 5 = 32 combinaciones.
3 Anotar los posibles valores de verdad de las proposiciones simples empezando por la última columna, anotando alternadamente primero un valor verdadero (V) y luego otro falso (F). En la siguiente columna, a la izquierda, de la anotada, se duplica la escritura de cada valor de manera alternada y así sucesivamente, si existen más columnas a la izquierda, hasta llenar la tabla. Por ejemplo: Combinaciones para una tabla de una sóla proposición. p 1 V 2 F Combinaciones para una tabla de dos proposiciones. p q 1 V 2 F 3 V 4 F p q 1 V V 2 V F 3 F V 4 F F Combinaciones para una tabla de tres proposiciones. p q r V F V F V F V F p q r V V V F F V F F V V V F F V F F p q r V V V V V F V F V V F F F V V F V F F F V F F
4 Resolución de la tabla de verdad. Antes de empezar a resolver, la proposición compuesta deberá estar bien formada, distinguiendo la conectiva principal del resto de conectivas. La conectiva principal une a dos partes como un todo, pero, estas partes a su vez, pueden tener también partes simples o compuestas. Se empieza a calcular el valor de verdad de las partes, porque el todo depende de las partes. El orden de resolución de los valores de las conectivas. - tivos símbolos. 2º. Se calculan los valores de verdad de las proposiciones compuestas: primero lo que está entre paréntesis, posteriormente lo que está entre corchetes, luego las llaves fuera o de la parte al todo. Veamos un ejemplo que muestre paso por paso cómo se determinan los valores de verdad de una proposición compuesta, sea: (p Determinar columnas y renglones según el número de variables, tres en este caso (p, q y r), y el número de renglones según la fórmula 2 n = 2 3 = 2 x 2 x 2 = 8 p q r( p q) r 1 V V V 2 V V F 3 V F V 4 V F F 5 F V V 6 F V F 7 F F V 8 F F F
5 Empezar a resolver los valores de las proposiciones compuestas. 1º. Transferir los valores de verdad a sus respectivas variables. p q r( p q) r V V V V V V V V F V V F V F V V F V V F F V F F F V V F V V F V F F V F F F V F F V F F F F F F º. Calcular los valores de verdad de las conectivas de las proposiciones compuestas que están unidas por paréntesis y anotarlos debajo del símbolo de la conectiva. En este caso, la conectiva de la columna cinco, usaremos (C5) en lo sucesivo para abreviar, que se determina aplicando la tabla de verdad de la a los valores de verdad de (C4) y (C6). p q r( p q) r V V V V V V V V V F V F V F V F V V V F V V F F V V F F F V V F V V V F V F F V V F F F V F V F V F F F F V F F y 6 2 3
6 3º. Determinar el valor de verdad de la, y anotarlos debajo del símbolo de la conectiva. En este caso la (C7) es resultado de aplicar la tabla de verdad de la a (C5) y (C8). p q r( p q) r V V V V V V V V V V F V V V F F V F V V F F V V V F F V F F V F F V V F F V V V F V F F F V V F F F V F F F V V F F F F F F V F y y 8 3 Otra forma de calcular los valores de las conectivas y de ahorrarnos un paso es no trasportar los valores de las variables simples y calcularlos directamente a partir de las proposiciones simples. Analicemos un ejemplo que tome en cuenta este procedimiento, sea: [p p. Determinar columnas y renglones según el número de variables, tres en este caso (p, q y r), y el número de renglones según la fórmula 2 n = 2 3 = 2 x 2 x 2 = 8 p q r [ p (q r)] p 1 V V V 2 V V F 3 V F V 4 V F F 5 F V V 6 F V F 7 F F V 8 F F F
7 Empezar a resolver los valores de las proposiciones compuestas. 1º. Determinar los valores de verdad de las conectivas de las proposiciones compuestas, que están unidas por, en este caso, la condicional (C7), cuyos valores se obtienen al aplicar la tabla de verdad de la condicional a (C2) y (C3). p q r [ p (q r)] p V V V V V V F F V F V V V F F V F V V V F V F F F F V V F F F V y 3 2º. Determinar los valores de verdad de las conectivas de las proposiciones compuestas, que están unidas por, en este caso, la conjunción (C5), cuyos valores se obtienen al aplicar la tabla de verdad de la conjunción a la (C4) y a (C7). p q r [ p (q r)] p V V V V V V V V F V F F V F V V V V V F F V V V F V V F F F F V F F F F F F V F F V F F F F F V y 7 2 y 3
8 3º. Por último, se determina el valor de verdad de la, en este caso, la (C9), la cual resulta de aplicar la tabla de de verdad la conjunción a los valores de la (C5) y los de (C10). p q r [ p (q r)] p V V V V V V V V V V F V F F V V V F V V V V V V V F F V V V V V F V V F F V F F F V F F F F F F F F V F F V F F F F F F F V F F y 7 1 y 2 5 y 10 1
9 Ejercicio 4.1. Actividades de aprendizaje Instrucciones: Practica la construcción de tablas de verdad con las siguientes proposiciones compuestas. Después responde lo que se te pregunta. 3. [(p q) p) (p p) 4. Qué valores de verdad obtuviste como resultado de la primera estructura? 5. Qué valores de verdad obtuviste como resultado de la segunda estructura? 6. Qué valores de verdad obtuviste como resultado de la tercera estructura?
10 4.3. Verdad formal: tautología y contradicción de una función de verdad. Una proposición compuesta es una, si la verdad del compuesto está determinada por el valor de verdad de las proposiciones simples que la integran y si su conectiva lógica es veritativo-funcional. Asimismo, la conectiva lógica es veritativofuncional si su expresión representa una función de verdad. Pero, qué tipo de verdad es la que determina una tabla de verdad? El concepto de verdad se utiliza en dos sentidos, el de verdad empírica y el de verdad formal. Recordemos que la lógica sólo toma en cuenta a las oraciones si éstas son expresión de un portador de verdad. Sin embargo, a la lógica no le corresponde investigar la verdad empírica de las proposiciones; esto le corresponde las ciencias. La de una proposición simple depende de su correspondencia con la experiencia y la fundamentación en los hechos o datos a que hace referencia. Las tablas no determinan el valor de verdad real de las proposiciones compuestas, de hecho, ni siquiera toman en cuenta valores de verdad empíricos, solamente los suponen y hacen un cálculo de las posibles situaciones de verdad o falsedad en que una proposición puede presentarse. Entonces, para qué aprender a hacer tablas de verdad? Las tablas de verdad son un método lógico que permite saber si una proposición compuesta es una verdad formal o verdad lógica. Esto será útil más adelante para determinar si la estructura de un argumento es válida, ya que la validez de un argumento depende de su forma lógica o de las relaciones entre premisas y conclusión. La verdad formal depende de la pura forma lógica o del modo en que se relacionan o refutar este tipo de verdades. El análisis de una proposición compuesta mediante una tabla de verdad, puede revelar si esa función de verdad, es una verdad formal o no lo es. Si es una verdad formal entonces es una verdad que se puede determinar por métodos lógicos, y si esto no es así, por métodos empíricos. Las proposiciones compuestas que son verdades formales o verdades lógicas son las tautologías y las contradicciones.
11 Una es una proposición compuesta que en la tabla de verdad resulta, sin importar cual sea el contenido o valor de verdad de sus proposiciones simples componentes. Una es una proposición compuesta que en la tabla de verdad resulta, sin importar cual sea el contenido o el valor de verdad de sus proposiciones simples. Veamos un ejemplo: Verdades formales Tautología p q p (p q) V V V V V V F V V V F V F V V F F F V F Característica esencial: Siempre es verdadera Contradicción p q(p q) ~p V V V F F V F F F F F V F F V F F F F V Característica esencial: Siempre es falsa. Cuando la tabla de verdad de una proposición compuesta resulta verdadera en unos casos y falsa en otros, decimos que el valor de verdad de la proposición compuesta es, y su valor de verdad dependerá de los valores de verdad reales que adopten las proposiciones simples componentes. Veamos un ejemplo: p q p ~q V V V F F V F V V V F V F V F F F F F V
12 Actividades de aprendizaje Ejercicio 4.2. Instrucciones: Utilizando las tablas de verdad, determina cuáles de las siguientes proposiciones son tautológicas, contradictorias o contingentes. Proposiciones compuestas 1. [(p 2. p p 3. (p p) p) (p p) 6. ( p Ejercicio 4.3. Instrucciones: Utilizando las tablas de verdad, determina cuáles de las siguientes proposiciones son tautologías. Proposiciones compuestas 1. (p p) 2. (p p) 3. [ (p q) (q r)] 4. [ (p q) (q r)] 5. [(p (q q) (p r)] 6. [(p (q q) (p r)] 7. (p p q) 8. (p p q) 9. [ (p (p q) p q) q p)
13 4.4 Evaluación de la validez de un argumento mediante tablas de verdad El método de elaboración de tablas de verdad, que aprendiste en el apartado anterior, es útil para determinar la validez de una argumento, si ésta depende de su forma lógica. Para determinar la validez de un argumento mediante tablas de verdad, se requiere previamente convertir el argumento en una proposición condicional y, posteriormente, aplicar a la fórmula resultante una tabla de verdad. Al procedimiento o método por medio del cual pasamos de una estructura argumental a una proposición condicional se llama. Cómo establecer el condicional asociado de un argumento? A todo argumento es posible asociarle un condicional si consideramos la conjunción de sus premisas como antecedente y a la conclusión como su consecuente. El argumento será válido si el condicional que le asociemos es una tautología, y será inválido si resulta ser una contradicción, y es indeterminado si es contingente. Pasos para demostrar la validez o invalidez de argumentos: 1. Simbolizar el argumento, distinguiendo las premisas de la conclusión. 2. Establecer el condicional asociado del argumento, para ello: Unir las premisas con la conectiva conjunción, y considerar esa conjunción como antecedente y la conclusión como consecuente. 3. Realizar la tabla de verdad, resolviendo, en primer término, la parte del antece- 4. Si el resultado de la tabla de verdad es tautología, el argumento es válido. Si es contradictorio es inválido y si es contingente es indeterminado. Desarrollaremos un ejemplo: 1. Si estoy atento en clases, entonces entiendo o resuelvo los problemas. 2. Ni entiendo ni resuelvo los problemas. Por lo tanto, no estoy atento en clases.
14 Paso 1 A= Estoy atento en clases. E= Entiendo los problemas. R= Resuelvo los problemas. Paso 2 Simbolizar premisas y conclusión Forma lógica P1 P2 C Si estoy atento en clases, entonces entiendo o resuelvo los problemas. Si A entonces E o R Ni entiendo ni resuelvo los problemas. 2. ~ E ~ R Ni E y ni R ~E ~R No estoy atento en clases. No A ~ A La forma lógica resultante del argumento es la siguiente: R R ) ~ A R ) 2. ~E R R) Para pasar de una estructura argumental a la de una condicional aplicamos el método del : Premisa Conclusión a
15 Las premisas serán el antecedente del condicional, por lo cual primeramente, las premisas se unen por una conjunción y, evidentemente, debemos usas corchetes para agrupar. [ Premisa 1 conjunción Premisa 2 ] R) ~E R R)] [~E R] La conclusión será el consecuente por lo cual debemos poner primero las premisas, las proposiciones y separar las premisas de la conclusión por medio de un corchete { }. Nos queda así: { [ Premisa 1 conjunción Premisa 2 ] } condicional conclusión R) E R A )] [ E R] } A R ) ] ( ~E Ahora, para saber si el argumento es válido hacemos una tabla de verdad. Si la tabla resulta ser una tautología, es decir, si en los valores de verdad de la conectiva principal son todos verdaderos, entonces el argumento se considera válido. A E R {[ A ( E R) ] ( E R)} A V V V V V V V V F F V F F V V F V V V F V V V V F F F V F V F V F V V F V V V F V V F V F F F V V F V V F F V F F F F F V F V V F V F V F V V F V V V V F F V F F V V V F F V F F V V F F F F V F V F V V F F F V F V F V V F V F F F V V V F F F F F V F F F F V F V V F V V F y y y y y Resultado Tabla de verdad Tautológica Argumento Válido
16 Ejercicio 4.5. Instrucciones: Analiza y demuestra la validez de los argumentos siguientes: Argumento 1 Actividades de aprendizaje 1. Si el papel tornasol se vuelve rojo, entonces la solución es un óxido. Luego, si el papel se vuelve rojo, entonces o la solución es un óxido o hay algo que anda mal. Forma lógica del Argumento: Condicional asociado: Tabla de verdad: Tabla de verdad: Argumento:
17 Argumento 2 1. Si cumplen las demandas de los terroristas, entonces será vulnerable la legalidad. 2. Si las demandas de los terroristas no se cumplen, entonces serán asesinadas personas inocentes. Así, o bien se vulnera la legalidad o serán asesinadas personas inocentes. Forma lógica del Argumento: Condicional asociado: Tabla de verdad: Tabla de verdad: Tautología Argumento: Válido.
18 Argumento 3 1. Si las leyes son Buenas y su cumplimiento es Estricto, disminuirá el Delito. 2. Si el cumplimiento de la ley es estricto, entonces hace disminuir el delito, luego, nuestro Problema es de carácter práctico. 3. Las leyes son buenas. Entonces, nuestro problema es de carácter práctico. Forma lógica del Argumento: Condicional asociado: Tabla de verdad: Tabla de verdad: Contingente. Argumento: Inválido.
19 Argumento 4 1. Si no estudio lógica, entonces no apruebo el examen. 2. Si estudio lógica, entonces aprendo. En consecuencia: Si estudio lógica, entonces aprendo y apruebo el examen. Forma lógica del Argumento: Condicional asociado: Tabla de verdad: Tabla de verdad: Contingente. Argumento: No valido.
20 Ejercicio 4.4. Actividades de aprendizaje Instrucciones: Pasa estas formas argumentales a la forma del condicional asociado y haz una tabla de verdad para determinar si son válidos (tautologías). Demostración de la validez de estructuras argumentativas 1. Estructuras argumentativas Condicional asociado Es válido? 2. p q p p q 2. p p q 2. q 5.
21 6. 1. p 2. q q p q p q p q p r 11. s 3. q s p r
22 Actividades de aprendizaje Argumento 1 1. Si las personas son totalmente racionales, entonces, o bien todos los actos humanos se pueden predecir con seguridad o el universo es esencialmente determinista. 2. No todas las acciones de las personas se pueden predecir con seguridad. Por lo tanto, el universo no es esencialmente determinista o las personas no son totalmente racionales. Forma lógica del Argumento: Condicional asociado: Tabla de verdad: Tabla de verdad: Argumento:
23 Argumento 2 1. Si se logra la igualdad de oportunidades, entonces las personas que antes tenían desventajas recibirán oportunidades especiales. 2. Si esas personas reciben oportunidades especiales, entonces tendrán un trato preferencial. 3. Si algunas personas reciben un trato preferencial, entonces no se logrará la igualdad de oportunidades. Por lo tanto, la igualdad de oportunidades no se logrará. Forma lógica del Argumento: Condicional asociado: Tabla de verdad: Tabla de verdad: Argumento:
TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación
TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de
Más detallesLa Lógica Proposicional
La Lógica Proposicional 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera o falsa. Las proposiciones
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 detallesLógica proposicional 6. La semántica veritativo-funcional
Lógica proposicional 6. La semántica veritativo-funcional (Parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 6.1. Noción de interpretación y reglas de valoración. Tablas de verdad 6.2. Consecuencia
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
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 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 detallesp q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones
MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la
Más detallesFundamentos básicos de matemáticas: Lógica Proposicional
Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica
Más detallesEJERCICIOS RESUELTOS 6
LÓGICA I EJERCICIOS RESUELTOS 6 TEMA 6 SEMÁNTICA: TABLAS DE ERDAD Y RESOLUCIÓN ERITATIO-UNCIONAL EJERCICIO 6.01 Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible: ( p q) p q ( p q)
Más detalles2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
Más detallesLA ARGUMENTACIÓN: Argumentos deductivos y Lógica
LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,
Más detallesInferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011
Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia
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 detallesSimbolización de Proposiciones
Simbolización de Proposiciones Apuntes de lógica II A la lógica le interesa analizar la forma o estructura de los razonamientos. En ella puede detectarse la presencia o ausencia de la relación de consecuencia
Más detallesCAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.
CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. Para evitar confusiones, consideraremos tres momentos de la lógica bien diferenciados: 1º el de la Lógica No-Matemática, que abarca desde Aristóteles (384 322 a.c.),
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 detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
Más detalles- AnallogicA - Software para crear tablas de verdad
- AnallogicA - Software para crear tablas de verdad Henry Suarez skilltik@gmail.com Año 2010 Proyecto de POO de la carrera de Ingeniería en Informática de la Universidad Nacional del Litoral. Módulos del
Más detallesLó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 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 detallesLógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición
Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
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 detallesLógica proposicional 2. El lenguaje formal
Lógica proposicional 2. El lenguaje formal Juan Carlos León Universidad de Murcia Esquema del tema 2.1. Operadores y letras proposicionales 2.2. Uso y mención. Lenguaje objeto y metalenguaje 1 Lógica proposicional
Más detallesPALABRA CLAVE Interpretación lógica
Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos
Más detallesLógica Proposicional: Semántica
LÓGICA - 1º Grado en Ingeniería Informática Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional: Semántica Andrei Paun apaun@fi.upm.es http://web3.fi.upm.es/aulavirtual/ Despacho
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesUNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106
UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO
Más detallesTaller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.
FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2
LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,
Más detallesLógica I (curso ) - 23 de enero de 2006 (modelo de respuestas)
Lógica I (curso 2005-06) - 23 de enero de 2006 (modelo de respuestas) 1. Definir un sistema formal... Para definir un sistema formal hay que especificar su lenguaje y su mecanismo deductivo. Llamemos H
Más detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Más detallesDEL CONTRAEJEMPLO MATEMÁTICAS-I GRADO EN INGENIERÍA MULTIMEDIA
EJERCICIOS PROPUESTOS ESTUDIO DE LA VALIDEZ DE RAZONAMIENTOS CON LÓGICA DE PRIMER ORDEN USANDO TABLAS DE VERDAD Y MÉTODO DEL CONTRAEJEMPLO MATEMÁTICAS-I. 2011-12 GRADO EN INGENIERÍA MULTIMEDIA Colección
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
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 detallesLÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares
LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas
Más detallesMódulo 8 Implicación. Equivalencia Lógica
Módulo 8 Implicación. Equivalencia Lógica OBJETIO: Identificará la suposición o hipótesis de la implicación y su conclusión, expresará en diferentes formas una implicación; e identificará las proposiciones
Más detallesAnálisis lógico Cálculo de proposiciones
Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
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 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 detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesUn enunciado es toda frase u oración que se emite
OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de
Más detallesAlgoritmos y Estructura de Datos I
Clase práctica de Especificación - Lógica proposicional Viernes 20 de Marzo de 2015 Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza
Más detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más detallesEl lenguaje formal de la Lógica Qué es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, está formado por los siguientes elementos básicos: Unos signos primitivos del lenguaje,
Más detallesAlgoritmos y Estructura de Datos I
Clase práctica de Especificación - Lógica proposicional Viernes 23 de Marzo de 2012 Menú del día Introducción a la Lógica proposicional Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias
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 detallesLógica I modelo de examen (curso ) Ejemplo de respuestas
Lógica I modelo de examen (curso 2007-08) Ejemplo de respuestas 1. Definiciones: - Grado de una fórmula es el número total de conectivas (iguales o distintas) que contiene. - Función de verdad es una función
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 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 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 detalles1. Ejercicios propuestos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2015 Semana 1: Guía de Ejercicios de Complemento, lunes 9 viernes 13 de Marzo Contenidos Clase 1: Elementos de lógica: conectivos, tablas de verdad,
Más detallesGuía de Ejercicios: Lógica y Teoría de Conjuntos
Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.
Más detallesLEYES, ESTRUCTURAS BÁSICAS Y COCIENTES LÓGICA DE PROPOSICIONES
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
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 detallesLógica Matemática. Tema: Los conectores lógicos y sus símbolos
Lógica Matemática Tema: Los conectores lógicos y sus símbolos Los conectores lógicos y sus símbolos Además de simbolizar las proposiciones, también se pueden emplear símbolos para los mismos conectores
Más detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
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 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 detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
Más detallesLÓGICA. LENGUAJE ARTIFICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz.
LÓGICA LENGUAJE ARTIICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz. En líneas generales puede decirse que todas las ciencias, en especial las ciencias
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 detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesINSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA
INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1 6 EBRERO
Más detallesTema 6. Métodos de decisión
Lógica I (curso 2007-08) Prof. Paloma Pérez-Ilzarbe Tema 6. Métodos de decisión Objetivos: - Comprender las nociones de "decidibilidad" y "método de decisión", y comprender el interés de que la lógica
Más detallesTEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO
TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que
Más detalles2. Ecuaciones de primer grado: (sencillas, con paréntesis, con denominadores).
Bloque 3. ECUACIONES Y SISTEMAS (En el libro Temas 4 y 5, páginas 63 y 81) 1. Ecuaciones: Definiciones. Reglas de equivalencia. 2. Ecuaciones de primer grado: (sencillas, con paréntesis, con denominadores).
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesLógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT UT1: Lenguaje Formal (Sintaxis y Semántica)»Cada lógica da lugar a un lenguaje para realizar declaraciones acerca de los objetos
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 detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detallesTablas de Verdad L Ó G I C A P R O P O S I C I O N A L
Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:
Más detallesFilosofía de la ciencia: inducción y deducción. Metodología I. Los clásicos Prof. Lorena Umaña
Filosofía de la ciencia: inducción y deducción Metodología I. Los clásicos Prof. Lorena Umaña Filosofía de la ciencia: noción de argumento La filosofía de la ciencia debe considerarse como una de las corrientes
Más detallesLógica proposicional 1. Qué es la lógica?
Lógica proposicional 1. Qué es la lógica? Juan Carlos León Universidad de Murcia Esquema del tema 1 Lógica proposicional 1. Qué es la lógica? 1.1. Argumentos y consecuencias. Verdad y validez lógica Lo
Más detallesEjercitación modelo. Lógica
Ejercitación modelo Lógica TRABAJO PRÁCTICO N º 1 a. Simbolice los siguientes enunciados indicando con qué letra representa cada enunciado simple (atómico) 1. Uno u otro de los directivos estará presente
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 detallesa. no (si A entonces B)
Una tabla de verdad es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. Las tablas de verdad son
Más detallesLÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3
LÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3 LÓGICA Los seres humanos constantemente realizamos deducciones. Esto quiere decir que obtenemos
Más detallesCapítulo 8 Sistemas completos de contectivos
Capítulo 8 Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjunto de n proposiciones ordenadas. Mostramos que
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 Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático
Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...
Más detallesCLAVE DE EXAMEN Matemática para computación 1 código de curso: 960
universidad de san carlos Facultad de Ingeniería Escuela de Ciencias Departamento de Matemática clave-960-1-m-2-00-2012 CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960 Datos de la clave
Más detallesGUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES
CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO AÑO: 2005 GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES La lógica es una ciencia formal, o sea,
Más detallesLógica Proposicional. Introducción
Lógica 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 las denominadas frases
Más detallesPropiedades más importantes de los logaritmos: El logaritmo de una multiplicación es igual el logaritmo de la suma. log =log +log
Para empezar a tratar el tema de los logaritmos tenemos que tener en muy en cuenta, la definición de logaritmo, así como las tres propiedades más importantes de los logaritmos. Definición de logaritmo:
Más detallesPRIMERA UNIDAD II SEMESTRE FILOSOFIA
PRIMERA UNIDAD II SEMESTRE ILOSOIA Lógica Matemática y Lógica de predicados. Objetivo: Comprender la función de la lógica matemática en la reflexión y el análisis de la realidad. Objetivo especifico :
Más detallesRazonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica
Razonamiento Automático II.1 Representación en Lógica de Predicados Razonamiento en IA se refiere a razonamiento deductivo n Nuevos hechos son deducidos lógicamente a partir de otros. Elementos: n Representación
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 detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Más detallesCapítulo 2: Elementos de lógica proposicional
Capítulo 2: Elementos de lógica proposicional por G 3 Agosto 2014 Resumen Describimos el uso de tablas de verdad, así como las definiciones de los principales conectivos lógicos:,,,, y. Nos extendemos
Más detallesSolución Primer Parcial Matemática
Solución Primer Parcial Matemática 1-01 1 Dados los puntos P 1 (5, 4) y P (, 4) hallar: (a) Ecuación, elementos y gráfico de la parábola con vértice en P 1 y foco en P. El eje de la parábola es paralelo
Más detallesLógica Matemática. M.C. Mireya Tovar Vidal
Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos
Más detallesPragmática es el estudio de la relación entre los signos y los sujetos que los emplean.
Lógica Sólo en el caso de enunciar hechos o situaciones, las afirmaciones pueden ser calificadas de verdaderas o falsas, sólo en este caso el lenguaje tiene un determinado valor de verdad. Se le puede
Más detalles