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

Documentos relacionados
Lógica Proposicional (LP)

Matemáticas - Guía 1 Proposiciones

Capitulo I - Lógica Matemática

Tema: LÓGICA PROPOSICIONAL

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

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES

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

Introducción. a4 + b 4 = a + b es una proposición falsa j ) No! no es proposición. Ejercicio 1.-

CONCEPTO DE LÓGICA MATEMÁTICA

Lógica proposicional Objetivo específico: Aplicaciones:

CIENCIAS FORMALES CIENCIAS FÁCTICAS

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición

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

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

Guía para el estudiante

Matemáticas Discretas Tc1003 Lógica Matemática. Lógica Matemática

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica

LÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL

PROBLEMAS PROPUESTOS. Halla los valores de verdad de: I.- (~p q) (r p) II. ~(p q) (q ~r)

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

CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.

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

UNIDAD I: LÓGICA MATEMÁTICA

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

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

Operaciones con Proposiciones

Enunciados Abiertos y Enunciados Cerrados

Lógica proposicional o Lógica de enunciados

La Lógica Proposicional

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

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

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

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

Colegio Centro América. Cuaderno de ejercicios Matemáticas

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

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

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

Fundamentos de Matemática

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

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

Introducción a la Lógica

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

P r o p o s i c i ó n

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

Lógica Proposicional. Introducción

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

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L

Forma lógica de enunciados

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

Lógica proposicional

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

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

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

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

Walter Orlando Gonzales Caicedo MATEMÁTICA. Gonzales Caicedo Walter Orlando.

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

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA

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

- AnallogicA - Software para crear tablas de verdad

LÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3

Qué es la lógica? Lógica matemática. Introducción. La lógica de proposiciones (enunciados) El lenguaje de la lógica

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

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

Cálculo Proposicional

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

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

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

Resolución de Problemas y Algoritmos 2016

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la

1. Ejercicios propuestos

GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES

Clase 3: Teorema de Fundamental de la Aritmética

Tabla de valores de verdad

03. Introducción a los circuitos lógicos

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

Qué es significado? Relaciones entre oraciones y la verdad. Implicación* ( entailment ) Sinonimia. Contradicción-1. Contradicción-2.

13/04/2013 LOGICA MATEMÁTICA

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL

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

NÚMEROS RACIONALES Q

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

Lógica Proposicional

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

Matemáticas Dicretas LÓGICA MATEMÁTICA

Matemáticas Básicas para Computación

Fundamentos básicos de matemáticas: Lógica Proposicional

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

COLEGIO PEDAGÓGICO DE LOS ANDES TALLER DE NIVELACIÓN DE MATEMÁTICAS 6 Y 7 GRADO PRIMER PERIODO

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

Capítulo 1 Lógica Proposicional

Lógica de Predicados

Matemáticas Básicas para Computación

DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA

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

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

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO

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

Transcripción:

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 inferencias; es decir, en el ue se derivan conclusiones a artir de remisas. La lógica, al igual ue las matemáticas, estudia las relaciones abstractas formales. La Lógica Proosicional Estudia las Proosiciones PROPOSICIÓN Una roosición en lógica es un enunciado ue uede ser falso o verdadero, ero no ambas cosas a la vez. Consideremos en rimer lugar, ue a toda exresión u oración del lenguaje se le denomina enunciado. A continuación se tienen algunos ejemlos de un enunciado: 1) Una fracción está formada or un numerador y un denominar 2) En la exresión 2 3, el número 3 se le llama otencia F 3) Caracas es la caital de enezuela 4) Cuándo es el I Parcial de Matemática? 5) iva la Matemática! 6) No ensucie las aredes de la universidad No son Proosiciones orue no se uede saber si es o F OBSERACIONES IMPORTANTES Las PROPOSICIONES no son más ue ENUNCIADOS No todos los ENUNCIADOS SON PROPOSICIONES Los ENUNCIADOS se denotan con las letras,, r, s, ENUNCIADO: Es cualuier frase u oración ue exresa una idea F

LOS ENUNCIADOS PUEDEN SER: ABIERTOS (---F) CERRADOS () Él es un escritor Latinoamericano El Tigre ertenece al Municiio Simón Rodríguez ( ) x+1=2 CLASES DE PROPOSICIONES SIMPLES: una roosición simle es auella ue no es osible descomoner en dos roosiciones. Ejemlos: 1) 9 es un número imar 2) Uno más uno es dos 3) Juan estudia 4) Seré un buen rofesional en Ingeniería en Informática. (Auí el sujeto está tácito y es Yo ) 5) 3+8 es mayor ue 2+10 En la roosición, Juan estudia la odemos reresentar or la variable, de tal forma ue resulta ue: Juan estudia COMPUESTA: una roosición comuesta es la ue se forma con dos o más roosiciones simles mediante conectivos lógicos como son: y, o, si entonces si y solos si entre otros. Ejemlo: 1. Juan estudia y trabaja Juan estudia y trabaja 2. Carlos está en la universidad o en el trabajo

LAS SIGUIENTES DEFINICIONES SON PROPOSICIONES COMPUESTAS: PROPOSICIÓN CONJUNTIA: Resulta de unir dos roosiciones mediante el conectivo conjunción ( ): (se lee como y ). La conjunción es verdadera si ambas y son verdaderas; cualuier otro caso, es falsa. PROPOSICIÓN DISYUNTIA: Surge de unir dos roosiciones con el conectivo disyunción ( ): (se lee como o ). La disyunción es verdadera si, o ambas son verdaderas, y es falsa sólo si y son falsas. PROPOSICIÓN CONDICIONAL: Es el resultado de unir dos roosiciones mediante el conectivo condicional ( ): ; (se lee como si entonces ), donde es la hiótesis (o antecedente) y es la conclusión (o consecuente). La roosición condicional es falsa si la hiótesis es verdadera y la conclusión es falsa. PROPOSICIÓN BICONDICIONAL: Es consecuente de juntar dos roosiciones con el conectivo bicondicional ( ): ; (se lee como si y sólo si ). Esta afirmación se considera verdadera recisamente cuando y oseen los mismas valores de verdad (es decir, cuando y son ambas verdaderas o ambas falsas). PRINCIPALES CONECTIOS LÓGICOS CONECTIOS LÓGICOS SIMBOLO SE LEE NEGACIÓN ~ No / no es cierto CONJUNCIÓN y DISYUNCIÓN o CONDICIONAL Si entonces BICONDICIONAL si y solo si DISYUNCIÓN EXCLUSIA o o

TABLAS DE ERDAD Las tablas de verdad son esuemas en los ue se reresentan todos los valores de verdad ue ueden asumir una fórmula lógica. Estos esuemas nos ayudan a determinar si un razonamiento es o no válido. Una roosición lógica uede ser: TAUTOLOGICA, cuando es verdadera siemre CONTRADICTORIA, cuando es falsa siemre CONTINGENCIA, cuando contiene valores verdaderos y falsos. OBSERACIONES 1) Establecer el número de filas (líneas) de la tabla de verdad. 2) Este número de filas deende del número de roosiciones de la exresión. 3) Por medio de la siguiente formula: Número de filas = 2 n n: es el número de variables o roosiciones CONECTIOS LÓGICOS Y LAS TABLAS DE ERDAD NEGACIÓN (~): No es cierto ue Rodrigo sea Maestro ~ F F No es cierto ue Rodrigo sea Maestro Número de filas = 2 n = 2 1 = 2 F CONJUNCIÓN ( ): Juan es futbolista y Ana es voleibolista F F F F F F F Número de filas = 2 n = 2 2 = 4 Juan es futbolista y Ana es voleibolista 2 2F F F

DISYUNCIÓN ( ): Raúl es Profesor o Raúl es Ingeniero F F F F Raúl es Profesor o Raúl es Ingeniero CONDICIONAL ( ): F F F F F Si Carla estudia entonces ingresará a la Universidad Si Carla estudia entonces ingresará a la Universidad BICONDICIONAL ( ): F F F F F F Ana ira a la fiesta si y sólo si tiene amigas Ana ira a la fiesta si y sólo si tiene amigas DISYUNCIÓN EXCLUSIA ( ): O bien Manuel juega o bien estudia F F F F F F O bien Manuel juega o bien estudia

EJERCICIOS RESUELTOS I PARTE. Simboliza las siguientes roosiciones 1) No tenía dinero, ero era feliz. ~ 2) Ni tenía dinero ni era feliz. ~ ~ 3) No es cierto ue tuviese mucho dinero y fuese feliz. ~( ) 4) Tenía mucho dinero aunue no era feliz. ~ 5) No bailo ni canto. ~ ~ 6) O no lo sabes hacer o no leíste bien las instrucciones. 7) Si no suieras cocinar, entonces no te habría uedado sabrosa la comida. ~ ~ 8) Canta y o bien tararea o suena con armonía la música. ( r ) 9) O está cantando y tarareando o está sonando la música con armonía. ( ) r 10) Mariana hará el doctorado de educación cuando y solamente cuando obtenga la licenciatura. II PARTE. Simboliza. 1) Si, entonces : 2) No es el caso ue y : ~( ) 3) P solamente si y no r: ( ~r) 4) o no : ~ 5) Si y, entonces no r o s: ( ) (~r s) 6) Si, entonces, y si, entonces : ( ) ( )

EJERCICIOS PROPUESTOS I PARTE: Determine cuáles de las siguientes oraciones son roosiciones: 1) De Madrid al cielo 2) X + 5 es un entero ositivo 3) Si todas las tardes fuesen tan lluviosas como esta! 4) Siete es un número imar 5) Si Luis rerueba esta asignatura, sus adres se enfadarán 6) Qué día es hoy? 7) En 1990, George Bush era residente de los Estados Unidos II PARTE. 1) Sean y las roosiciones siguientes: : Hace frío : Llueve Escribe las siguientes roosiciones utilizando y y los conectivos lógicos. 2) Sean, y r las roosiciones siguientes: : Has obtenido un sobresaliente en el examen final : Has hecho todos los ejercicios de este libro r: Has obtenido un sobresaliente en esta asignatura Escribe las siguientes roosiciones utilizando, y r y los conectivos lógicos. III PARTE. Construir la TABLA DE ERDAD de las siguientes roosiciones y determina si es una tautología, contradicción o Contingencia: 1) ~ 2) ( ) ( ) 3) ( ~ ) 4) ( ) [( ) ( )] 5) ( ) [( ~ ) (~ )] 6) ( ) 7) ( ) ( ~ ) 8) ~[~ ] 9) ( ) 10) ( ) (~ ) 11) [( ) ] 13) ( ) 14) ( ) (~ ) 15) ~[( )] ( ) 16) [( ) ] 17) [( ) ( ~r)] 18) [( ) (~ r )] ( )