Lgica Proposicional

Adaptado por la Ing. Zamantha Gonzlez Asesora rea de Sistemas UNA Cojedes

Tarea de la lgica
Determinar la falsedad o verdad de una premisa es tarea de la ciencia en general El lgico no est interesado en la verdad o falsedad de las proposiciones sino en las relaciones lgicas entre ellas, es decir, la validez de los argumentos en que pueden aparecer. La lgica nos da los elementos para afirmar sobre la validez de un argumento

Proposicin
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 nmero primo Las araas son mamferos

Proposiciones compuestas Conectivos

Conocido el valor de verdad de ciertas proposiciones, la lgica establece el valor de verdad de otras relacionadas con stas.

A stas ltimas se les conoce como proposiciones compuestas

Lgica proposicional
Cada proposicin es representada por una letra, tradicionalmente p, q, r,

Tenemos conectores lgicos: y (), o (), no (), implicacin () Definidos a travs de una tabla de verdad pq

Negacin
Si p es una proposicin, entonces no p es la negacin de p y se denota por: ~p Ejemplo: P: Hoy es martes ~ p: Hoy no es martes Si p es una proposicin verdadera, cmo es ~p ?

Negacin
Como sinnimos de no, se utilizan las siguientes expresiones: No es cierto que .. No es el caso que. Es falso que No sucede que.

Negacin
Podemos representar la Posibilidades para negacin de una proposicin cualquiera p en forma p compacta, utilizando una tabla. V A esta tabla se le llama tabla de certeza o tabla F de verdad de la negacin
la proposicin p

~p
F

Conjunciny
La conjuncin de dos proposiciones se forma insertando la palabra y entre ellas. Hoy es da de fiesta y amaneci lloviendo Me llamo Rosmary y soy Psicopedagoga Te llamas Carmen y eres tcnico en Artes de Fuego

Conjunciny
Si p y q son proposiciones, se llama conjuncin de p y q a la proposicin compuesta p y q y se denota por: pq Ejemplos: p: Hoy es martes q: La luna es cuadrada r: maana es mircoles p q :Hoy es martes y la luna es cuadrada p r :Hoy es martes y maana es mircoles

Conjuncin
Para construir la tabla de p q, debemos considerar las diferentes alternativas de valores de verdad para p y para q: Cules son ?
Ambas verdaderas una V y la otra F ambas falsas

p V
V F F

q V
F V F

pq V
F F F

Conjuncin.y
Se toman como sinnimos de la conjuncin: Adems Pero Sin embargo Aunque Tambin An A la vez No obstante

Conjuncin: p q
Luis estudia ,adems de trabajar Luis estudi pero no aprob Luis canta, sin embargo no baila Luis jug futbol aunque estaba lesionado Luis juega futbol , tambin Jos Luis sali, an no llega Luis cocina a la vez que canta Luis viajar no obstante est sin visa Luis canta, no baila.

Conjuncin: p q
No siempre y denota una conjuncin Ejemplo: Silvia y Nelly son hermanas

Esta es una proposicin (simple), en donde el y permite establecer la relacin entre los sujetos.

Disyuncin.o
La disyuncin de dos proposiciones se forma insertando la palabra o entre ellas. Hoy es da de fiesta o amaneci lloviendo Me llamo Rosmary o soy Psicopedagoga Te llamas Carmen o eres tcnico en Artes de Fuego

Disyuncin
Si p y q son proposiciones, se llama disyuncin de p y q a la proposicin compuesta p o q y se denota por: pq

p V
V F F

q V
F V F

pq V
V V F

Disyuncin
Ser cantante o futbolista p: Ser cantante q: Ser futbolista Simbolizacin: pq
p V V q V F pq V V

F
F

V
F

V
F

Condicional
Si p y q son proposiciones, se llama condicional de p y q a la proposicin compuesta si p, entonces q y se denota por: pq Ejemplos: Si no llueve (entonces) iremos a la playa Si me gano la lotera (entonces) me voy de viaje Si no estudio (entonces) no aprobar Lgica

Condicional
Veamos la tabla del condicional: pq Conviene pensar en una promesa ..... Si no llueve (entonces) iremos a la playa

p V
V F F

q V
F V F

pq V
F V V

Condicional
Algunas expresiones del lenguaje que indican la presencia de un condicional (p q), son las siguientes:
p es condicin suficiente para q Si p, q q si p Que p supone que q Cuando p, q q es condicin necesaria para p En caso de que p entonces q p slo si q

Condicional
El condicional es falso, slo cuando el antecedente es verdadero y el consecuente es falso; es decir, cuando la promesa no se cumple. p V V F F q V F V F pq V F V V

Tablas de verdad
Recordemos que el valor de certeza de una proposicin compuesta depende de los valores de certeza de las proposiciones simples que la componen Para analizar los valores de certeza de una proposicin compuesta, representamos todas las posibilidades de valores de verdad de las proposiciones simples, en un arreglo de tabla.

Ejemplo con 1 proposicin simple

Construyamos la tabla de verdad para la siguiente proposicin : p(~pp) 2 filas de posibilidades: p verdadero y p falso. p
V F

~p
F V

~pp
V F

p(~pp)
V V

Ejemplo con 2 proposiciones simples

Construyamos la tabla de verdad para la siguiente proposicin :(pq)(p~q) 4 filas de posibilidades
p V V F F q V F V F ~q F V F V pq V F F F p~q F V V V
(pq)(p~q)

F F
F F

Ejemplo con 2 proposiciones simples

Otra manera para (pq)(p~q)

p V V F F

q V F V F

(p q) (p ~ q)
V
F F F
1

F
F F F
4

F
V V V
3

F
V F V
2

Ejemplo con 3 proposiciones simples

p V V V V F F F F q V V F F V V F F r V F V F V F V F

Cuntas posibilidades tendremos?

Ejemplo con 3 proposiciones simples

Hacer la tabla de certeza para: (rp) ~(qp)
p q r

rp
V V

qp
V V

~(qp)
F F

V
V V

V
V F

V
F V

(r p) ~(qp)
F
F F

V
V V

V
V V

F
F F

V
F

F
V

F
V

F
F

F
F F

V
F F

F
V F

F
V

V
F

F
V

F
V F

En resumen
Una tabla de verdad para proposiciones compuestas que contienen: 1 proposicin simple tendr 2 filas 2 proposiciones simples 3 proposiciones simples 4 proposiciones simples razonando inductivamente.. n proposiciones simples

4 = 22 filas 8 = 23 filas 16= 24 filas

2n filas

Formas de expresar un condicional.

Si es caraqueo, es venezolano (p q) Es venezolano, siempre que sea caraqueo Es venezolano si es caraqueo Es suficiente que sea caraqueo para que sea venezolano Siempre y cuando sea caraqueo, ser venezolano. Es necesario que sea venezolano para ser caraqueo TODAS ESTAS EXPRESIONES SE SIMBOLIZAN COMO: p q

Partes de un condicional

p q
antecedente Condicin suficiente
consecuente

Condicin necesaria