UNIVERSIDAD PERUANA LOS

ANDES

Tema: Lgica Proposicional

Ing. Betzab Arteaga Flores

Pensamiento Lgico Matemtico

Tema: Lgica proposicional

- Introduccin
- Lenguaje proposicional
- Semntica
 Introduccin

Teniendo en mente que queremos presentar los

sistemas deductivos de la lgica como una herramienta
prctica, vamos a introducirnos en el estudio de la
lgica comenzando por la ms simple, la lgica de
proposiciones, que corresponde a la lgica que
simboliza y describe razonamientos basados en
enunciados declarativos.
LOGICA PROPOSICIONAL
Estudia las relaciones interproposicionales y
la funcin que desempean los elementos
lgicamente esenciales o conectivos.
Las proposiciones moleculares o
compuestas, se clasifican de acuerdo al
conectivo que las une.
 Proposiciones
Formalmente, se define una proposicin como un
enunciado declarativo que puede ser verdadero o falso, pero no
ambos a la vez. Las proposiciones se representan mediante
variables proposicionales simbolizadas mediante letras. Con la
combinacin de variables proposicionales y conjunciones se
obtienen frmulas sentenciales o sentencias. Estas pueden ser
Tautologa: es la sentencia que es verdadera.
Contradiccin o inconsistencia: es la sentencia que
es falsa.
Consistencia o Indeterminacin: es la sentencia que
no es verdadera ni falsa.
Ejm. El agua hierve a 100 centgrados
Los varones son fieles
 Clasificacin de las proposiciones
1. PROPOSICION SIMPLE O ATOMICA
Es aquella que dentro de sus signos no lleva conectivo
lgico. Est constituida por una sola expresin. La
proposicin simple tiene un solo sujeto y un solo
predicado.
Ejm. Rosita es encantadora
- Juan es ms alto que Toms
- Jos y Mara son esposos
- Trujillo est al norte de Lima.
2. COMPUESTAS O MOLECULARES

Son aquellas que estn formadas por dos o ms proposicioens simples;

llevan enlaces lgicos o conjunciones gramaticales.

Ejms.
Luis es pintor y chofer...................Llueve y hace fro
Tomo te o leche........................... Llueve o hace fro
Soy linda o soy fea....................... Llueve o sino hace fro
Si camino rpido entonces llego temprano....Si llueve entonces hace fro
Voy al teatro si y slo si tu me invitas...........Llueve si y slo si hace fro
Alina no es buena deportista.............No llueve
 Clases de Proposiciones
Compuestas
a) CONJUNTIVAS. Sus formas gramaticales son: y,
pero, como, adems, aunque, sin embargo, no
obstante.
Ejm. Matemtica y lenguaje son cursos importantes
p q
b) DISYUNCION INCLUSIVA O DEBIL. Cuando es
posible que sus miembros componentes sean
aceptados a la vez.
Ejm. Tomo agua mineral o gaseosa
p q
c)DISYUNCION EXCLUSIVA O FUERTE
Cuando slo uno de sus miembros quede ser aceptado; el otro
queda invlido.Ejm. Sobrevivo o muero despus de la operacin

d)CONDICIONALES
Entonces, pues, luego, por lo tanto, en consecuencia,
solamente si, si, porque, puesto que.
Ejm. Si Carlos estudia entonces triunfar
pq
Carlos triunfar, si estudia

q p
e) BICONDICIONAL
Si y slo si, entonces y slo entonces, es equivalente a
Ejm. Llueve si y slo si hay nubes negras
pq
f) NEGACION: No, ni, nunca, jams, ningn, es
imposible, no es cierto que. Ejms.
Jos no es un buen actor ~ p
No es cierto que seas juez o actor ~(p V q)
Es falso que no seas gordo ~ ~ p
 Seudoproposiciones

Expresiones no proposicionales (sin

sentido), aparentan serlo, pero no
presentan coherencia legtima entre
sujeto y predicado.

Ejms. El sol es muy simptico

La manzana quiere que la coma
El perro habla con claridad
 Smbolos Lgicos
a)VARIABLES PROPOSICIONALES
Son letras que reemplazan a las proposiciones simples o
atmicas: p,q,r,s,t.
1. No soy carioso.........................................................
2. Ingreso o no ingreso..................................................
3. Corro pero no llego....................................................
4. Si llueve, no me bao.................................................
5. Tengo sueo porque estoy cansado...........................
6. Soy responsable porque estudio y trabajo.................
7. Es imposible que si estudio, no aprenda.....................
b)OPERADORES PROPOSICIONALES
Llamados tambin constantes lgicas, conectores de enlace de las
variables proposicionales.
ENLACE OPERADORES LECTURA
Conjuncin ^ Y
Disyuncin dbil V O

Disyuncin fuerte V O...o...

Condicional Si...entonces
Bicondicional
Negacin

~
Si y slo si
No

c)SIGNOS DE AGRUPACION. Son los parntesis y corchetes que

agrupan a las proposiciones y los operadores.
Tablas de verdad

La tabla de verdad de una sentencia es

una tabla en la que se presentan todas
las posibles interpretaciones de las
variables proposicionales que
constituyen la sentencia y el valor de
verdad de la sentencia para cada
interpretacin.
Negacin
Ejm.
Consiste en cambiar el valor No es un pez ornamental
de verdad de una
variable proposicional.
Es imposible que sea un pez
p ~p ornamental.

========
No es cierto que sea un pez
ornamental.
V F
Jams ser un pez
F V ornamental.
 Conjuncin (Y)
Ejm.
La sentencia ser Mary canta y baila
verdadera slo
cuando ambas
variables Mary canta, adems de
proposicionales sean bailar
verdaderas.

Mary canta, sin embargo

p q pq
baila
=============
V V V
V F F Mary canta, aunque
tambin baila
F V F
F F F
 Disyuncin inclusiva o dbil (O)
La sentencia ser
verdadera cuando una
Ejm.
o ambas variables Julio es Ingeniero O Doctor
proposicionales sean
verdaderas.
Julio quizs sea ingeniero o doctor

p q pq
============= Julio puede ser ingeniero o a la
vez doctor.
V V V
V F V
F V V
F F F
 Disyuncin exclusiva o fuerte
Uno solo de sus Ejm.
miembros puede Soy terrcola o extraterrestre
ser aceptado
p q pq Soy terrcola o sino
extraterrestre
=============
V V F O soy terrcola o sino
extraterrestre
V F V
F V V
Soy terrcola, o de lo contrario
F F F extraterrestre.
 Condicional (Si ... entonces)
Ejm.
La sentencia ser verdadera
cuando se cumpla
Si tengo gripe entonces tendr fiebre
es vlido si p entonces lo es
q. Si tengo gripe por lo tanto tendr
fiebre
p q p q
Tendr fiebre porque tengo gripe
=================
V V V
Entonces tendr fiebre si tengo gripe
V F F
F V V
Si tengo gripe, en consecuencia
F F V
tendr fiebre
 Bicondicional (... Si y slo si...)
Ejm.
La sentencia ser
verdadera cuando Ser profesional, si y slo si,
ambas variables obtengo el ttulo
proposicionales sean
iguales. Ser profesional es equivalente a
obtener el ttulo
p q p q
==============
Ser profesional slo cuando
obtenga el ttulo
V V V
V F F
F V F Ser profesional, entonces y slo
entonces obtengo el ttulo
F F V