Primer curso de lógica Matemática capitulo1

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, 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 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/artderechologicaex http://www.acader.unc.edu.ar/artderechologicaexperiencia.pdf periencia.pdf

Trusted by over 1 million members

Try Scribd FREE for 30 days to access over 125 million titles without ads or interruptions! Start Free Trial Cancel Anytime.









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:









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 Dis yuntiva 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 V V F F

Q V F V F

P∨Q V V 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

Q V

F









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 aumento en su sueldo el próximo 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.









“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 siguiente enunciado “Si no pago el recibo recibo de la luz, luz, entonces me cortarán la corriente eléctrica, y Si pago la luz, entonces me quedaré sin dinero o tengo que pedir pedir prestado, pero Si me quedo sin sin dinero y tengo que 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











Tabla 7: Resumen de los Conectivos Lógicos. 1.12 Representación de fórmulas bien construidas









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:









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 (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).









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

¬P F V

P v ¬P V V

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

P∧Q→Q V V V V

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)











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.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: P" y "existe por lo menos un x tal que Q Que se leen "para todo x, es verdad que P" y es verdad". Estos dos cuantificadores se pueden escribir equivalentemente, ya que dice lo mismo que dice: . En palabras, decir "no es para todo x p es verdad" es igual que decir "existe x tal x tal que p es p es falsa". que p es









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









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 b) P → P ∧ Q c) P ∧ ¬ (Q ∨ P) d) (P → (Q ∨ ¬ P)) → ¬ Q

e) (P → Q ) → ( ¬ Q → P ) f) (P ↔ Q) ∧ (P ∧ ¬ Q) g) P ∧ ¬ ((P ∨ Q) ∨ R) h) P ∨ (¬ P ∨ R)

1.11 Convertir cada una de las cuasi-proposiciones en proposiciones, utilizando











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 vistas en clase).

órgano vital, entonces vive vive una vida normal o a) Para todo x, si le quitan un órgano sufre toda la vida.

Primer curso de lógica Matemática capitulo1

Recommend Documents