LGICA PROPOSICIONAL

Profesora: Claudia Echevarria Camargo

Se
Se dice
dice que
que para
para sacar
sacar
una
una conclusin
conclusin ,hay
,hay que
que
tener
tener la
la informacin,
informacin,
pero
pero se
se puede
puede concluir
concluir
solo
solo aa partir
partir de
de datos?
datos?

Cada
mano
dibuja
entre si
una
manga de
camisa?

Qu observas?
Hay operarios arreglando la cerca y el piso, o
estn reparando la terraza y hay gente que
intenta subir?

Son posibles esas imgenes?

Por qu?
Qu ocurre si solo nos dejamos llevar por

nuestros sentidos?
Es necesario tener la informacin en un

contexto ?
La lgica nos permite ir ms all de la
informacin que nos proporcionan nuestros
sentidos y en un contexto determinado.

Es una disciplina que mediante reglas y tcnicas

estudia la forma del razonamiento.
En matemtica se emplea para demostrar teoremas;
en computacin, para validar un programa; en
fsica, para dar conclusiones de experimentos y, en
la vida cotidiana, para cualquier trabajo que se
realiza ya que tiene un procedimiento lgico.
Gracias a ella, el ser humano distingue la realidad
de la percepcin y defiende sus puntos de vista con
argumentos basados en hechos y datos. Esto lo
logra utilizando su inteligencia y con la ayuda de los
conocimientos adquiridos.

El enunciado

Es la unidad mnima de comunicacin.

Tiene sentido concreto y completo

dentro de la situacin.

Puede estar compuesto por un solo

signo o por muchos.

Queda delimitado por pausas.

Tiene una determinada curva de

entonacin.
7

El enunciado
Puede haber
enunciados
muy largos

y muy cortos

Parece claro que en

este texto se pone
en tela de juicio la
relacin de
consustancialidad
cuantitativa que es
constitutiva de la
concepcin
saussuriana del
signo.
S.
8

Tipos de enunciado
FRASE
Carecen de verbo
en forma personal

Lstima de gato!

ORACIN
Tienen al menos un verbo
en forma personal

Este pobre gato peligra entre

tanto perro
9

Qu es una proposicin?
Es un enunciado coherente que se posee un valor
de verdad: verdadero (v) o falso (f), sin
ambigedades y en determinado contexto.
Ejm :
(2+3 ) = 4 + 9 (falso)
Lima es una ciudad de la costa del Per.
(verdadero)
Se simboliza con letras minsculas (p; q; r; etc.)

EJEMPLIFICANDO
Identifica las expresiones que son

proposiciones:
Sofa Mulanovich
c fue campeona mundial de

tabla en el 2004.
Tal vez compre un obsequio.
c
Formul una
c pregunta difcil de responder.
c
3+2=5.
Dos nmeros enteros distintos pueden sumar
cero.
Ojal tomen lo que he estudiado!

Cules son los tipos de

proposiciones?

Simples: Son aquellas que tienen una

nica idea, es decir una sola afirmacin,

siempre en positivo.
Ejem.
-6 es un nmero entero
Los universitarios tienen carnet de
medio pasaje.

Compuestas: Son aquellas que tienen

dos o ms proposiciones .
Ejem. Cusco est en el Per y el Per
est en
Sudamrica
Si x =4 x=2 o x=-2

EJERCITNDONOS
Identifica si la proposicin es compuesta

(C) o simple (S).

Pablo es culto.
Tres no es mayor que 5.

S
C

C
Los cuadrilteros tienen cuatro lados.

Ana y Jos son esposos.

Rosa tiene 20 aos.

Ana y Jos estn casados.

No es cierto que 34 sea igual a 243.

CONECTORES LGICOS
Llamados tambin operadores
lgicos , son palabras que
sirven
para
enlazar
proposiciones
simples
o
cambiar el valor de verdad de
una proposicin.

CONECTORES LGICOS
CONECTOR

SMBOLO

ESQUEMA

SIGNIFICAD
O

VALOR DE VERDAD

CONJUNCIN

pq

pyq

V si ambas
proposiciones son V

DISYUNCIN
INCLUSIVA

pq

poq

F solo si ambas
proposiciones son F

opoq

F si ambas
proposiciones tienen
igual valor de verdad
F solo si la primera
proposicin es V y la
segunda es F
Lo opuesto al valor de
la proposicin

DISYUNCIN
EXCLUSIVA

p q

CONDICIONAL

pq

si p,
entonces
q

NEGACIN

no p

CONECTORES LGICOS
CONECTOR

EXPRESIONES EQUIVALENTES

CONJUNCIN

Sin embargo, aunque, tambin, pero,

adems, a la vez, no obstante, etc.

CONDICIONAL

Por consiguiente, puesto que, porque, ya que,

etc.

NEGACIN

No es cierto que, es falso que, no es el caso

que, etc.

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

Negaci
Si p es una
n
proposicin,

Qu sucede con

la negacin de p,
entonces no p es la
siendo p
negacin de p y se
verdadero?
denota por:
Qu sucede con
~p
la negacin de p,
siendo p falso?
Ejemplo:
p: Hoy es martes
~ p: Hoy no es martes

Negaci
Esto lo podemos
n escribir
de una
manera
Posibilidades para
compacta,
utilizando una
p
tabla
A esta tabla se le
V
llama tabla de
certeza de la
F
negacin

la proposicin p

~p
F
V

Negaci
Como
sinnimos de
no,
n
las siguientes expresiones:
No es cierto que ..
No es el caso que
Es falso que
No sucede que.

se

utilizan

Conjunci
Si p y q son
n
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

Conjunci
n
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

Conjunci
Se toman como sinnimos de la
n
conjuncin:
Adems

Tambin

Pero

An

Sin embargo
Aunque

A la vez
No obstante

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

Conjuncin: p
No siempre
y denota una conjuncin
^
q

Ejemplo:

Silvia y Nelly son hermanas

Esta es una proposicin (simple), en donde

el y permite establecer la relacin
entre los sujetos.

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

pq

Disyunci
n
Ser

cantante

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

p
q

Condicion
Si p y q son
alproposiciones, 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

Condicion
Veamos la tabla
aldel condicional:

pq

pq

Conviene pensar en

una promesa .....

Si no llueve
(entonces) iremos a
la playa

Condicion
El condicional es
alfalso, 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

Condicio
El condicional es
nal
muy importante en
matemticas, porque
los Teoremas se
expresan en forma
condicional.
Un Teorema ser un
condicional
verdadero con
hiptesis verdadera

p
V

q
V

pq
V

Condicio
Algunas expresiones del lenguaje que
nal
indican la presencia de un condicional
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
q slo si p

(p

Condicional y
En los Teoremas, al antecedente del
Teoremas
condicional (p) se le llama Hiptesis y al
consecuente (q) se le llama Tesis o
Conclusin
Los Teoremas requieren de una
demostracin; es decir, partiendo de una
hiptesis verdadera, hay que demostrar que
la Conclusin es verdadera.

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

Tablas de verdad
Conjuncin
p

negacin
p

disyuncin
p

condicional
q

bicondicional
q

v v

f
v

f
v

v
f

v
v v v

v v v
f

v v

f
v v

v v
f

f v

v v
f
v

f f
v

Ejemplo con 2
Construyamos la tabla de verdad para la
proposiciones
simples
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 3
p
q
r
proposiciones simples
Cuntas

posibilidades
tendremos?

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

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

(r p) ~(qp)
F

~(qp
)
F

rp

qp

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

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

razonando inductivamente..
n proposiciones simples

2n filas

Formas de expresar un condicional.

Si es Chiclayano, es Peruano (p q)
Es Peruano, siempre que sea Chiclayano
Es Peruano si es Chiclayano
Es suficiente que sea Chiclayano para que sea

Peruano
Siempre y cuando sea Chiclayano, ser Peruano.
Es necesario que sea Peruano para ser
Cliclayano
TODAS ESTAS EXPRESIONES SE SIMBOLIZAN
COMO: p q

Partes de un condicional

p q

antecedente
Condicin
suficiente

consecuente
Condicin
necesaria

Formas derivadas del condicional

Dado el condicional directo: p q, el

condicional ~ p ~q se llama contrario y

lo expresaramos: si no p, entonces no q

Directo: p q

Si repruebo el examen, entonces me enojar

bastante
Contrario: ~ p ~q
Si no repruebo el examen, entonces no me
enojar bastante

Formas derivadas del condicional

Dado el condicional directo: p q, el

condicional q p se llama recproco y lo

expresaramos:
si q, entonces p
Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Recproco: q p
Si me enojo bastante , entonces reprobar el
examen

Formas derivadas del condicional

Dado el condicional directo: p q, el

condicional ~ q ~p se llama
contrarrecproco y lo expresaramos: si no
q, entonces no p
Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Contrarrecproco: ~ q ~p
Si no me enojo bastante, entonces no repruebo
el examen

Formas derivadas
Directo

Recproco

p
q

q
p

~p
~
q
Contrario

~q
~
p
Contrarrecproco

recprocos
contrarrecprocos

contrarios

Ejemplo
Hallar las formas derivadas del siguiente

condicional:
Si un nmero es par, entonces es mltiplo de
4. . V o F?
Falso (contraejemplo: 2)
Recproco:
Si un nmero es mltiplo de 4 entonces es
par. ..V o F?
Verdadero!

Ejemplo
Directo: p q

Si un nmero es par, entonces es mltiplo de 4.

Contrario: ~ p ~ q
Si un nmero no es par, entonces no es
mltiplo de 4
Verdadero!

Ejemplo
Directo: p q

Si un nmero es par, entonces es mltiplo de 4.

Contrarrecproco: ~ q ~ p
Si un nmero no es mltiplo de 4, entonces
no es par
Falso.. 2 no es mltiplo de cuatro y es par
(antecedente verdadero, consecuente
falso)

Ejercicios
1. Escribir las formas derivadas para:

a) (r ~q) p.

b)Si yo digo s, ella dice no.

2. Construye una proposicin verdadera que

incluya un condicional, una conjuncin, una

disyuncin y una negacin (no
necesariamente en ese orden), que conste
de las componentes p, q y r con todas ellas
falsas.

Ejercicios
Escribe el recproco, el inverso y el

contrarrecproco de cada una de las

proposiciones siguientes:

Si q, entonces r
~ p (~ q )
~p~ (r q )
El sol brilla si ests feliz.
Si tu automvil no tiene aire acondicionado,
no tendrs amigos.

EJEMPLIFICANDO
Determina el valor de verdad de las siguientes

expresiones, si sabes que:

(V)

p: Mara es doctora.
(F)
q: Mara es casada.
(V)
r: Mara vive con sus padres.
(F)
s: Mara viajar a Espaa.
(q r) s
(p r) (p q)
(F F) F
(V V) (V F)
V F
V F
F
V

EJEMPLIFICANDO
Dadas las siguientes proposiciones:
p : Estudio sistemticamente
q : Obtendr buenas calificaciones en lgebra
r : Voy a bailar todos los fines de semana
s : Me sentir feliz

Escriba con palabras la siguiente proposicin:

(~ p r ) ~ q
Si no estudio sistemticamente y voy a bailar
todos los fines de semana entonces no
obtendr buenas calificaciones en lgebra.

EJEMPLIFICANDO
Dadas las siguientes proposiciones:
p : a es un nmero par
q : 2a es un nmero par
r : a es un mltiplo de 6
s : a < 10

Escribe con smbolos la siguiente proposicin:

Si a es un nmero par y mltiplo de 6, entonces
2a es par o a es menor que 10
p rqs

Veamos
Veamos otras
otras
aplicaciones
aplicaciones de
de la
la
lgica
lgica

EL ACERTIJO DEL REY

Un rey plantea a los pretendientes de su hija

lo siguiente:
Se casa con mi hija quien determine en cual
de los cofres se encuentra mi retrato
Si se sabe que de las inscripciones solo una
es falsa, en cul de los cofres se encuentra el
retrato?

EL ACERTIJO DEL REY

Recuerda solo una

inscripcin es falsa

A
EL RETRATO ESTA EN
ESTE COFRE
B
EL RETRATO NO ESTA
EN ESTE COFRE
C
EL RETRATO ESTA EN
EL COFRE DEL
CENTRO

SOLUCION
Analizando lo escrito en el cofre A:
Si A es verdadero, entonces B es verdadero y C es
falso.
Analizando lo escrito en el cofre B:
Si B es verdadero, entonces C es falso y A es
verdadero.
Analizando lo escrito en el cofre C:
Si C es verdadero, entonces A es falso y B es falso.
Por lo tanto, el retrato se encuentra en el cofre: A

OBSERVA EL SIGUIENTE
TABLERO
PROPOSICIN DISYUNTIVA EXCLUSIVA

PROPOSICIN SIMPLE

TABLERO DE
PROPOSICIONES
LGICAS
PROPOSICIN CONJUNTIVA

PROPOSICIN CONDICIONAL

PROPOSICIN NEGATIVA

UBICA ESTAS PROPOSICIONES

SEGN CORRESPONDA
No es cierto
que Quito est
en Chile.

2 es nmero
par o primo.

Si apruebo el
curso de
ciencias
entonces
conservo la
beca.

Es invierno pero
hace calor.

W. Mozart fue
un compositor

EVALUNDONOS
Qu aprendimos?
Cmo lo aprendimos?
Por qu es til lo

aprendido?

Equipo de lgico matemtico