Taller2 Logica Proposicional
-
Upload
zamantha-gonzalez-universidad-nacional-abierta -
Category
News & Politics
-
view
51.509 -
download
3
description
Transcript of Taller2 Logica Proposicional
![Page 1: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/1.jpg)
Lógica Proposicional
Adaptado por la Ing. Zamantha González
Asesora Área de Sistemas UNA Cojedes
![Page 2: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/2.jpg)
Tarea de la lógica
Determinar la falsedad o verdad de una premisa es tareade la ciencia en general
El lógico no está interesado en la verdad o falsedad delas proposiciones sino en las relaciones lógicas entreellas, es decir, la validez de los argumentos en quepueden aparecer.
La lógica nos da los elementos para afirmar sobre lavalidez de un argumento
![Page 3: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/3.jpg)
Proposición
Es un enunciado al cual se le puede asociar el concepto
de verdadero o falso, pero no ambos.
Ejemplos:
La luna es cuadrada
7 es un número primo
Las arañas son mamíferos
![Page 4: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/4.jpg)
Proposiciones compuestasConectivos
Conocido el valor de verdad de ciertas
proposiciones, la lógica establece el valor de
verdad de otras relacionadas con éstas.
A éstas últimas se les conoce como proposiciones
compuestas
![Page 5: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/5.jpg)
Lógica proposicional
Cada proposición es representada por una letra,
tradicionalmente p, q, r, …
Tenemos conectores lógicos:
y (), o (), no (), implicación ()
Definidos a través de una tabla de verdad
p q
![Page 6: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/6.jpg)
Negación
Si p es una
proposición, entonces
“no p” es la negación
de p y se denota por:
~ p
Ejemplo:
P: Hoy es martes
~ p: Hoy no es martes
Si “p” es una
proposición
verdadera, cómo es
~ p ?
![Page 7: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/7.jpg)
Negación
Como sinónimos de no, se utilizan las
siguientes expresiones:
No es cierto que ……..
No es el caso que………….
Es falso que…………
No sucede que…………….
![Page 8: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/8.jpg)
Negación
Podemos representar la
negación de una
proposición cualquiera
“p” en forma
“compacta”, utilizando
una tabla.
A esta tabla se le llama
“tabla de certeza o tabla
de verdad de la
negación”
p ~ p
V F
F V
Posibilidades para la proposición p
![Page 9: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/9.jpg)
Conjunción…”y”
La conjunción de dos proposiciones se forma
insertando la palabra “y” entre ellas.
“Hoy es día de fiesta y amaneció lloviendo”
“Me llamo Rosmary y soy Psicopedagoga”
“ Te llamas Carmen y eres técnico en Artes de
Fuego”
![Page 10: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/10.jpg)
Conjunción…”y”
Si p y q son
proposiciones, se
llama conjunción de p
y q a la proposición
compuesta “p y q “ y
se denota por:
p q
Ejemplos:
p: Hoy es martes
q: La luna es cuadrada
r: mañana es miércoles
p q :Hoy es martes y la
luna es cuadrada
p r :Hoy es martes y
mañana es miércoles
![Page 11: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/11.jpg)
Conjunción
Para construir la tabla de p q, debemos considerarlas diferentesalternativas de valores de verdadpara p y para q:
¿Cuáles son ? Ambas verdaderas
una V y la otra F
ambas falsas
p q p q
V V V
V F F
F V F
F F F
![Page 12: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/12.jpg)
Conjunción….”y”
Se toman como “sinónimos” de la conjunción:
Además PeroSin embargoAunqueTambiénAúnA la vezNo obstante
![Page 13: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/13.jpg)
Conjunción: p q
Luis estudia ,además de trabajar Luis estudió pero no aprobó Luis canta, sin embargo no baila Luis jugó futbol aunque estaba
lesionado Luis juega futbol , también José Luis salió, aún no llega Luis cocina a la vez que canta Luis viajará no obstante esté sin visa Luis canta, no baila.
![Page 14: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/14.jpg)
Conjunción: p q
No siempre “y” denota una conjunción ……………………Ejemplo:Silvia y Nelly son hermanas
Esta es una proposición (simple), en donde el “y” permite establecer la relación entre los sujetos.
![Page 15: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/15.jpg)
Disyunción….”o”
La disyunción de dos proposiciones se forma insertando la palabra “o” entre ellas.
“Hoy es día de fiesta o amaneció lloviendo”
“Me llamo Rosmary o soy Psicopedagoga”
“ Te llamas Carmen o eres técnico en Artes de Fuego”
![Page 16: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/16.jpg)
Disyunción
Si p y q son proposiciones, se llama disyunción de p y q a la proposición compuesta “p o q” y se denota por:
p q
p q p q
V V V
V F V
F V V
F F F
![Page 17: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/17.jpg)
Disyunción
Seré cantante o futbolista
p: Seré cantante
q: Seré futbolista
Simbolización:
p q
p q p q
V V V
V F V
F V V
F F F
![Page 18: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/18.jpg)
Condicional
Si p y q son proposiciones, se llama condicional de p y q a la proposición compuesta “si p, entonces q” y se denota por:
p q
Ejemplos:
Si no llueve (entonces) iremos a la playa
Si me gano la lotería (entonces) me voy de viaje
Si no estudio (entonces) no aprobaré Lógica
![Page 19: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/19.jpg)
Condicional
Veamos la tabla del condicional:
p q
Conviene pensar en una “promesa” ..... Si no llueve (entonces)iremos a la playa
p q p q
V V V
V F F
F V V
F F V
![Page 20: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/20.jpg)
Condicional
Algunas expresiones del lenguaje que indican la presencia de un condicional (p q), son las siguientes: p es condición suficiente para q
Si p, q
q si p
Que p supone que q
Cuando p, q
q es condición necesaria para p
En caso de que p entonces q
p sólo si q
![Page 21: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/21.jpg)
Condicional
El condicional es falso, sólo cuando el antecedente es verdadero y el consecuente es falso; es decir, cuando la “promesa” no se cumple.
p q p q
V V V
V F F
F V V
F F V
![Page 22: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/22.jpg)
Tablas de verdad
Recordemos que el valor de certeza deuna proposición compuesta depende de losvalores de certeza de las proposicionessimples que la componen
Para analizar los valores de certeza deuna proposición compuesta, representamostodas las posibilidades de valores deverdad de las proposiciones simples, en unarreglo de tabla.
![Page 23: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/23.jpg)
Ejemplo con 1 proposición simple
Construyamos la tabla de verdad para la siguiente proposición :
p(~pp) 2 filas de posibilidades: p verdadero y p falso.
p ~p
V F
F V
~pp p(~pp)
V V
F V
![Page 24: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/24.jpg)
Ejemplo con 2 proposiciones simples
Construyamos la tabla de verdad para la siguiente proposición :(pq)(p~q)
4 filas de posibilidades
p q
V V
V F
F V
F F
pq p~q
V F
F V
F V
F V
~q
F
V
F
V
(pq)(p~q)
F
F
F
F
![Page 25: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/25.jpg)
Ejemplo con 2 proposiciones simples
Otra manera para (pq)(p~q)
p q
V V
V F
F V
F F
(p q) (p ~ q)
V
F
F
F
1
F
V
F
V
2
F
V
V
V
3
F
F
F
F
4
![Page 26: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/26.jpg)
Ejemplo con 3 proposiciones simples
¿Cuántas posibilidades tendremos?
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
![Page 27: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/27.jpg)
Ejemplo con 3 proposiciones simples
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
rp qp ~(qp)
V V F
V V F
V V F
V V F
V V F
F V F
V F V
F F V
(r p) ~(qp)
F
F
F
F
F
F
V
F
Hacer la tabla de certeza para: (rp) ~(qp)
![Page 28: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/28.jpg)
En resumen
Una tabla de verdad para proposiciones compuestas que contienen:
1 proposición simple… tendrá 2 filas
2 proposiciones simples
3 proposiciones simples
4 proposiciones simples
……razonando inductivamente……..
n proposiciones simples
4 = 22 filas8 = 23 filas
16= 24 filas
2n filas
![Page 29: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/29.jpg)
Formas de expresar un condicional…….
Si es caraqueño, es venezolano (p q) Es venezolano, siempre que sea caraqueño Es venezolano si es caraqueño Es suficiente que sea caraqueño para que sea
venezolano Siempre y cuando sea caraqueño, será
venezolano. Es necesario que sea venezolano para ser
caraqueñoTODAS ESTAS EXPRESIONES SE
SIMBOLIZAN COMO: p q
![Page 30: Taller2 Logica Proposicional](https://reader033.fdocuments.net/reader033/viewer/2022052208/558875f0d8b42aa36e8b46df/html5/thumbnails/30.jpg)
Partes de un condicional
p q
antecedente
Condición suficiente
consecuente
Condiciónnecesaria