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

pq

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

pq

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

pq

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

pq

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

~p

~pp

p(~pp)

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

Ejemplo con 3
proposiciones simples

Cuntas
posibilidades
tendremos?

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

Ejemplo con 3
proposiciones simples
Hacer la tabla de certeza para: (rp) ~(qp)
p

rp

qp

~(qp)

(r p) ~(qp)
F
F
F

F
F

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