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

Transcripción

1 Lógica Proposicional Cátedra de Matemática Abril 2017

2 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un lenguaje analítico. La lógica proposicional es el estudio del razonamiento a través de mecanismos que primero evalúa sentencias(o enunciados) simples y luego sentencias complejas. Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples.

3 Definiciones Una proposición es una sentencia simple que tiene un valor asociado, ya sea verdadero o falso. La lógica proposicional permiten asignar un valor verdadero o falso a cada uno de estos enunciados. Notación: se denotan con letras minúsculas p, q, r, s ó p 1, p 2,.. Una forma proposicional es una expresión que contiene una variable y puede transformarse en proposición si se sustituye dicha variable por un elemento del conjunto de referencia. Ejemplo: p(x): x es un estudiante de la FAZ

4 Definiciones Una proposición simple es un enunciado que se refiere a un hecho único. Ejemplos: p: hoy es lunes q: 3 es un número par r: la soja es el principal cultivo en argentina Una proposición compuesta es la combinación de enunciados simples mediante el uso de símbolos llamados conectivos lógicos. Ejemplos: Dos es un número par y primo Si no llueve entonces voy a ir al cine

5 Conectivos lógico Nombre Símbolo Proposición Se lee: Conjunción p q Disyunción p q y pero aunque o y/o Implicación p q Si entonces Doble implicación p q sí y solo sí Negación p No No es cierto que

6 Tablas de Verdad Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. El número de combinaciones posibles es igual a 2 n, siendo n el número de proposiciones simples intervinientes. Si n = 2, tendremos 4 combinaciones. p q V V F F V F V F

7 Si n = 3, tendremos 8 combinaciones. p q r V V V V V F V F V V F F F V V F V F F F V F F F

8 Conjunción Dadas dos proposiciones simples p y q, se define la conjunción p q como la proposición compuesta que es verdadera solo si lo son las dos proposiciones componentes. p q p q V V V V F F F V F F F F

9 Disyunción Dadas dos proposiciones simples p y q, se define la disyunción p q como la proposición compuesta que es verdadera si lo es al menos una de las proposiciones componentes. p q p q V V V V F V F V V F F F

10 Condicional o implicación Dadas dos proposiciones simples p (antecedente) y q (consecuente), se define la implicación p q como la proposición compuesta que es falsa solo cuando el antecedente es verdadero y el consecuente es falso. p q p q V V V V F F F V V F F V

11 Bicondicional o doble implicación Dadas dos proposiciones simples p y q, se define la doble implicación p q como la proposición compuesta que es verdadera si las proposiciones componentes son ambas verdaderas o ambas falsas. p q p q V V V V F F F V F F F V

12 Negación Dada una proposición simples p, se define la negación de p ( p) como la proposición verdadera si p es falsa y falsa si p es verdadera. p V F F V p

13 Proposiciones compuestas Para resumir, dadas dos proposiciones simples p y q, se pueden definir las siguientes proposiciones compuestas. p q p q p q p q p q V V V V V V V F F V F F F V F V V F F F F F V V

14 Definiciones Las proposiciones compuestas se clasifican en: a)tautología: es una proposición compuesta que es verdadera independientemente de los valores de verdad de las proposiciones simples que la componen. b) Contradicción: es una proposición compuesta que es falsa independientemente de los valores de verdad de las proposiciones simples que la componen. c) Contingencia: es un proposición compuesta que no es tautología ni contradicción

15 Argumento: un argumento es una sucesión de proposiciones llamadas premisas cuyo propósito es la inferencia o deducción de otra proposición llamada conclusión. Un Argumento válido es válido si y sólo si la conjunción de las premisas implica la conclusión y dicha implicación es siempre verdadera. Ejemplo: Analice si es válido el siguiente argumento: Si gano las elecciones bajaré los precios de los combustibles. Bajaré el precio de los combustibles si los electores votan por mi. Los electores no votaron por mi por lo tanto no bajaré los precios de los combustibles.

16 Consideremos: p: gano las elecciones q: bajaré el precio de los combustibles r: los electores votan por mi. Podemos escribir las premisas y la conclusión de la siguiente manera: p 1 : p q p 2 : r q p 3 : r C: q El argumento lógico quedará [(p q) (r q) ( r)] q Realicemos la tabla de verdad de la implicación, y observemos : si es una tautología el argumento será válido y si se obtiene una contingencia o contradicción el argumento no es válido.

17 Proposiciones lógicamente equivalentes: dos o más proposiciones son lógicamente equivalentes si tienen los mismos valores de verdad bajo iguales condiciones de verdad. Ejemplo: Analice si p ( p) q es equivalente a q p ( p)

18 Leyes de la lógica Ley del medio excluyente: p ( p) Ley de contradicción: [p ( p)] Ley de involución: ( p) p Ley de idempotencia: (p p) p (p p) p Ley conmutativa: (p q) (q p) (p q) (q p) Ley asociativa: (p q) r p (q r) (p q) r p (q r) Ley distributiva: (p q) r (p r) (q r) (p q) r (p r) (q r)

19 Fórmula que niegan proposiciones binarias Negación de la conjunción: Negación de la disyunción: Negación de la implicación: Negación de la equivalencia: (p q) ( p) ( q) (p q) ( p) ( q) (p q) p ( q) (p q) ( p) q p ( q)