P. 1
Primer curso de lógica Matemática capitulo1

Primer curso de lógica Matemática capitulo1

4.68

|Views: 29.537|Likes:
Publicado porcamediga
ES un texto introductorio a la lógica formal, desarrollado para quienes están iniciando en las matemáticas, o para adelantar cursos que tienen que ver cn éstas o con investigación.
ES un texto introductorio a la lógica formal, desarrollado para quienes están iniciando en las matemáticas, o para adelantar cursos que tienen que ver cn éstas o con investigación.

More info:

Published by: camediga on Apr 05, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/23/2013

pdf

text

original

Primer curso de lógica Matemática

Ciertamente, la ciencia y tecnología ha llegado a un gran desarrollo que es cada vez más difícil de describir a medida que pasa el tiempo, para la muestra de ello, podemos ver computadores tan potentes como el Blue Gene P, fabricado por la IBM: “Blue Gene P alcanza los 884.736 microprocesadores, tiene una velocidad de un Peta Flop y es 100 mil veces más potente que el más moderno de los computadores personales”1. Un microprocesador es el cerebro de un computador, es el componente esencial y todas las funciones que realiza el computador tienen que ver directamente con éste. Tuvo sus inicios en los años sesenta y su desarrollo crece vertiginosamente, de tal manera que, se construyen cada vez con más capacidad en el procesamiento de información. Gracias a la Lógica Proposicional y al álgebra Booleana, se facilitó la construcción de compuertas lógicas, con las cuales se han diseñado circuitos eléctricos, integrados y los microprocesadores que son entonces vitales en tal desarrollo. Las aplicaciones de la lógica no terminan aquí, el desarrollo del pensamiento jurídico y la ciencia del Derecho, desde sus inicios ha tomado como base el estudio de las proposiciones y las reglas de inferencia lógicas para comprobar la validez de argumentos, demostración de hipótesis y la forma de la escritura de las leyes que rigen la convivencia de las naciones del mundo. Podemos encontrar por ejemplo, un artículo del Dr. Olsen Ghirardi, de la Academia Nacional de Derecho y Ciencias Sociales de Córdoba (Argentina), llamado2: “Derecho, Lógica Y Experiencia”, donde encontramos comentarios relacionados con el tema: “La Lógica es un instrumento que nos previene del error y que nos permite razonar correctamente. Por eso, es importante cuando pensamos y cuando expresamos nuestros pensamientos”. “La Lógica rige el pensar jurídico: en el sistema codificado la deducción y, en el sistema del common law, la inducción”. Como podemos ver, la lógica y las matemáticas están inmersas en campos como el derecho y las leyes, obviamente, necesitamos desarrollar esta teoría que nos servirá, entre otras cosas, como dice O. Ghirardi, para “razonar correctamente”. Carlos Andrés Medina Gaviria Profesor e Investigador de Tiempo Completo: Universidad La Gran Colombia.

1 2

Basado en el artículo de la página: http://www.uandes.cl/ver_articulo.asp?id=1477&seccion_padre=30 Ver más acerca de este tema en: http://www.acader.unc.edu.ar/artderechologicaexperiencia.pdf

CAPITULO 1
CONCEPTOS BÁSICOS DE LÓGICA PROPOSICIONAL: Proposiciones y Conectivos Lógicos En este capítulo estudiaremos las bases de la Lógica Proposicional o Lógica Matemática, cuya importancia se ve evidenciada cuando la formación de los estudiantes tiene un enfoque investigativo, científico-Tecnológico, o simplemente, se quiere adelantar cursos de matemática a nivel superior.

1.1 Definición: Proposición Una proposición se define como un enunciado, una oración declarativa, o una expresión simbólica, de la cual se puede decir sin ambigüedad, que es verdadera o falsa, pero no ambas. 1.1.1 Ejemplos: • El Transmilenio es una empresa de transporte masivo en Bogotá. • Todos los estudiantes de la Universidad la Gran Colombia son menores de edad. • Si Juan vio la película:”La vida es Bella”, sabe la respuesta de: ¿Qué es lo que al pronunciar su nombre deja de existir? 1.2 Definición: Conectivos Lógicos (Términos de Enlace) Son palabras y/o símbolos que enlazan proposiciones con el fin de construir un lenguaje (verbal o simbólico) más amplio. Los conectivos lógicos más usuales y que estudiaremos en este texto son: “y”, “o”, “no”, “Si…, entonces…”, “Si y sólo Si” 1.3 Definición: Proposición Atómica Una proposición es Atómica cuando no posee conectivos lógicos. Son entonces las más simples. 1.3.1 Ejemplos: Mary es hermosa El río Amazonas es el más caudaloso del mundo Juan tiene la hermana más tierna de la ciudad. 1.4 Definición: Proposición Molecular Es una o más proposiciones Atómicas adecuadamente escritas, unidas con términos de enlace. 1.4.1 Ejemplos: Mary es hermosa y muy inteligente El río Amazonas es el más caudaloso del mundo o el río Nilo es el más extenso. Si Juan tiene la hermana más tierna de Bogotá, entonces cualquier Bogotana no es tan tierna como ella.

1.5 Nota El conectivo lógico “No”, puede actuar sobre una sola proposición atómica, mientras que los demás conectivos actúan a lo menos sobre dos proposiciones atómicas. La forma de las proposiciones moleculares depende de los conectivos lógicos que tienen, y no del contenido de cada proposición atómica.

1.6 Proposición con forma Disyuntiva o Disyunción Una proposición Disyuntiva, es aquella que está formada por proposiciones atómicas o moleculares, digamos P y Q, con el conectivo Lógico “o”. Se simboliza así: “V”, se escribe: P v Q y se lee: Ocurre P o ocurre Q.

1.6.1 Disyunción Inclusiva Es una disyunción que se caracteriza por permitir que las proposiciones que contiene sean todas verdaderas, así que se le llama también Incluyente. A continuación se presenta una tabla de los valores que puede tener la Disyunción Inclusiva, que más adelante se estudiará: P∨Q V V V F

P V V F F

Q V F V F

Tabla 1: Disyunción Inclusiva

1.6.1.1 Ejemplos: A Juan compra en el supermercado o en la tienda de la esquina. O los estudiantes de la universidad descansan después de clase o caminan hacia la casa. Compraré una camisa o un pantalón en Arturo Calle. 1.6.2 Disyunción Exclusiva Es una disyunción que no permite que las proposiciones que contiene sean todas verdaderas, así que se le llama también Excluyente. La siguiente tabla muestra los posibles valores que puede tomar la disyunción Excluyente, la cual se estudiará con detalle más adelante: P V V F F Q V F V F

F V V F

Tabla 2: Disyunción Exclusiva

1.6.2.1 Ejemplos: • María vende o alquila su única vivienda. • Abraham Lincoln está vivo o está muerto. • Yo estoy enfermo o tengo salud. 1.7 Proposición Conjuncional o Conjunción Una proposición Conjuncional, es aquella que está formada por proposiciones atómicas o moleculares, digamos P y Q, con el conectivo Lógico “y”. Se simboliza así: “∧”, se escribe: P ∧ Q y se lee: P y Q. ∧ Se dice que una Conjunción es verdadera solamente cuando cada una de las proposiciones que la conforman son verdaderas, ver tabla 3. P V V F F Q V F V F P∧Q V F F F

Tabla 3: Conjunción

1.7.1 Ejemplos: • Milena es tierna y también Hermosa. • Abraham se caso con Sara y, tuvo 2 hijos Isaac e Ismael. • Yo estoy enfermo y puedo ir a estudiar. 1.8 Proposición con forma de Negación Una proposición de este tipo, es aquella que está formada una proposición atómica o molecular, digamos P, con el Conectivo Lógico “No”. Se simboliza así: “¬”, se escribe: ¬ P y se lee: No P; negación de p; o, No es cierto que P. ver tabla 4. P v F ¬P F V

Tabla 4: Negación

1.8.1 Ejemplos: • No es cierto que, Milena es tierna y también Hermosa. • No se puede afirmar que, Abraham se caso con Sara y, tuvo 2 hijos: Isaac e Ismael. • No sucede que, esté enfermo y pueda ir a estudiar.

1.9 Proposición Condicional Una proposición condicional, es aquella que está formada por dos proposiciones atómicas o moleculares p y q, condicionadas una de la otra. La cual se indica de la siguiente manera: P→Q Se lee “Si P entonces Q”

1.9.1Ejemplo: Un candidato R del polo democrático a la presidencia dice: “Si salgo electo presidente de la República recibirán un 50% de aumento en su sueldo el próximo año”. Una declaración como esta se conoce como condicional. Sean P: R Salió electo Presidente de la República. Q: Recibirán un 50% de aumento en su sueldo el próximo año. De tal manera que el enunciado se puede expresar así: P→Q La siguiente es una tabla representa de manera sistemática la información de verdad o falsedad del conectivo lógico Condicional, se le llama Tabla de verdad, más delante se profundizará en este tema.

P V V F F

Q V F V F

P→Q V F V V

Tabla 5: Tabla para sistematizar la verdad o falsedad del condicional

1.10 Proposición Bicondicional Sean P y Q dos proposiciones (atómicas o moleculares), entonces se puede indicar la proposición bicondicional de la siguiente manera: P↔Q Se lee “P si solo si Q”

Esto significa que P es verdadera si y solo si Q es también verdadera. O bien, P es falsa si y solo si Q también lo es.

1.10.1Ejemplo: El enunciado siguiente es una proposición bicondicional:

“Mauricio es excelente estudiante si y solo si, tiene promedio de calificaciones entre 4.8 y 5.0” Donde: P: Mauricio es excelente estudiante Q: Tiene promedio de calificaciones entre 4.8 y 5.0 Por lo tanto, podemos decir que: La proposición Bicondicional solamente es verdadera si tanto p como q, son falsas o bien ambas verdaderas Consideremos la siguiente tabla: p V V F F q V F V F p↔q V F F V

Tabla 6: Tabla para sistematizar la verdad o falsedad del Bicondicional A partir de este momento, se tienen algunas herramientas para lograr representar un enunciado con conectores lógicos. 1.10.2 Ejemplo: Consideremos el siguiente enunciado “Si no pago el recibo de la luz, entonces me cortarán la corriente eléctrica, y Si pago la luz, entonces me quedaré sin dinero o tengo que pedir prestado, pero Si me quedo sin dinero y tengo que pedir prestado, entonces no puedo pagar la deuda, si y sólo si, soy desorganizado” Donde: P: Pago la luz. Q: Me cortarán la corriente eléctrica. R: Me quedaré sin dinero. S: Tengo que pedir prestado. T: Puedo pagar la deuda. W: Soy desorganizado. ( ¬P → Q ) ∧ [ P → ( R ∨ S ) ] ∧ [ ( R ∧ S) → ( ¬T ) ] ↔ W

1.11 Equivalencias de las Proposiciones (respecto al lenguaje verbal) A continuación podemos observar una tabla que nos muestra algunas formas equivalentes de escribir las distintas Proposiciones:

Tabla 7: Resumen de los Conectivos Lógicos.

1.12 Representación de fórmulas bien construidas Definición: Fórmula (en Lógica Proposicional) Se define como una proposición compuesta escrita sin ambigüedad en lenguaje simbólico. En esta parte veremos la forma correcta para representar las fórmulas de la lógica proposicional y estableceremos criterios de agrupación, así como también, prioridad de los conectivos. 1.12.1 Forma Usual Usualmente podemos considerar correcta la escritura de las siguientes fórmulas:

Es claro que el uso de los paréntesis nos quiere evitar confusiones y obviamente el término de enlace dominante, sin embargo, podemos establecer unos convenios de prioridad de los coactivos para escribir de una manera menos complicada las fórmulas. 1.12.2 Forma Abreviada Para escribir una fórmula en una forma abreviada, podemos realizar lo siguiente: a)Omitir el par de paréntesis externo: De tal manera que las fórmulas 1), 2) y 3) quedarán abreviadas respectivamente así:

b) Se introducen reglas de prioridad o potencia de los conectivos lógicos: Que debemos aplicar a la hora de reducir fórmulas:

Tabla 8: Niveles de Prioridad de los conectivos lógicos Aplicando las reglas de prioridad, las fórmulas 1.1); 2.1) y 3.1) se escriben así respectivamente:

1.13 Agrupamiento y paréntesis La mayoría de las proposiciones moleculares no son sencillas de estudiar, por tal motivo, se hace a través del agrupamiento, y se establece con mayor claridad la forma que éstas poseen. 1.13.1 Término de Enlace Dominante Es el conectivo lógico que actúa sobre toda la proposición y define su forma. 1.13.2 Nota: • El Término de Enlace Dominante debe estar por fuera de los paréntesis (en el caso de que éstos aparezcan), en al caso contrario, se entenderá que domina el que tenga prioridad de acuerdo a los niveles establecidos. • Las “comas” en una proposición escrita en lenguaje “informal”, se colocarán para que al simbolizarla, se agrupe adecuadamente y, junto con las palabras “clave” que aparecen en la Tabla 7 (ver tabla 7) se determine el término de enlace dominante, y por ende, la forma de ésta proposición.

1.14 Resumen de las tablas de Certeza Básicas

1.15 Tautología Se denomina tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la última columna de su tabla de verdad estará formada únicamente por v (verdadero). Ejemplos de Tautologías:

Verifiquemos algunas tautologías: 1) P v ¬P P V F ¬P F V P v ¬P V V P∧Q→Q V V V V

2) P ∧ Q → Q P Q P∧Q V V V V F F F V F F F F

1.16 Contradicción Se define como la negación de una tautología, luego es una proposición falsa cualesquiera sea el valor de verdad de sus componentes. La última columna de la tabla de verdad de una contradicción estará formada únicamente por F (falso).

Ejemplo: Escribamos la negación del ejemplo anterior, como ya sabemos es una contradicción: ¬ (P ∧ Q → Q) P V V F F Q V F V V P∧Q V F F F P∧Q→Q V V V V ¬(P ∧ Q → Q) F F F F

1.17 Proposiciones Singulares y proposiciones Generales (Cuantificadores) Como ya se sabe, las frases: 1. “… Es muy amable y le gusta hacer amigos” 2. “x es detallista y un buen amigo” No son proposiciones, porque presentan “ambigüedad”, no se sabe a quién se refiere, es decir, no se sabe quien es el sujeto de la oración. Este tipo de expresiones serán muy comunes desde ahora en adelante, especialmente las del tipo 2., y les llamaremos cuasi-proposiciones, porque son casi unas proposiciones a las que hay que ejemplificar (agregarle un sujeto en particular) para que lo sean. En este caso la ejemplificación sería:

Sea x: Marcela (un sujeto particular) Así la frase se convierte en proposición: “Marcela es detallista y una buena amiga” 1.17.1 Cuasi-proposición Se puede decir que es un enunciado, una oración declarativa, o una expresión simbólica que debe ejemplificarse o cuantificarse para que sea una proposición. Cuantificarse se refiere a decir cuántos individuos que integran el universo es aplicable, y ejemplificar, se refiere a enunciar el sujeto de la expresión. Se cuantifica una cuasi-proposición para categorizar cualidades y generalizar o Particularizarla, de tal manera que hablamos de unos elementos que cumplen una cierta característica. Ejemplo: “Los x son seres vivos, que nacen, crecen, se reproducen y mueren” (es una cuasi-proposición) Sea x: Hombres Así, la cuasi proposición se convierte en Proposición, que es verdadera. Cuantifiquemos para generalizar, en este caso, una característica de los seres humanos: “Todos los hombres son seres vivos, que nacen, crecen, se reproducen y mueren”.

1.17.2 Proposiciones universales y proposiciones existenciales Este segundo procedimiento para convertir un predicado en una proposición recibe el nombre de Generalización, puesto que es un modo de hablar "en general", sin especificar el nombre propio de nuestro sujeto lógico. De las muchas formas que puede revestir el procedimiento de generalización, dos son especialmente útiles. La primera, que llamaremos Cuantificador universal: consiste en anteponer a la cuasi-proposición las palabras "de todo x se dice que"; la segunda, que llamaremos Cuantificador Existencial: consiste en anteponerle las palabras "existe al menos un x tal que" a la cuasi proposición. Veamos unos ejemplos: Si la expresión que tenemos es: "... es bueno", nuestra cuasi-proposición será "x es bueno", lo que no sabemos si es verdadero o falso ni tampoco podemos averiguarlo. Para ello hace falta anteponer alguna frase. Así, un optimista dirá: "de todo x, digo que x es bueno", lo que equivale en lenguaje ordinario a "todo es bueno". Un pesimista dirá en cambio: "de todo x digo que no es el caso que x es bueno", que en lenguaje cotidiano equivale a "nada es bueno". Las personas moderadas y sensatas dirán más bien: "existe al menos un x tal que es bueno" y "existe al menos un x tal que no es bueno". Las dos primeras generalizaciones son universales; las dos últimas, existenciales.

1.17.3 Formalización de los Cuantificadores Nombre Notación Se lee Cuantificador Universal Para todo x... Cuantificador Existencial Existe por lo menos un x... Las declaraciones cuantificadas se escriben en la forma: Que se leen "para todo x, es verdad que P" y "existe por lo menos un x tal que Q es verdad". Estos dos cuantificadores se pueden escribir equivalentemente, ya que dice lo mismo que dice: . En palabras, decir "no es para todo x que p es verdad" es igual que decir "existe x tal que p es falsa".

Ejercicio 1 (Ejercicio anexo al texto de Suppes). 1.1) Identifica cuales de las siguientes fórmulas no son proposicionales y cuales no son proposicionales abreviadas y por qué.

1.2) Escribe en forma abreviada las siguientes fórmulas proposicionales:

1.3) Escribe en forma no abreviada las siguientes fórmulas proposicionales:

1.4) Escribir las correspondientes fórmulas proposicionales a las siguientes frases: a) Una relación es una relación de equivalencia si y sólo si es reflexiva, simétrica y transitiva. b) Si la humedad es alta, lloverá esta tarde o esta noche. c) El cáncer no se cura al menos se determine su causa y se encuentre un nuevo fármaco. d) Se requiere valor y preparación para escalar esta montaña. e) Si es un hombre que hace una campaña dura, probablemente será elegido.

1.5) Con la siguiente asignación de significados a las variables proposicionales: P: María necesita un doctor urgentemente Q: María necesita un abogado que lo defienda R: María Tiene un accidente S: María Está enferma U: María Es injuriada Expresar en lenguaje verbal las siguientes fórmulas proposicionales: a) ( S → P ) ∧ ( U → Q ) b) P → ( S ∨ U ) c) ( P ∧ Q ) → R d) ( P ∧ Q ) ↔ ( S ∧ U ) e) ¬ ( S ∨ U ) → ¬ P 1.6) Inventarse unas proposiciones atómicas que se puedan representar con las siguientes fórmulas (se les debe asignar a cada una las letras correspondientes), luego, escribirlas en lenguaje verbal. En el caso de que sean contradictorias decir porqué lo son. a) ¬ ( ¬ P ) → P b) P → ( P ∧ Q ) c) ¬ ( S ∨ Q ) ∨ ¬ Q d) ( P ∨ Q ) → P e) ( P → Q ) → ( ¬ Q → ¬ P ) f) ( P → Q ) → ( Q → P ) g) P ∨ ( P → Q ) h) ( P ∧ ( Q → P ) ) → P i) P ∨ ( Q → ¬ P ) j) ( P ∨ ¬ Q ) ∧ ( ¬ P ∨ Q ) k) ¬ P ∧ ( ¬ ( P → Q ) ) l) P → ¬ P m)¬ P → P 1.7 Sean P, Q, R y S fórmulas. Si se sabe únicamente que P es verdadero, ¿Qué puede afirmarse del valor de verdad de cada una las proposiciones siguientes? a) P ∧ Q b) R ∨ P c) R ∧ P d) S ∨ ¬ P e) R → P f) P → Q g) P → P ∨ S h) ¬ P → Q ∧ R i) S → ¬ P j) R→ (S→ P) k) P ∨ S → (Q ∧ ¬ P) l) Q ∧ ¬ P → R ∧ Q

1.8 ¿Qué puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos? a) Si P es falsa. b) Si P es falsa, Q es verdadera y R es verdadera. 1.9 Sean P, Q y R fórmulas proposicionales, entonces: a) Si R ∨ P → Q ∧ P es falsa y P es falsa; ¿Qué puede afirmarse de R y de Q? b) Si Q → Q ∧ P es verdadera y P es falsa; ¿Qué puede afirmarse de Q? c) Si R ∧ P → Q ∧ P es falsa; ¿Qué puede afirmarse de P, Q y R? d) Si (Q ∨ R) → (P ∧ Q) ∨ R es falsa; ¿Qué puede afirmarse de P, Q y R? e) Si (P → Q) → ( R ∨ P → R ∨ Q) es verdadera; ¿Qué puede afirmarse de P, Q y R? 1.10 Sean P, Q y R fórmulas proposicionales. Determinar cuales de las siguientes proposiciones son tautologías: a) P ∧ Q → P ∧ R e) (P → Q ) → ( ¬ Q → P ) b) P → P ∧ Q f) (P ↔ Q) ∧ (P ∧ ¬ Q) c) P ∧ ¬ (Q ∨ P) g) P ∧ ¬ ((P ∨ Q) ∨ R) d) (P → (Q ∨ ¬ P)) → ¬ Q h) P ∨ (¬ P ∨ R) 1.11 Convertir cada una de las cuasi-proposiciones en proposiciones, utilizando cuantificadores. Decir si son verdaderas o falsas: a) x es un senador Colombiano b) x es un estudiante de la universidad Gran Colombia c) y es un buen libro d) x es un número mayor o igual a 4 1.12 Utilizar los cuantificadores para simbolizar las siguientes proposiciones: a) Para cada x, x tiene un nombre. b) Existen climas absolutamente fríos y donde no se puede vivir. c) Para cada y, y pertenece a un conjunto de países. d) Nadie es eterno en el mundo e) Ningún limón es dulce f) Ningún gato es canino g) Todos los caballos son cuadrúpedos. h) Existen hombres sabios. i) No existen jóvenes perezosos.

1.13 Escribir las cuasi proposiciones como proposiciones, después escribirlas simbólicamente y también su negación simbólica (usando el cuantificador Dual). Por último, escribir esta negación en lenguaje verbal. (Utilizar las equivalencias vistas en clase). a) Para Todos los x se cumple que si se puede escuchar, se puede cantar y tocar. b) No es cierto para algunos x que, si les gusta cantar y les gusta bailar, se quedan sentados en las fiestas. c) Todos los y, o no son arrogantes o son congéniales. d) No existen M tales que, son amigables y les gusta pelear.

1.14 Escribir las cuasi proposiciones como proposiciones, simbolizar y escribir su equivalencia simbólica. (Utilizar las equivalencias vistas en clase). a) Para todo x, si le quitan un órgano vital, entonces vive una vida normal o sufre toda la vida. b) Para algunos y, no se van a vivir al polo norte, a menos que su promedio de vida disminuya. c) No se cumple en ningún caso que los x, no sean mamíferos, ni sean cuadrúpedos. d) No existen x que a la vez sean vegetarianos y, no se alimentan de: soya o cereales.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->