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

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

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

Transcripción

1 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 lógica Es aquella expresión u oración coherente que puede calificarse o bien como verdadero () o bien como falso () y sin ambigüedad. Las proposiciones lógicas generalmente se denotan con letras minúsculas, tales como: p, q, r, s,..., etc. alor veritativo p : = 8 () q : Todo hombre es mortal. () r : El Libertador Simón Bolívar nació en Lima. () s : 14 es un número primo. () Nota: Las preguntas, mandatos, exclamaciones, deseos, etc. NO son proposiciones lógicas ya que no se pueden calificar como verdaderas () o falsas (). Cómo te llamas? Buenos días Haz tu tarea! 3. Negación de una proposición Consiste en cambiar el valor de verdad que tiene una proposición. Si la proposición es "p", su negación se denota por "~p" y se lee: "no p" o "es falso que p". Las diferentes posibilidades las podemos esquematizar en una tabla, denominada Tabla de verdad. p ~p p: 6 es un número par. () ~p: 6 no es un número par. () 4. Conectivos lógicos Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada a veces proposición molecular. Ejemplos: a) Lima es la capital del Perú y Barcelona es la capital de España p p q p v q q CONECTIO LÓGICO b) 4 es un número impar o 15 es un número primo p Los conectivos lógicos empleados son: q CONECTIO LÓGICO 4.1 Disyunción (se simboliza: ", se lee: "o") Dos proposiciones se pueden enlazar por medio de la palabra "o", para formar una nueva proposición llamada disyunción de ambas. La disyunción de las proposiciones "p o q" se denota: p q. p: 4 es menor que 7. () q: 4 es igual a 7. () La disyunción de ambas será: p v q es falsa () únicamente cuando "p" y "q" son ambas falsas, en los demás casos es verdadera. 4 es menor que 7 o 4 es igual a 7 simbólicamente: p v q Su valor de verdad (según la tabla): = 4.2 Conjunción (se simboliza: " ", se lee: "y") Dos proposiciones se pueden enlazar por medio de la palabra "y" para formar una nueva proposición llamada conjunción de ambos. La conjunción de las proposiciones "p y q" se denota: p q. ARITMETICA 4 AÑO

2 p q p q p q es verdadera ( ) ú n i c a m e n t e cuando "p" y "q" son ambas verdaderas. p: 4 es menor que 7. () q: 4 es igual a 7. () La conjunción de ambas será: 4 es menor que 7 y 4 es igual a 7 simbólicamente: p q Su valor de verdad: = [Según la tabla] Nota: Las palabras sin embargo, pero, además, también, incluso, no obstante, aunque, así mismo, tanto... como, etc, equivalen al conectivo lógico y. 4.4 Bicondicional (simbolizada por: " ", se lee: "si y sólo si") Es aquel conectivo que al enlazar "p" con "q" se denota "p q" y se lee: "p si y sólo si q". p q p q p: 4 es menor que 7. () q: 4 es igual a 7. () La bicondicional de ambas será: p q es verdadera ( ) ú n i c a m e n t e cuando p y q tienen el mismo valor de verdad. 4 es menor que 7 si y sólo si 4 es igual a 7 simbólicamente: p q Su valor de verdad: = [Según la tabla] 4.3 Condicional (se simboliza por: " ", se lee: "si...entonces...") Muchas proposiciones, especialmente matemáticas, son de la forma "si p entonces q". Tales proposiciones se denominan condicionales y se les denota por: p q. A la proposición "p" se le denomina "antecedente" y a "q" "consecuente". p q p q p: 4 es menor que 7. () q: 4 es igual a 7. () La condicional de ambas será: p q es falsa () únicamente cuando p es verdadera y q es falsa, en los demás casos es verdadera. Si: 4 es menor que 7 entonces 4 es igual a 7 simbólicamente: p q Su valor de verdad: = [Según la tabla] Nota: Las palabras por consiguiente, de modo que, por lo tanto, en consecuencia, luego, dado que, equivalen al conectivo condicional. Nota: las palabras cuando y sólo cuando, entonces y sólo entonces, etc, equivalen al conectivo lógico si y sólo si. 4.5 (Se simboliza: " ", se lee: o... o... ) p q p q p q es verdadera ( ) ú n i c a m e n t e cuando p y q t i e n e n d i f e r e n t e valor de verdad. p: Marco juega () q: Marco estudia () La disyunción exclusiva de ambos será: o bien Marco juega o bien estudia simbólicamente: p q Su valor de verdad: = [Según la tabla] 5. Proposiciones compuestas Utilizando conectivos lógicos se puede combinar cualquier número finito de proposiciones; para obtener otras, denominados proposiciones compuestas. Ejemplos: i. (p q) ( p s) ii. (p q) ( t r)

3 6. Tautología, Contradicción y Contingencia 6.1 Tautología Es toda proposición cuyo valor de verdad es siempre verdadero (), para cualquier combinación de los valores de verdad de sus componentes, se le denota por "". La proposición: "p (p q)" es una tautología, tal como se puede comprobar en su tabla de verdad. p q p (p v q) 7. Implicación lógica Se denomina así a toda condicional "p q" que sea una tautología y en tal caso la condicional se denota por "p q". 7.1 Equivalencia lógica Se denomina así a toda bicondicional "p q" que sea una tautología y en tal caso la bicondicional se denota por "p q". 8. Álgebra de proposiciones Entonces: "p (p q)" = 6.2 Contradicción Son equivalencias lógicas que nos permiten simplificar un problema y expresarlo en forma más sencilla. Las demostraciones se hacen construyendo la tabla de verdad en cada caso. Principales leyes: 8.1 Ley de Idempotencia Es toda proposición cuyo valor de verdad es siempre falso (), para cualquier combinación de los valores de verdad de sus componentes. Se le denota por. La proposición: "(p q) ~q" es una contradicción, tal como se puede comprobar en su tabla de verdad. p q (p q)q p q (p q)p Entonces: "(p q) ~q" = 6.3 Contingencia Es toda proposición lógica cuyo valor de verdad tiene al menos un verdadero () y un falso (). La proposición "(p q) ~p" es una contingencia tal como se puede comprobar en su tabla de verdad. p p p p p p 8.2 Ley Conmutativa p q q p p q q p 8.3 Ley Asociativa (p q) r p (q r) (p q) r p (q r) 8.4 Ley Distributiva p (q r) (p q) (p r) p (q r) (p q) (p r) 8.5 Ley de la Doble Negación ~ (~p) p 8.6 Leyes de Identidad p ; p p p p; p 8.7 Leyes del Complemento p ~p p ~p 8.8 Ley del Condicional p q ~p q

4 8.9 Ley del Bicondicional p q (p q) (q p) p q (p q) (~p ~q) 8.10 Ley de Absorción p (p q) p p (p q) p p (~p q) p q p (~p q) p q 8.11 Leyes de Morgan Ejercicios ~(p q) ~p ~q ~(p q) ~p ~q 1. Cuál de los siguientes enunciados no es una proposición lógica? a) Todo hombre es inmortal. b) Cali es la capital de Colombia. c) Perú clasificará al mundial 2006 de fútbol. d) Muchas felicidades. e) iva el Perú. f) 7 es un número primo. 2. Los valores de verdad de las siguientes proposiciones: I. (2 + 5 = 7) (3-1 = 4) II. (3 + 5 = 8) (4 + 2 = 7) III. (4-0 = 0) (6-4 1) I. ( ) (2 + 5 = 8) Son respectivamente: Rpta.: Mediante una tabla de verdad comprobar las siguientes equivalencias lógicas: a) p q (p q) ( p q) b) (p q) p q c) p q p q 4. Si los valores veritativos de "p", "q" y "r" son, y respectivamente, hallar el valor de verdad de las siguientes proposiciones: a) p r b) q q c) q (r p) d) r (p q) 5. Si los valores veritativos de "m", "t" y "s", son, y respectivamente, hallar el valor de verdad de cada una de las siguientes proposiciones: a) m t b) m s c) (t s) m d) (s m) (t m) 6. Construir la tabla de verdad de las siguientes fórmulas, indicando si se trata de una tautología, contradicción o contingencia: a) (r q) r b) (p q) p c) (r q) ( p r) d) (p m) ( p m) Bloque I Problemas para la clase 1. De las siguientes expresiones, cuáles son proposiciones lógicas: I. Colombia es un país sudamericano. II. 13 es un número primo. III. Me siento bien. I. Cómo llegaste? a) Sólo II b) I y II c) Sólo III d) Sólo I e) I y III 2. Dadas las premisas: p : Luis es doctor. q : Carlos es abogado. r : Pedro es ingeniero. Cuál será la expresión simbólica del enunciado: Si Carlos es abogado y no es cierto que Luis es doctor, entonces Luis no es doctor o Pedro es ingeniero. a) (q ~ p) (~ p r) b) (q ~ p) (p r) c) (q ~ p) (~ p r) d) (q ~ p) (p r) e) N.A. 3. Dadas las proposiciones compuestas: I. (3. 0 = 3) (4 + 0 = 4) II. (1 < -1) (5 2 < 2,5) III. (2 0 = 2) ( ) I. (8. 0 = 0) (7. 1 = 7) Hallar sus valores de verdad. a) b) c) d) e) 4. Dadas las proposiciones lógicas: p : 12 es un número primo. q : 3 es un número racional. r : 16 es un cuadrado perfecto.

5 Hallar los valores de verdad de: I. ( ~ p q) (r p) II. ~ (p q) (q ~ r) a) b) c) d) e) altan Datos 5. Si la proposición compuesta: (~p r) q es falsa, hallar los valores de verdad de p, q y r respectivamente. a) b) c) d) e) 6. Si la siguiente proposición: (~p r) (p s) es falsa, hallar el valor de verdad de: I. (p ~q) r II. (q ~r) (s p) a) Tautología b) Contingencia c) Contradicción d) Equipotencia e) Equivalencia Bloque II 1. Cuáles de las siguientes proposiciones son verdaderas? I. ( ) (4. 0 = 4) II. ( < 15) (5 > -10) III. (7. 1 = 7) ( ) a) I y II b) II y III c) Sólo I d) Sólo II e) Sólo III 2. Construir la tabla de verdad de la siguiente proposición compuesta: (~p q) (p q) y dar el resultado. a) b) c) d) e) a) b) c) 3. Al construir la tabla de verdad de: d) e).d. (p ~q) (p ~q) el número de valores verdaderos en el resultado es: 7. Si la siguiente proposición: (~q p) (~p r) a) 0 b) 1 c) 2 es verdadera, hallar el valor de: d) 3 e) 4 I. (q ~r) p II. (~p ~q) (p r) a) b) c) d) e) altan datos 8. Construir la tabla de verdad de: (~p q) (p ~q) e indicar de qué se trata. a) tautología b) contradicción c) contingencia d) composición e) equipotencia 9. Construir la tabla de verdad de: (p ~q) (~p q) luego indicar cuál de las proposiciones siguientes es verdadera. I. Es una contingencia. II. Es una contradicción. III. Hay tres valores de verdad. a) Sólo I b) Sólo II c) I y II d) I y III e) Sólo III 10.La siguiente proposición compuesta: ~(q p) (p ~q) es una: 4. Sabiendo que: (r q) ~p es falsa, hallar los valores de verdad de: I. (p r) (~q t) II. ~(~p q) (r q) a) b) c) d) e) altan datos 5. Si la negación de: ~p (~q r) es verdadera, hallar las proposiciones verdaderas. I. p q, es verdadero. II. ~q r, es falsa. III. q puede ser verdadero. a) Sólo I b) Sólo II c) I y II d) I y III e) II y III 6. Cuáles de las siguientes proposiciones son lógicamente equivalentes? I. ~p ~q II. ~p q III. p q a) I y II b) I y III c) II y III d) Todas e) Ninguna

6 7. La siguiente proposición compuesta: ~(p ~q) (p q) es una: a) tautología b) contingencia c) contradicción d) equivalencia e) faltan datos 8. Si: p = todos los hombres son inmortales; y la proposición: [(q ~p) (s ~q)] (r ~p) es falsa. Hallar: I. (p ~q) (r q) II. ~(q ~p) ~(p ~r) a) b) c) d) e) altan datos 9. Sabiendo que la proposición p es verdadera, en cuál de los siguientes casos es suficiente dicha información para determinar el valor de las proposiciones? I. p ~q II. (~q p) ~r III. (~p q) r a) Sólo I b) Sólo II c) Sólo III d) I y II e) II y III 10.Si la proposición compuesta: (p q) (~q ~r) es falsa. Hallar el valor de verdad de: I. ~(p ~q) (~r q) II. (~p r) ~(q p) a) b) c) d) e) altan datos Bloque III 1. Dadas las proposiciones: p : Luis es abogado. q : Carlos es biólogo. r : Juan es administrador. e) I. (r ~p) q II. (p ~r) 2. De las siguientes proposiciones compuestas: I. Si: = 7 entonces 8 < 7. II. 9 es mayor que 5 ó 4 es menor que 3. III. 25 = 5, sin embargo -4 2 = 16. I. 3 < 4 si y sólo si < Indicar los valores de verdad respectivamente. a) b) c) d) e) 3. Sabiendo que: (~r q) p es falso, hallar los valores de verdad de: I. (~q p) (~r q) II. (p ~q) (~p r) a) b) c) d) e) altan datos 4. Sabiendo que: (p q) ~r; es falsa. (s p) r; es verdadera. Cuáles de las afirmaciones son verdaderas? I. ~(p s) es verdadera. II. s q es falsa. III. ~s es verdadera. a) I y II b) I y III c) II y III d) Todos e) Sólo una de ellas 5. La proposición: (p q) (r s) es verdadera, teniendo r y s valores de verdad opuestos. Hallar los valores de verdad de: I. (~p ~q) (r s) II. [ ~(p q) (r s)] (~p q) a) b) c) d) e) altan datos Cuál es la expresión simbólica de los siguientes enunciados? 6. Simplificar: [(~p q) r] (~q r) I. Si Juan es administrador y Luis no es abogado entonces Carlos no es biólogo. II. Luis es abogado pero Juan no es administrador. a) I. (r ~p) q b) I. (r ~p) ~q II. p r II. p ~ r c) I. r (~p q) d) I. (r ~p) ~q II. p ~r II. p r a) ~q b) ~q r c) q r d) q ~r e) q p 7. De la falsedad de la proposición: (p ~ q) (~r s) se deduce los valores de verdad de:

7 I. (~ p ~q) ~q II. (~r q) [(~q r) s] III. (p q) [(p q) ~q] a) b) c) d) e) 8. Si la proposición: (p ~q) (p r) es falsa. Cuál de las siguientes proposiciones son verdaderas? I. p q es falsa. II. r q es verdadera. III. ~q p es verdadera. a) I y II b) I y III c) II y III d) Todas e) Ninguna 9. La siguiente proposición: ~(p ~q) (q ~p) es una: a) tautología b) contradicción c) contingencia d) equipotencia e) inducción 10.Se define el conectivo # por: p # q = ~p q Hallar el equivalente de: (p # ~q) # (q # ~p) a) ~p q b) p ~q c) ~q p d) p q e) tautología Autoevaluación 1. Si tenemos las proposiciones: p: Luis estudia inglés q: Luis trabaja por las tardes r: Luis es profesor de ísica simbolizar: Luis es profesor de ísica y no estudia inglés, por lo tanto trabaja por las tardes; sin embargo trabajar por las tardes es condición suficiente y necesaria para no ser profesor de ísica. a) [(r ~p) q] (q ~r) b) [(r ~p) q] (q ~r) c) [(r ~p) ~q] (q ~r) d) [(r ~p) q] (q ~r) e) [(r ~p) q] (q ~r) 2. Si la proposición compuesta: (p ~q) ~t es falsa, hallar los valores de verdad de p, q y t respectivamente. a) b) c) d) e) 3. Al construir la tabla de verdad de: (p ~q) (~p ~q) el número de valores verdaderos en el resultado es: a) 1 b) 2 c) 3 d) 4 e) 0 4. Si p es una proposición falsa, a cuáles de las siguientes proposiciones compuestas se puede hallar su valor? I. (p ~q) r II. ~p (q ~r) III. (p q) ~r a) Sólo I b) Sólo II c) Sólo III d) I y II e) I y III 5. Dado el conector lógico *, cuya tabla es: p q p * q construir la tabla de verdad de: [p * (q * ~p)] * q e indicar de que se trata. a) tautología b) contradicción c) contingencia d) equivalencia e) negación

8

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

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

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

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

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

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

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

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

Matemáticas Discretas. Oscar Bedoya

Matemáticas Discretas. Oscar Bedoya Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos

Más 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

Matemáticas Discretas TC1003

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

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

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

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

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

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

Ampliación Matemática Discreta. Justo Peralta López

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

No ~ Si entonces Sí y sólo si

No ~ Si entonces Sí y sólo si Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea

Más detalles

ESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I

ESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I ESCUELA MILITAR DE INGENIERÍA Elaborado por: Lic. Bismar Choque Nina MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I A pesar de que la refutación por ejemplo del contrario es un procedimiento válido, los teoremas

Más detalles

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

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO HERNAN BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1

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

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO MATEMÁTICO RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.

Más detalles

Capitulo I - Lógica Matemática

Capitulo I - Lógica Matemática UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Caitulo I - Lógica Matemática Todos los tóicos relativos a las matemáticas se razonan desde el unto de vista lógico y or lo tanto hay ue tener muy en

Más detalles

Ejercicios de Lógica Proposicional *

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

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

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

EJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES

EJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES INSTRUCCIÓN. Resuelve los problemas propuestos del modo siguiente: primero en forma individual, luego en forma grupal y por último preséntalo en forma grupal en un máximo de cinco (05) integrantes. EJERCICIOS

Más detalles

REGLAS Y LEYES LOGICAS

REGLAS Y LEYES LOGICAS LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.

Más 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

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1 Matemática 0 UNLP Curso de Ingreso 2013 Matemática 0 Página 1 Contenido 1.1 Álgebra de proposiciones 3 Expresiones No Proposicionales 4 Enunciados Abiertos 4 Clasificación de las Proposiciones 4 1.2 Conectivos

Más detalles

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por

Más 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

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición: Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma

Más detalles

Lógica. Matemática discreta. Matemática discreta. Lógica

Lógica. Matemática discreta. Matemática discreta. Lógica Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo

Más detalles

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia

Más detalles

Lógica proposicional. Ivan Olmos Pineda

Lógica proposicional. Ivan Olmos Pineda Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre

Más detalles

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

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

Matemáticas Discretas TC1003

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

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL MATEMÁTICA I AÑO LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Nadie aprende si no se ha equivocado al intentarlo... - DE QUÉ TRATA LA LÓGICA? La lógica investiga la relación de consecuencia que se da entre

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

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

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se

Más detalles

L OGICA Proposiciones

L OGICA Proposiciones CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor

Más detalles

Unidad 2.- Lógica y tablas de verdad. Lógica

Unidad 2.- Lógica y tablas de verdad. Lógica Lógica Algebra Booleana Las álgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un área de las matemáticas que ha pasado a ocupar un lugar prominente con el advenimiento

Más detalles

El conjuntos de los estudiantes inteligentes de la UPR Río Piedras. El conjunto de los mejores baloncelistas de la NBA.

El conjuntos de los estudiantes inteligentes de la UPR Río Piedras. El conjunto de los mejores baloncelistas de la NBA. 1 Conjuntos Un conjunto es una colección de objetos bien definida. Ejemplos de conjuntos: El conjuntos de todos los estudiantes matriculados en el programa immersión. El conjunto de todos los pueblos de

Más detalles

10.4 Sistemas de ecuaciones lineales

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

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)

Más detalles

INTRODUCCIÓN A LA LÓGICA

INTRODUCCIÓN A LA LÓGICA UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA INTRODUCCIÓN A LA LÓGICA Para el ingreso a las carreras de Matemática Material preparado

Más detalles

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA

Más detalles

Unidad 1 LÓGICA Y CONJUNTOS

Unidad 1 LÓGICA Y CONJUNTOS Unidad 1 LÓGICA Y CONJUNTOS 1.1. Proposiciones, clases y valor de verdad 1.2. Operadores lógicos. 1.3. Negación 1.4. Conjunción 1.5. Disyunción inclusiva y exclusiva. 1.6. Condicional. 1.7. Bicondicional

Más detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

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

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )] Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la

Más detalles

CONCEPTOS BÁSICOS SOBRE TEORÍA DE CONJUNTOS

CONCEPTOS BÁSICOS SOBRE TEORÍA DE CONJUNTOS Teorìa de conjuntos CONCEPTOS BÁSICOS SOBRE TEORÍA DE CONJUNTOS 2.1 DEFINICIONES: 2.1.1 Conjunto: Término básico no definido. Concepto intuitivo: Lista, colección o clase de objetos, bien definidos. Notación:

Más detalles

Notas de Álgebra y Matemática Discreta

Notas de Álgebra y Matemática Discreta Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática

Más detalles

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad. nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas

Más 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

Matemáticas - Guía 1 Proposiciones

Matemáticas - Guía 1 Proposiciones LOGROS: 1. Reconoce el conceto e roosición. 2. Clasifica las roosiciones en simles y comuestas. 3. Resuelve roosiciones comuestas utilizando los conectivos lógicos. 4. Halla el valor de verdad de una roosición

Más detalles

1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.

1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad. Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que

Más detalles

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo

Más detalles

PRINCIPIOS DE LÓGICA. 1.1 CONCEPTO Y PROPÓSITO DE LA DE LÓGICA. UNIDAD 1. FUNDAMENTOS DE LÓGICA. Competencias:

PRINCIPIOS DE LÓGICA. 1.1 CONCEPTO Y PROPÓSITO DE LA DE LÓGICA. UNIDAD 1. FUNDAMENTOS DE LÓGICA. Competencias: UNIDAD 1. FUNDAMENTOS DE LÓGICA. MAPA CONCEPTUAL LÓGICA MATEMÁTICA Como Es Ciencia de la razón Aporta Desarrolla Acción Pedagógica Genera Nuevos Saberse Que desarrollan Habilidades de Pensamiento Aprendizaje

Más detalles

3.1 Reglas de equivalencia

3.1 Reglas de equivalencia 3.1 Reglas de equivalencia En esta sección estudiarás y aplicarás algunas reglas de equivalencia de proposiciones lógicas. Es decir, vamos a empezar a aplicar algunas reglas que nos permitirán transformar

Más detalles

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4

Más detalles

Conjuntos. () April 4, / 32

Conjuntos. () April 4, / 32 Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En

Más detalles

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

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 LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.

Más detalles

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos

Más detalles

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie.

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. RESUMEN DE MATEMATICAS I PARTE I CONJUNTOS CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. A= {números pares} B= { banda de rock} ELEMENTO: Son las ideas u objetos cualesquiera

Más detalles

1. Construir una tabla de verdad para las siguientes proposiciones.

1. Construir una tabla de verdad para las siguientes proposiciones. Universidad de Valparaíso Instituto de Matemáticas Guía de Lógica 1. Construir una tabla de verdad para las siguientes proposiciones. a) [(p r) (r p)] [p q] b) (p (p q)) (p q) c) [(p q) (q r)] (p r). Determinar

Más detalles

ELEMENTOS DE LA MATEMATICA

ELEMENTOS DE LA MATEMATICA ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.

Más detalles

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80

Más 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

Capítulo 1 Lógica y Conjuntos

Capítulo 1 Lógica y Conjuntos Capítulo Lógica y Conjuntos Introducción Todos estamos familiarizados con la idea de que algunas personas poseen una mentalidad lógica mientras que otras no. No siempre resulta sencillo seguir razonamientos

Más detalles

LA LÓGICA PROPOSICIONAL http://www.jezasoft.co.cc 1 de 7 La lógica proposicional también llamada simbólica o matemática, es aquella parte de la lógica que estudia las proposiciones y símbolos utilizados

Más detalles

NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA

NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos permitirá introducirnos a la Matemática: la Lógica Matemática, que estudia las leyes

Más detalles

Algoritmos y Estructura de Datos I

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

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES ÁLGEBRA DE PROPOSICIONES 1 CAPÍTULO I ÁLGEBRA DE PROPOSICIONES 1.1 PROPOSICIÓN Proosición (o enunciado) es una afirmación verbal a la ue uede asociarse un valor de verdad, es decir, uede ser verdadera

Más detalles

Definición y representación de los

Definición y representación de los Definición y representación de los circuitos lógicos. LÁMARA R + - + - OBJETIVO GENERAL BATERÍA Utilizar el álgebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas

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

TRABAJO PRACTICO Nº 1 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS

TRABAJO PRACTICO Nº 1 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS Trabajo Práctico Nº 1 Fundamentos de Lógica Simbólica y Teoría de Conjuntos. TRABAJO PRACTICO Nº 1 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS FUNDAMENTOS DE LOGICA SIMBOLICA 1) Para describir

Más detalles

EJEMPLO DE PREGU,TAS

EJEMPLO DE PREGU,TAS EJEMPLO DE PREGU,TAS MATEMÁTICAS PRIMERO, SEGU,DO Y TERCERO DE BACHILLERATO 1. Lógica proposicional Esta competencia se refiere al conocimiento que usted posee sobre el lenguaje de las proposiciones y

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

Lic. Manuel de Jesús Campos Boc

Lic. Manuel de Jesús Campos Boc UNIVERSIDAD MARIANO GÁLVEZ DE GUATEMALA FACULTAD DE CIENCIAS DE LA ADMINISTRACIÓN DIRECCIÓN GENERAL DE CENTRO UNIVERSITARIOS CENTRO UNIVERSITARIO DE VILLA NUEVA CURSO MATEMÁTICAS APLICADA I 2015 Lic. Manuel

Más detalles

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

Tema: LÓGICA PROPOSICIONAL

Tema: LÓGICA PROPOSICIONAL UNIDAD N 01: SEMANA 01: Sesión 01: Denominación: LÓGICA, MATEMÁTICA Y CONJUNTOS. Contenido: Lógica Proosicional: Introducción. Proosiciones lógicas. Clases de Proosiciones Lógicas. Proosiciones Comuestas

Más detalles

NOCIONES PRELIMINARES (*) 1

NOCIONES PRELIMINARES (*) 1 CONJUNTOS NOCIONES PRELIMINARES (*) 1 Conjunto no es un término definible, pero da idea de una reunión de cosas ( elementos ) que tienen algo en común. En matemática los conjuntos se designan con letras

Más detalles

Curso de ingreso Matemática 0

Curso de ingreso Matemática 0 Curso de ingreso 016 Matemática 0 Versión: Capítulo 1- Lógica y Conjuntos CAPÍTULO 1: Lógica y Conjuntos... 1.1 Proposiciones... 1. Conectivos Lógicos...5 1. Esquemas proposicionales en una indeterminada...

Más detalles

Curso de ingreso Matemática 0

Curso de ingreso Matemática 0 Curso de ingreso 017 Matemática 0 CAPÍTULO 1: Lógica y Conjuntos...3 1.1 Proposiciones...3 1. Conectivos Lógicos...5 1..1 Operaciones Proposicionales...5 1.. Equivalencia lógica...1 1..3 Tautología...13

Más detalles

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?

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

EL CONDICIONAL. La tercera y cuarta fila incomoda a mucha gente. Porque?

EL CONDICIONAL. La tercera y cuarta fila incomoda a mucha gente. Porque? EL CONDICIONAL DEFINICIÓN : Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposición p q, que se lee si p entonces q cuyo valor lógico está dado por la siguiente

Más detalles

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román. Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -

Más detalles

CIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE

CIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE Lógica FE IRUITOS LÓGIOS 1. LGER DE OOLE 1.1 Introducción Tanto la teoría de conjuntos como la lógica de enunciados tienen propiedades similares. Tales propiedades se utilizan para definir una estructura

Más detalles

Apuntes de Lógica Introducción Nociones de Lógica elemental Tablas de verdad Tautología y Contradicción Equivalencia lógica Algebra de proposiciones

Apuntes de Lógica Introducción Nociones de Lógica elemental Tablas de verdad Tautología y Contradicción Equivalencia lógica Algebra de proposiciones Apuntes de Lógica 1. Introducción 2. Nociones de Lógica elemental.proposiciones.conjunción.disyunción.negación.condicional.bicondicional.ejercicios 3. Tablas de verdad.construcción de tablas de verdad

Más detalles

ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]

ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6] ALGEBRA DE BOOLE El álgebra booleana, como cualquier otro sistema matemático deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un número de axiomas no probados o postulados.

Más detalles

Benemérita Universidad Autónoma de Puebla

Benemérita Universidad Autónoma de Puebla Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones

Más 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

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12 Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo

Más detalles

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,

Más detalles

UNIDAD 4: INTRODUCCIÓN A LA LÓGICA

UNIDAD 4: INTRODUCCIÓN A LA LÓGICA UNIDAD 4: INTRODUCCIÓN A LA LÓGICA Bien! hemos pasado a la segunda parte de los contenidos, espero que esos ánimos sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo invitamos

Más detalles