FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES

Tamaño: px
Comenzar la demostración a partir de la página:

Download "FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES"

Transcripción

1 FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES 1.1. Conectivos Lógicos Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectivos básicos son: CONECTIVO SÍMBOLO NOMBRE DE LA PROPOSICIÓN No ~ Negación Y ^ Conjunción O Disyuntiva inclusiva o... o... Δ Disyuntiva exclusiva Si entonces... Condicional si y sólo si Bicondicional A. Negación (~): Es un conectivo singular. Se denomina proposición negativa aquella que cambia el valor de la proposición original. Se denota por: ~p, -p, p y se lee: no p. La negación, puede traducirse como: No es cierto que... Nadie que sea... Jamás... Es falso que... No es el caso que... Es inconcebible que... Nunca... No es verdad que Es imposible que... No ocurre que... Es absurdo que Es erróneo que... Es mentira que... No acaece que... De ningún modo No es el caso que Es inadmisible que Es incierto que Es refutable que Es falaz que En modo alguno Ejemplo: p: INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la Protección de la Propiedad Intelectual. ~p: Es falso que INDECOPI sea el Instituto Nacional de Defensa de la Competencia y de la Protección de la Propiedad Intelectual. Su tabla de verdad es como sigue: p ~p V F F V B. Conjunción: Dadas las proposiciones p, q. La conjunción es el resultado de unir estas proposiciones con el conectivo lógico y. Se denota con el símbolo:, &, se escribe p q, p & q y se lee: p y q. La proposición conjuntiva es verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje podemos emplear: Pero Aun cuando No obstante Sin embargo Al igual que Aunque Además Tanto. como. Más aún A la vez Siempre ambos. con.. También Incluso No sólo.sino también. Es compatible con Así como A pesar de Así mismo Del mismo modo.con. los dos a la vez De la misma forma que 1 Ejemplo:

2 Consideremos las siguientes proposiciones: p: Roxana estudia q: Roxana escucha música De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Roxana estudia al mismo tiempo que escucha música Su tabla de verdad es como sigue: p q p q V F F F V F F F F C. Disyunción: Es una proposición compuesta formada por p y por q relacionadas por el conectivo lógico o. Según el sentido del conectivo o, se puede interpretar de dos maneras: inclusiva o exclusiva. Disyunción Inclusiva o Débil: Se denota por p q, p + q y se lee: p o q. La disyunción inclusiva es falsa sólo en el caso que ambas proporciones sean falsas. Se conoce como la suma lógica. Otras formas de conexión que nos indican una disyunción inclusiva son: A menos que Excepto que Salvo que A no ser que Y bien o también O sino O en todo caso O también O incluso O bien Al menos uno de los dos. o. Alternativamente Ejemplo: Consideremos: p: Mañana estudiaremos Química q: Mañana estudiaremos Física De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Mañana estudiaremos Química o sino estudiaremos Física Su tabla de verdad es como sigue: p q p q V F V F V V F F F Disyunción Exclusiva o Fuerte: Se denota por: p Δ q, p v q, p q, p / q, p q y se lee: p o q pero no ambos. La disyunción exclusiva es verdadera sólo cuando una de las proposiciones es verdadera. Algunas formas de conectivos a emplear son: O... o no equivale a... O bien... o bien... No es cierto que...equivale a... No es equivalente... con... O solo... o solo......a menos que solamente......salvo que únicamente......excepto que sólo......o bien necesariamente......o exclusivamente......no es idéntico a......no es lo mismo que... Salvo que... o... 2 p q p Δ q

3 Ejemplo: Consideremos: p: Este año viajaré al extranjero q: Viajo a Lima De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p Δ q: Este año viajaré al extranjero salvo que únicamente viaje a Lima Por lo tanto su tabla de verdad es: V V F V F V F V V F F F D. Condicional: Proposición compuesta que resulta de la combinación de dos proposiciones simples, a través del conectivo: Si..., entonces... y su símbolo es :,. La notación p q, p q se lee Si p, entonces q. La proposición p se llama antecedente o hipótesis y la proposición q se llama consecuente o conclusión. La manera de expresar la condicional en el orden antecedenteconsecuente ( p q Implicación directa), son las siguientes: Si p, entonces q Siempre que p entonces q p es suficiente para q p implica q Ya que p bien se ve que q En cuanto p por tanto q p por tanto q p por consiguiente q p por ende q p por conclusión q Dado que p por eso q Porque p por eso q Puede también expresarse en el orden consecuente-antecedente ( q p ) Implicación inversa. q si p q es implicada para p q de modo que p q siempre que p q cada vez que p q puesto que p q es necesario para p q en vista que p q porque p Sólo si p, q Sólo cuando p, q Solamente porque p, q q dado que p q ya que p q cada vez que p q a condición de que p q dado que p q se concluye de p q supone que p q sigue de p Únicamente si p, q Ejemplo: consideremos: p: La producción es buena q: Habrá mayor rentabilidad en la empresa De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Si la producción es buena, habrá mayor rentabilidad en la empresa q p: Habrá mayor rentabilidad en la empresa siempre que la producción sea buena Su tabla de verdad queda de la siguiente manera: p q p q V F F F V V F F V 3

4 E.- Bicondicional: Cuando dos proposiciones están unidas por el conectivo lógico...si y sólo si..., cuyo símbolo es:,,. La proposición compuesta se denota por: p q, p q, p q y se lee: p sí y sólo si q. La proposición bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. También se suele emplear expresiones como: siempre y cuando es equivalente a es lo mismo que cuando y sólo cuando Si y sólo si p, q siempre que y sólo cuando es idéntico a Es suficiente para que suficiente sea Es condición necesaria y suficiente para por lo cual y según lo cual cada vez que y sólo si si de la forma implica y está implicado por Siempre que y siempre que Ejemplo: Consideremos: p: El que yo te sonría q: Yo te enamore De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: El que yo te sonría es lo mismo que yo te enamore. Su tabla de verdad queda de la siguiente manera: p q p q V F F F V F F F V 1.2. Notación Proposicional En lógica nos interesa saber cómo están combinadas las proposiciones, y no nos interesa en absoluto su significado. Por ello necesitamos unos símbolos que prescindiendo del significado de las proposiciones nos indiquen la forma en que se combinan. Estos símbolos constituyen un lenguaje formal. Las proposiciones atómicas pueden ser sustituidas por letras minúsculas p, q, r, etc., denominadas variables proposicionales. La operación consiste en sustituir las expresiones del lenguaje natural por símbolos lógicos, a la cual llamaremos formalización y la proposición debidamente formalizada la llamaremos fórmula. 4 Ejemplos: 1. Mario Vargas Llosa obtuvo el Premio Nobel de Literatura Fórmula será simplemente: p 2. Democracia significa un modo de vida en el que la libertad y la justicia están presentes. p = Democracia significa un modo de vida en el que la libertad está presente q = Democracia significa un modo de vida en el que la justicia está presente Fórmula: p q 3. O está lloviendo y garuando, o está soplando el viento. p= Está lloviendo; q =Está garuando; r = Está soplando el viento Fórmula: (p q) Δ r 4. Si Pablo se queda, entonces Luis se va. p= Pablo se queda; q= Luis se va Fórmula: p q 5. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad. p = cientos de vidas pueden salvarse cada año; q= La gente utiliza el cinturón de seguridad

5 5 Fórmula: q p 6. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos espaciales no pueden alunizar en ella. p= La luna está hecha de queso verde; q= Los vehículos espaciales pueden alunizar en la luna Fórmula: (p q) 7. Si los verdaderos amigos tienen todo en común, entonces tú no puedes ser más rico que tu compañero si dices que son verdaderos amigos. p= Los verdaderos amigos tienen todo en común q= Puedes ser más rico que tu compañero r= Dices que tú y tu compañero son verdaderos amigos. Fórmula: p (r q) 8. Dos es un número primo porque sólo es divisible por sí mismo y por la unidad. p = 2 es un número primo q = 2 es divisible por sí mismo r = 2 es divisible por la unidad Fórmula: p (q r) 9. Decir que la suma de sucesiones positivas es una sucesión positiva y el producto de sucesiones positivas es una sucesión positiva equivale a decir que la suma y el producto de dos números reales positivos es un número real positivo. p = La suma de sucesiones positivas es una sucesión positiva q = El producto de sucesiones positivas es una sucesión positiva r = La suma de dos números reales positivos es un número real positivo s = El producto de dos números reales positivos es un número real positivo. Fórmula: (p q) (r s) 10. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente después de cada parto la sangre del recién nacido y, si ésta es Rh positivo, ha de administrarse a la parturienta el suero apropiado si se desea evitar complicaciones a otros hijos. p = El Rh de la futura madre es negativo. q = La sangre del recién nacido debe analizarse inmediatamente después de cada parto r = La sangre del recién nacido es Rh positivo s = Ha de administrarse a la parturienta el suero apropiado. t = Se desea evitar complicaciones a otros hijos. Fórmula: (p q) (r (t s)) 1.3. Valoración de las Proposiciones Para determinar la valoración de las proposiciones moleculares, es necesario tener en cuenta las tablas de verdad. Considere los siguientes ejemplos: a) Los virus son alternados no obstante son virulentos. Por tanto tienen una clasificación Tenemos las proposiciones: p: Los virus son alternados q: Los virus son virulentos r: Tienen una clasificación Se formaliza por: (p q) r Luego: como se puede observar el esquema molecular tiene 3 proposiciones simples, es decir que para este caso se tiene: 2 3 = 8 asignaciones posibles para los valores de verdad en total. La tabla de verdad para el esquema molecular, está dada por: p q r (p q) r

6 V V F V F F V F V F V V V F F F V F F V V F V V F V F F V F F F V F V V F F F F V F b) Siempre que se apruebe el crédito entonces compraré el departamento; sin embargo se aprueba el crédito. Por tanto compraré el departamento. Sean las proposiciones: p: Se aprueba el crédito q: Compraré el departamento Se formaliza por: [(p q) p] q La tabla de verdad para el esquema molecular, está dada por: p q [(p q) p] q V V F F F V V F F V V F F F V F V V F c) La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos recursos. Tenemos las proposiciones: p: La crisis mundial afecta a los países de bajos recursos económicos q: Los analistas en economía buscan soluciones p: La crisis mundial no afecta a los países de bajos recursos económicos Se formaliza por: (p q) p La tabla de verdad para el esquema molecular, está dada por: p q (p q) p F F V F F F F F V F F V F F F F V Como podemos apreciar las proposiciones, las expresamos en forma simbólica; a su vez que podemos encontrar sus valores de verdad. Con el fin de diferenciar los valores resultados de las expresiones, se definen los siguientes conceptos: A. Tautología: Una expresión es tautológica, cuando los valores de su conectivo principal resultan ser verdaderos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (b). B. Contradicción: La expresión resulta ser una contradicción, cuando los valores de su conectivo principal resultan ser falsos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (c). C. Contingencia: Aquella expresión, que en su conectivo principal resulten valores verdaderos y falsos a la vez, para todas las posibles asignaciones de la tabla de verdad. Ver ejemplo (a). 6

7 ACTIVIDADES 1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es: tautología, contradicción o contingencia. 1. q Λ (r Λ s) 2. (p q) ~(~p ~q) 3. (p q) (p ~ q) 4. (p q) (q p) 5. ~[~(p q) ~ q] p 2. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente: 1. Si p es una proposición falsa, q verdadera y r verdadera, determinar el valor de verdad de: {(p ~r) [r (~q p)]} (p q) 2. Determinar el valor de verdad de la proposición molecular [(p q) p] Λ (r p) sabiendo que p es verdadera, q y r falsas. Hallar su valor de verdad. 3. Escribe en forma simbólica, identificando cada una de las proposiciones atómicas que aparezca en las afirmaciones siguientes: 1. Esta fiesta es muy divertida y la música es muy buena, por lo cual y según lo cual todos la pasaron de maravilla. 2. Me gusta bailar y leer libros de ciencia ficción, más aún si la música es merengue a no ser que no baile. 3. Si no estoy equivocado, ella conducía un carro rojo, y había un hombre sentado a su lado. 4. Dos niños tienen los mismos apellidos si y sólo si tienen la misma madre y el mismo padre. 5. O Hugo tiene razón, o María y Carlos son o ambos culpables o ambos son inocentes 6. Si se ganan las elecciones y nuestros representantes acceden al poder, confiaremos en ellos si y sólo si cumplen sus promesas y el poder no les corrompe. 7. El abogado no es justo ni competente, a condición de que es falso que no haya consultado con los peritos sobre la cotización del inmueble embargado. 8. Es inobjetable que, una condición suficiente para que los países europeos tengan baja inflación por lo tanto estabilidad económica, es que sus gobiernos tienen programas estratégicos de crecimiento así como modelos económicos. 9. Subirán los intereses bancarios porque subirá la cotización del dólar, en vista de que, subirá la cotización del dólar sólo si el gobierno no puede controlar la inflación. 10. Los candidatos mienten en sus promesas y el pueblo les cree pero si hablaran la verdad el pueblo no les creería, es por eso que el Perú está como país subdesarrollado. 7

UNIVERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA. Gonzales Caicedo Walter Orlando. Guía. Walter

UNIVERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA. Gonzales Caicedo Walter Orlando. Guía.  Walter UNIERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA Gonzales Caicedo Orlando Guía 2 0 10 LÓGICA PROPOSICIONAL 1.1 Enunciados y alor de erdad La lógica es la rama del conocimiento que trata los modelos de

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS 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 detalles

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

Material 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 detalles

ENUNCIADO 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

ENUNCIADO 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 detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados 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 detalles

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños

MATEMÁ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 detalles

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Módulo 1 Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Qué es una PROPOSICIÓN? ES TODA EXPRESIÓN O ENUNCIADO DE LA CUAL SE PUEDE DECIR SI ES VERDADERA O FALSA Ejemplos: 2 es un número par (Proposición verdadera)

Más detalles

El 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 detalles

Lógica Proposicional. Guía Lógica Proposicional. Tema II: Operadores Lógicos

Lógica Proposicional. Guía Lógica Proposicional. Tema II: Operadores Lógicos Guía Lógica Proposicional Tema II: Operadores Lógicos LA CONJUNCIÓN DEFINICIÓN. La Conjunción. Sean p y q dos variables proposicionales, entonces la proposición compuesta p y q, que se simboliza como p

Más detalles

Ló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. 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 detalles

Lógica Proposicional. Cátedra de Matemática

Ló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 detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA 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 detalles

13/04/2013 LOGICA MATEMÁTICA

13/04/2013 LOGICA MATEMÁTICA ING ARNALDO ANGULO ASCAMA profearnaldo@hotmail.com ING. ARNALDO ALBERTO ANGULO ASCAMA LOGICA MATEMÁTICA La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas

Más detalles

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.

Taller 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 detalles

Un enunciado es toda frase u oración que se emite

Un 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 detalles

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del módulo (Página 175 ) Se sugiere ver el siguiente video:

Más detalles

Capítulo 1 Lógica Proposicional

Capí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 detalles

Introducción a la Lógica

Introducció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 detalles

La Lógica Proposicional

La 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 detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓ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 detalles

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

encontramos 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 detalles

Lógica Proposicional. Introducción

Ló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 detalles

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁ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 detalles

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción

Más detalles

Coordinació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. 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 detalles

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera

Más detalles

2. Introducción a la Lógica proposicional y Teoría de conjuntos

2. Introducción a la Lógica proposicional y Teoría de conjuntos 2. Introducción a la Lógica proposicional y Teoría de conjuntos Lenguaje formal La lógica utiliza un lenguaje artificial, que es además un lenguaje formal. Características del lenguaje formal: a) Está

Más detalles

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Departamento 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

Forma lógica de enunciados

Forma 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 detalles

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS VALORES DE VERDAD DE LOS OPERADORES LÓGICOS Tomada con fines instruccionales Gómez, T., González, N., Lorenzo J. (2007) Valores de verdad de los Operadores Lógicos. Artículo no publicado. (p.1-6). UNEFA.

Más detalles

Ló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 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 detalles

LÓGICA PROPOSICIONAL.

LÓGICA PROPOSICIONAL. INSTITUTO TECNOLÓGICO METROPOLITANO LÓGICA PROPOSICIONAL. Teoría ejercicios y taller MARGARITA PATIÑO JARAMILLO 4 DE AGOSTO DE 2014 LÓGICA PROPOSICIONAL Entrar a la página: http://margaritapatinojaram.wix.com/lp#!

Más detalles

P r o p o s i c i ó n

P r o p o s i c i ó n P r o p o s i c i ó n Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. La verdad o falsedad de una proposición

Más detalles

Tablas 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 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 detalles

TEMA 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. 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 detalles

Guía para el estudiante

Guí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 detalles

Lógica proposicional o Lógica de enunciados

Ló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 detalles

- AnallogicA - Software para crear tablas de verdad

- 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 detalles

LÓGICA. LENGUAJE ARTIFICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz.

LÓ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 detalles

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre

Más detalles

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:

RAZONAMIENTO 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 detalles

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones RESOLUCION Nº 03871 DE 07 DE NOIEMBRE DE 2012 ERSION 1.0 EJES TEMÁTICOS Proposiciones Teoría de conjuntos Sistemas de numeración a) Levántate temprano! b) Has entendido lo que es una proposición? c) Estudia

Más detalles

2. Los símbolos de la lógica proposicional.

2. 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 detalles

Octubre de Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA

Octubre de Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA Octubre de 2016 Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA PROPOSICIONES Es un enunciado al cual se le puede asignar un valor de verdad que puede ser

Más detalles

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

2. ELEMENTOS DE LÓGICA PROPOSICIONAL Copyright 2013. Editorial Tébar lores. All rights reserved. RAMÓN RODRÍGUEZ ALLEJO 2. ELEMENTOS DE LÓGICA PROPOSICIONAL 2.1. PROPOSICIONES Definición 2.1.1.- Se denomina proposición a toda expresión verbal,

Más detalles

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.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 detalles

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos Lógica Proposicional Preliminares Teoría de Conjuntos Definición. Una proposición es una oración con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad. Ejemplos de proposiciones?

Más detalles

Lógica proposicional

Lógica proposicional Lógica proposicional La palabra lógica viene del griego y significa, razón, tratado o ciencia. En matemáticas es la ciencia que estudia los métodos de razonamiento proporciona reglas y técnicas para determinar

Más detalles

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p.

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p. SIMBOLOGÍA BÁSICA. Los enunciados se dividen en enunciados simples y compuestos. Los enunciados simples o atómicos son aquellos que admiten ser verdaderos o falsos. Así, por ejemplo: Pedro está enfermo,

Más detalles

LÓ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 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 detalles

Cantidad de proposiciones Número de combinaciones = = = n

Cantidad de proposiciones Número de combinaciones = = = n COLEGIO SAN RANCISCO JAIER DE LA ERAPAZ PROESOR RONALD CHÉN: Conectivos lógicos y tablas de verdad (Primero Básico 2017) Conceptos 3 Notación y Conectivos lógicos Conectivos lógicos son aquellas palabras

Más detalles

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

LA 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 detalles

UNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS

UNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS UNIVERSIDAD FRANCISCO DE PAULA SANTANDER 1 FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS EMAIL SAENZCODANIEL@HOTMAIL.COM LÓGICA DE PROPOSICIONES TABLAS DE VERDAD La tabla de verdad de una

Más detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: 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 detalles

Tabla de valores de verdad

Tabla de valores de verdad Tabla de valores de verdad Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló

Más detalles

Matemáticas Básicas para Computación

Matemáticas Básicas para Computación Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 4 Nombre: Proposiciones Objetivo Al término de la sesión el participante aplicará las características de las proposiciones

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.

Más detalles

Matemáticas Básicas para Computación

Matemá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 detalles

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO

ANOTACIONES 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 detalles

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50 Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 50 Parte I 2/ 50 Proposiciones Considere las siguientes frases Guarde

Más detalles

SESIÓN 04 LÓGICA PROPOSICIONAL

SESIÓ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 detalles

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones

Más detalles

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 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 detalles

Capítulo 4. Lógica matemática. Continuar

Capí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 detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD 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 detalles

Resolución de Problemas y Algoritmos 2016

Resolución de Problemas y Algoritmos 2016 Ejercicio 1: Dadas las siguientes frases identifique e indique cuáles son proposiciones simples: 2. La cantante triunfa inesperadamente. 5. 35 es un número par. 6. Los senadores debaten con tranquilidad.

Más detalles

LÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural

LÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez LÓGICA Definición 1. Una proposición es una expresión susceptible de ser verdadera o falsa. Ejemplo 1. p: El ser humano

Más detalles

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Lógica Matemática Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Valor de certeza funcional de la preposición: negación, conjunción, disyunción,

Más detalles

Matemáticas Dicretas LÓGICA MATEMÁTICA

Matemá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 detalles

Lógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero

Lógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector

Más detalles

Apuntes de Lógica Proposicional

Apuntes 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 detalles

Todas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas.

Todas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas. Todas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas Raymundo Morado Las conectivas binarias bivalentes Cuántos valores de

Más detalles

Tema de la clase: Lógica Matemática. Introducción

Tema de la clase: Lógica Matemática. Introducción Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas

Más detalles

Si..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente.

Si..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente. 1.2 Proposiciones condicionales y equivalencia lógica. Proposición Condicional o implicación lógica Una proposición condicional, es aquella que está formada por dos proposiciones atómicas o moleculares,

Más detalles

Lógica Proposicional

Ló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 detalles

Tópicos de Matemáticas Discretas

Tópicos de Matemáticas Discretas Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica

Más detalles

LÓGICA Y RAZONAMIENTO JURÍDICO. Antes de empezar

LÓGICA Y RAZONAMIENTO JURÍDICO. Antes de empezar LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO Gerente Central de la Escuela del Ministerio Público LIma, 30 de enero de 2013 Antes de empezar 1 LAS PROPOSICIONES I. CONCEPTO. Las proposiciones

Más detalles

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

Proposicional. 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 detalles

Lógica Matemática, Sistemas Formales, Cláusulas de Horn

Ló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 detalles

CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES

CURSO 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 detalles

Un poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM

Un poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM Un poco de lógica Ramón Espinosa Departamento de Matemáticas, ITAM La lógica, como el whisky, pierde sus efectos benéficos cuando se consume en grandes cantidades. Lord Dunsany Uno de los principales propósitos

Más detalles

ENUNCIADO: Es cualquier frase u oración que expresa una idea

ENUNCIADO: Es cualquier frase u oración que expresa una idea LÓGICA PROPOSICIONAL La lógica es el estudio de los métodos y los rinciios usados ara distinguir el correcto razonamiento del erróneo. El razonamiento es un tio esecial de ensamiento en el cual se realizan

Más detalles

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas DEINICIÓN ETIMOLÓGICA DE LÓGICA EL término LOGICA viene de dos voces griegas: Logos, que significa palabra, tratado, pensamiento o razón e icos que significa relacionado con, por lo tanto lógica significa

Más detalles

CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS

CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS ACTIVIDAD ACADEMICA: FUNDAMENTOS MATEMATICOS DOCENTE: LIC- ING: ROSMIRO FUENTES ROCHA UNIDAD N 1:

Más detalles

Matemáticas Discretas Lógica

Matemá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 detalles

EL LENGUAJE FORMAL DE LA LÓGICA. Agosto del 2011

EL LENGUAJE FORMAL DE LA LÓGICA. Agosto del 2011 EL LENGUAJE FORMAL DE LA LÓGICA Agosto del 2011 Qué es un lenguaje formal? Está formado por los siguientes elementos básicos: A. Signos primitivos del lenguaje, esto es su alfabeto. B. Unas reglas de combinación

Más detalles

LÓ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 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 detalles

Pragmática es el estudio de la relación entre los signos y los sujetos que los emplean.

Pragmá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

LÓGICA Y RAZONAMIENTO JURÍDICO

LÓGICA Y RAZONAMIENTO JURÍDICO LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO LAS PROPOSICIONES I.- CONCEPTO.- Las proposiciones son expresiones declarativas (y no emotivas, interrogativas ni exclamativas) que afirman

Más detalles

INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA

INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA PRÁCTICAS DE CIRCUITOS LÓGICOS LABORATORIO DE COMPUTACIÓN IV PRÁCTICA 1 NOMBRE

Más detalles

Lógica I modelo de examen (curso ) Ejemplo de respuestas

Ló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 detalles

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA 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 detalles

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s PROGRAMA DE FORMACIÓN UNIDAD DE APRENDIZAJE ACTIVIDAD OBJETIVOS IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA Colegio técnico uparsistem Matematica sexto PROPOSICIONES Y TABLA DE LA VERDAD (CONJUNCIÓN, DISYUNCIÓN,

Más detalles

Cálculo Proposicional

Cá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 detalles

Lógica de Predicados

Lógica de Predicados Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología

Más detalles

2.1.- Formalización de enunciados en lenguaje ordinario

2.1.- Formalización de enunciados en lenguaje ordinario 2.1.- Formalización de enunciados en lenguaje ordinario Una de las tareas más importantes para poder aplicar la lógica a los diferentes campos del saber humano es la formalización, también conocida como

Más detalles

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica

Más detalles

Lenguaje Lógica Proposicional

Lenguaje Lógica Proposicional Lenguaje Lógica Proposicional María Manzano Universidad de Salamanca Curso 2009-2010 María Manzano (Universidad de Salamanca) LP Curso 2009-2010 1 / 18 1 Introducción 2 Gramática 3 Forma lógica 4 Formalización

Más detalles

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

Ló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 detalles