logica proposicional

28
Lic. Edison Malpartida Ayma

Upload: cristian-trujillo-torbisco

Post on 25-Dec-2015

17 views

Category:

Documents


5 download

DESCRIPTION

LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario, el razonamiento deductivo nos permite llegar a conclusiones particulares a partir de observaciones generales.

TRANSCRIPT

Page 1: Logica Proposicional

Lic. Edison Malpartida Ayma

Page 2: Logica Proposicional

ENUNCIADO: Es toda frase u oración que informa, expresa o dictamina alguna idea a través de afirmaciones o negaciones, preguntas, expresiones de emoción o de saludo, órdenes, etc.

LÓGICA

Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario, el razonamiento deductivo nos permite llegar a conclusiones particulares a partir de observaciones generales.

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso.

Ejemplos: x < 9 x + 2 = 10

a + b = 1 a2 + b2 = c2

Page 3: Logica Proposicional

PROPOSICIÓN LÓGICA (enunciado cerrado) es un enunciado informativo que admite la posibilidad de ser Verdadero o Falso, pero no ambos a la vez.

La veracidad o falsedad de una proposición se denomina “Valor de verdad de la proposición”

39 es un número primo ( )

Huancayo queda en Junín ( )

1/2 < 1/4 ( )

SON PROPOSICIONES:

Resuelve este problema

¿Puedes prestarme tu libro?

Buenos días profesor

NO SON PROPOSICIONES:

F

V

F

Page 4: Logica Proposicional

PROPOSICIÓN SIMPLE: Es aquella que contiene una sola afirmación y se simboliza con las letras p, q, r, s, t, ….. a las que llamaremos variables proposicionales

Ejemplos: VALOR DE VERDAD

1. 15 es un número primo : p ( )2. Lima es la capital del Perú : q ( )3. 32 = 9 : r ( )

PROPOSICIONES COMPUESTAS: Son aquellas que están formadas por dos o más proposiciones simples o es la negación de una proposición simple.

En toda proposición compuesta las proposiciones simples están ligadas mediante palabras conocidas como conectivos lógicos

FVF

Page 5: Logica Proposicional

Conectivos lógicos

Son palabras que permiten relacionar dos proposiciones o negar una proposición simple. Cuando se les representan por símbolos se les llama operadores lógicos.

Los siguientes conectivos son los más recurrentes:

1. “si y sólo si”

2. “o . . . o”

3. “si…entonces…”

4. “o”

5. “y”

6. “no”

Page 6: Logica Proposicional

PROPOSICIONES Y VALOR DE VERDAD

p p q p q r

V

F

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

F

F

F

F

F

F

F

F

F

F

F

F

F

F

F

F

En general para “n” proposiciones, se pueden presentar 2n

posibilidades

21

22

23

Las tablas de verdad son representaciones gráficas, en forma de arreglos, que sirven para analizar los posibles valores de verdad que puede tener una proposición simple o compuesta.

Page 7: Logica Proposicional

1. LA CONJUNCIÓN.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “ y “, cuyo símbolo es “” y se llama conjuntor.

Ejemplo: “Jorge viajó al Cusco y Luis viajó a Ica”

p q

p : Jorge viajó al Cusco

q : Luis viajó a Ica Simbología: “p q”

NOTA: También equivalen al conectivo conjunción las palabras pero, sin embargo, aunque, además, no obstante, etc.

Definición de Algunos Enunciados Compuestos

Page 8: Logica Proposicional

p q

V

V

V

V

F

F

FF

V

F

F

F

La conjunción sólo es verdaderacuando las dos proposiciones son verdaderas.

Page 9: Logica Proposicional

2. LA DISYUNCIÓN DÉBIL O INCLUSIVA.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “ o “, cuyo símbolo es “” y se llama disyuntor.Ejemplo: “Eliana viajará al Cuzco o a Cajamarca”

r s

r : Eliana viajará al Cuzco

s : Eliana viajará a Cajamarca Simbología: “r s”

Page 10: Logica Proposicional

p q

V

V

V

V

F

F

FF

V

F

V

VLa disyunción es falsa solo si ambas proposiciones son falsas

Page 11: Logica Proposicional

3. LA DISYUNCIÓN FUERTE O EXCLUSIVA.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “O…..o……. “, cuyo símbolo es “” y se llama disyuntor fuerte.

Ejemplo: “O Ricardo radica en Miraflores o en Barranco”

p q

p : Ricardo radica en Miraflores

q : Ricardo radica en Barranco Simbología: “p q ”

Page 12: Logica Proposicional

p q

V

V

V

V

F

F

FF

F

F

V

V

La disyunción fuerte es verdaderasolo si ambas proposiciones tienen diferentes valores de verdad

La disyunción fuerte es falsasolo si ambas proposiciones tienen idénticos valores de verdad

Page 13: Logica Proposicional

4. EL CONDICIONAL.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo

“Si…….entonces…….”, cuyo símbolo es “→” y se llama implicador.

Ejemplo: “Si 12 es un número par entonces es divisible entre 2”

p q

p : 12 es un número par ……………….… (antecedente)

q : 12 es un número divisible entre 2 ……(consecuente)

Simbología: “p → q ”

Page 14: Logica Proposicional

Notas: 1. Existen otras formas de presentarse el condicional: p por

consiguiente q; p luego q; p de manera q; etc.2. También son expresiones condicionales q ya que p; q puesto que

p; q siempre que p; q porque p; etc.

La suma de las cifras de 426 es múltiplo de 3 por consiguiente es divisible entre 3

Ejemplo

(antecedente) p

(consecuente) q

426 es divisible entre 3 porque la suma de sus cifras es múltiplo de 3

(antecedente) p

(consecuente) q

La simbología para ambos casos es: p → q

Page 15: Logica Proposicional

p q

V

V

V

V

F

F

FF

V

V

V

F

El condicional solo es falsocuando el antecedente es verdaderoy el consecuente es falso.

Page 16: Logica Proposicional

5. EL BICONDICIONAL.- Es un enunciado compuesto en el que dos proposiciones se relacionan con el conectivo “…..…si

y sólo si……….”, cuyo símbolo es “↔” llamado doble implicador.

Ejemplo: “Sicilia es una isla si y sólo si está rodeada de agua”

p q

p : Sicilia es una isla

q : Sicilia está rodeada de agua Simbología: “p ↔ q ”

Page 17: Logica Proposicional

p q

V

V

V

V

F

F

FF

V

V

F

F

El bicondicional es verdaderosolo si ambas proposiciones poseenidénticos valores de verdad

El bicondicional es falsosolo si ambas proposiciones poseendiferentes valores de verdad

Page 18: Logica Proposicional

6. LA NEGACIÓN.- Es un tipo de proposición compuesta en la que se afirma que algo no existe, que no es verdad, o que no es como alguien cree o afirma. Para negar una proposición se le antecede el conectivo no, o equivalentes a él, cuyo símbolo

es “” y se llama negador.

Ejemplo: “Todo número elevado al cuadrado es positivo”

p

Negación: “No todo número elevado al cuadrado es positivo”

Nota: Cuando se niega una proposición compuesta, se niega al operador de mayor jerarquía en dicha proposición.

Ejemplo: No es cierto que Pablo fue al banco y retiró el dinero

p

q r

Simbología: ( q r )

Page 19: Logica Proposicional

p p

V

F

F

V

Page 20: Logica Proposicional

Conector Valor de verdad

Condición

V Si ambos tienen igual valor de

verdad.

V Si tienen valores diferentes de verdad.

F Si el antecedente es verdadero y el consecuente es falso

F Si ambos son falsos

V Si ambos son verdaderos

~ V Si la proposición es falsa.

Page 21: Logica Proposicional

1.- No vi la película, pero leí la novela2.-Ni vi la película ni leí la novela.3.-No es cierto que viese la película y leyese la novela4.-tu estás equivocado o es falsa la noticia que has leído5.-Si no estuvieras loca, no habrías venido aquí6.-está lloviendo y nevando o está soplando el viento7.-Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura8.-Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos9.-No es cierto que si llueve y hace sol las brujas se peinan10.-Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan11.-Si no hay ruidos y no estás sordo, entonces debes oírme12.- Iré al cine o al teatro, si me invitas13.- En el caso de que venga Cipriano, vendrán Fulgencia y Eustaquia14.- Si hay guerra, no crecerá el paro ni la inflación15.- O Juan debe declarar y ser sincero, o no debe declarar16.- Federico se irá a la playa o al cine si y sólo si le toca la lotería y no se arruina en la ruleta.17.-Aumentará la inflación y disminuirá el paro, sólo si se fabrica moneda o hay guerra.18.-Si el aumento de la inflación implica la disminución de la balanza de pagos, entonces, si no disminuye la balanza de pagos no aumenta la inflación

Page 22: Logica Proposicional

p:Pablo atiende en clase. q: Pablo estudia en casa. r: Pablo fracasa en los exámenes. s:Pablo es aplaudido.1.- (pq) v (r¬s)2.-(pq) ¬(r¬s)3.-(¬pv¬q(r¬s)4.-¬(pq) (rv¬s)

p: Las estrellas emiten luz. q: Los planetas reflejan la luz.r: Los planetas giran alrededor de las estrellas.1.-(p v q) r2.-¬(pq) ¬r3.-p (qr)4.-q (p r)

Page 23: Logica Proposicional

p q r ( p q ) ( p r)

Ejemplo: Evaluar el siguiente esquema molecular: (p q) (p r)

Solución

V

V

V

V

V

V

V

V

V

V

V

V

F

F

F

F

F

F

F

F

F

F

F

F

V

V

V

V

F

F

F

F

V

V

V

V

F

F

F

F

V

V

F

F

F

F

F

F

V

V

V

V

F

F

F

F F

F

F

F

V

V

V

V

F

F

V

V

V

V

V

V

V

V

F

F

F

F

F

F

F

F

F

F

F

V

V

V

Page 24: Logica Proposicional

1) Confeccione la tabla de verdad de las siguientes proposiciones compuestas a) )()( pqqp d) )( pqp g) )()( qpqp j) )()( qpqp

b) )()( qpqp e) )( pqp h) )()( pqqp k) pqp )(

c) )()( qpqp f) qqp )( i) qpqp )]([ l) qqp

Page 25: Logica Proposicional

La característica tabular de una fórmula lógica es la columna de valores de verdad debajo del operador de mayor jerarquía. Esta columna puede presentar los siguientes casos:

1. Cuando todos los valores de verdad son verdaderos, el esquema es una TAUTOLOGÍA.

2. Cuando todos los valores de verdad son falsos, el esquema es una CONTRADICCIÓN.

3. Cuando algunos valores de verdad son verdaderos y otros falsos el esquema es una CONTINGENCIA.

Page 26: Logica Proposicional
Page 27: Logica Proposicional

Ejemplo Nº2 Si se conoce que: (q r) p es FALSA

Determinar el valor de verdad de: (r p) (p r)

SOLUCIÓN

( q r ) p

FPrimero analizamos la condición

FVV V F

Luego de conocer los valores de verdad de cada variable, se evalúa la fórmula planteada

( r p ) ( p r )

V VV F VFF

El valor de verdad de la fórmula planteada es FALSO

Page 28: Logica Proposicional

a) Si el valor de verdad de qp s verdadero ¿puede determinar el valor de verdad de )( qpp ? b) Si el valor de verdad de pqp )( es falso ¿ puede determinar el valor de verdad de q ? c) Si qp es verdadero ¿se puede determinar el valor de verdad de )()( qpqp ? d) Si qp es verdadero ¿se puede determinar el valor de verdad de )()( qpqp e) Halle el valor de verdad de )()( pqqp si q es verdad f) Halle el valor de verdad de )()( qpqp si q es verdad En todos los casos justifique su respuesta