Razonamiento Lgico

Matemtico

Gonzales Caicedo
Walter Orlando

www.goncaiwo.wordpress.com

Pimentel, Febrero de
2010

Contenido
1. Lgica Proposicional
2. Simbolizacin y valoracin de proposiciones
3. Ejercicios aplicativos

Objetivo
Presentar los conceptos bsicos de la
lgica proposicional.

Capacida
d

Analiza y resuelve problemas

matemticos
de
su
entorno
aplicando reglas, principios e
inferencias relacionados a la
Lgica Proposicional .

Lgica Proposicional
La lgica es la rama del conocimiento que trata
los modelos de razonamiento, mediante reglas y
tcnicas, con el fin de determinar si un argumento
dado es vlido. El tema que nos ocupa es el de la
lgica usada en matemticas. Aqu trabajamos con
elementos bsicos llamados Proposiciones.
Enunciado: Es toda expresin lingstica, que
constituye una frase u oracin.
Proposicin: Enunciado que puede ser falso o
verdadero pero no ambas a la vez. La proposicin
es un elemento fundamental de la lgica
matemtica. La verdad o falsedad de una
proposicin es lo que se llama su valor de verdad.

Ejemplos
Son proposiciones lgicas:

Orlando y Ana van a estudiar en la USS.

Orlando llam a Ana para salir.

El autobs pasa a las siete.

Maana llover.

Chimbote est entre Trujillo y Casma.

El IFB forma profesionales para desempearse en

bancarias.

las entidades

No son proposiciones lgicas:

Sintate!

Cundo sale el autobs?

Fueron a pescar Orlando y Ana finalmente?

Las creencias, mitos o leyendas. As como:Dios es un ser misericordioso

Manco Cpac y Mama Ocllo fueron enviados por el sol

Las metforas o refranes. As como: El Per es un mendigo sentado en

un banco de oro. Has el bien, sin mirar a quin

Las supersticiones. As como: Hoy da me ir muy mal por ser Martes 13

Pase por debajo de una escalera

SIMBOLIZACIN Y VALORACIN DE PROPOSICIONES

SIMBOLIZACIN

Segn los datos histricos, Aristteles introdujo las letras

como:
p, q, r, etc., con la finalidad de representar a cada proposicin
declarativa.
Las variables proposicionales slo pueden asumir los
valores de verdad (V) o falsedad (F).
As tenemos:
Para dos proposiciones: p, q se tiene la siguiente tabla de
verdad:

F
F

..

..

 Conectivos
Se denominan
Lgicos:
conectivos lgicos a aquellas palabras o
trminos funcionales que ligan, juntan, unen o
enlazan las proposiciones simples formando
proposiciones compuestas. Los operadores o
conectores
CONECTIVObsicos
SMBOLOson:
NOMBRE DE LA PROPOSICIN
No

Negacin

Conjuncin

Disyuntiva inclusiva

o. . . o. . .

Disyuntiva exclusiva

Si entonces...

Condicional

si y slo si

Bicondicional

Negacin (~):

Es un conectivo singular. Se denomina

proposicin negativa aquella que cambia el valor de la
proposicin original. Se denota por: ~p, -p, p y se lee: no p.
La negacin, puede traducirse como: Es falso que... No es el
caso que ... Jams ...
Ejemplo:
p = La luna es un satlite.
~p = No es cierto que la luna es un satlite.

Conjuncin:
Dadas las proposiciones p, q. La conjuncin es el
resultado de unir estas proposiciones con el conectivo
lgico y. Se denota con el smbolo: , , se
escribe p q, p q y se lee: p y q. La
proposicin conjuntiva es verdadera. Cuando las dos
proposiciones son verdaderas. En nuestro lenguaje
podemos emplear: Sin embargo An cuando No
obstante Pero, etc.
Ejemplo:
Consideremos las siguientes proposiciones:
p: La camioneta enciende cuando tiene gasolina en el
tanque
q: Tiene corriente la batera
Entonces:
p q: La camioneta enciende cuando tiene gasolina
en el tanque y tiene corriente la batera

Disyuncin:
Es una proposicin compuesta formada por p y por q
relacionadas por el conectivo lgico o. Segn el sentido
del conectivo o, se puede interpretar de dos maneras:
inclusiva o exclusiva.
Disyuncin Inclusiva o Dbil: Se denota por p q,
p + q y se lee: p o q. La disyuncin inclusiva es falsa
slo en el caso que ambas proporciones sean falsas. Se
conoce como la suma lgica. Otras formas de conexin
que nos indican una disyuncin inclusiva son:
A menos que, Excepto que, O en todo caso, A no ser que,
etc.
Ejemplo: Consideremos:
p : La USS es privada
q : La USS es estatal
Entonces:
p q: La USS es privada o en todo caso la USS es
estatal

Disyuncin Exclusiva o Fuerte:

Se denota por: p q, p V q, p q, p q, p q y se
lee: p o q pero no ambos. La disyuncin exclusiva es
verdadera slo cuando una de las proposiciones es
verdadera. Alguna formas de conectivos a emplear son:
O ... o ...
O bien ... o bien ...
... no
equivale a ...
No es cierto que...equivale a...
O solo .... o
solo ....
Ejemplo: Consideremos:
p : viajo a Espaa
q : viajo a Brasil
Entonces:
p q : O viajo a Espaa o viajo a Brasil

Condicional:
Proposicin compuesta que resulta de la combinacin de dos
proposiciones simples, a travs del conectivo: Si ...,
entonces ... y su smbolo es : , . La notacin p
q, p q se lee Si p , entonces q ; proposicin p se
llama antecedente o hiptesis y la proposicin q se llama
consecuente o conclusin.
La manera de expresar la condicional en el orden
antecedente-consecuente (p q Implicacin directa),
son las siguientes:
Si p, entonces q

p implica q

p por ende q

Puede tambin expresarse en el orden consecuenteantecedente (q p Implicacin inversa), son:

q siempre que p
p

Slo cuando p, q

q cada vez que

Ejemplo: consideremos:
p : Llueva
q : Mejorarn las cosechas
De tal manera que la representacin del enunciado anterior
usando simbologa lgica queda indicado por:
p q : Siempre que llueva entonces mejoraran las
cosechas
q p : Mejoraran las cosechas siempre que llueva

Bicondicion
Cuando
dos proposiciones estn unidas por el conectivo lgico
al:

... si y slo si ..., cuyo smbolo es: , , . La

proposicin compuesta se denota por: p q, p q, p q
y se lee: p si y slo si q. La proposicin bicondicional
solamente es verdadera si tanto p como q son falsas o bien
ambas verdaderas.
Tambin se suele emplear expresiones como:
siempre y cuando
cual
Si y slo si p, q

por lo cual y segn lo

es lo mismo que

Ejemplo: Consideremos:
p : Los bancos dan crdito
q : Mirta labora en el IFB
De tal manera que la representacin del enunciado
anterior usando simbologa lgica queda indicado por:
p q : Los bancos dan crdito siempre y cuando
Mirta labora en el IFB.
RESUMEN DE TABLAS DE VERDAD

~p

pq

pq

p q

p q

pq

VALORACIN DE
PROPOSICIONES
Hasta el momento hemos conocido la simbolizacin
de las proposiciones tanto atmicas como las
proposiciones moleculares. Para determinar los
valores de verdad a las segundas, es necesario
tener en cuenta las tablas de verdad de las
proposiciones atmicas ya que, slo ellas pueden
recibir directamente los valores de verdad.
Considere los siguientes ejemplos:
Si los alumnos aprueban todos los cursos,
entonces obtienen su bachillerato o su titulo.
Tenemos las proposiciones:
p : Los alumnos aprueban todos los
cursos
q : Obtienen su bachillerato
r : Su titulo
Se simboliza:
p (q r)

La tabla de verdad
esta dado por:

para el esquema molecular,

(q r)

Contingencia: Aquella expresin, que en su

conectivo principal resulten valores verdaderos y
falsos a la vez, para todas las posibles asignaciones
de la tabla de verdad.

Siempre que salga el sol entonces iremos a la

playa, sin embargo sale el sol. Por tanto iremos a la
playa.
Tenemos las proposiciones:

p : Sale el sol
q : Iremos a la playa
Se simboliza:

(p q) p q
La tabla de verdad para el esquema molecular,
esta dado por:
(p q) p q

FV VF

FF VV

FF VF

VV VV

Tautologa: Una expresin

es tautolgica, cuando los
valores de su conectivo
principal
resultan
ser
verdaderos, para todas las
asignaciones posibles de la
tabla de verdad.

La crisis mundial afecta a los pases de bajos

recursos econmicos pero los analistas en
economa buscan soluciones, a pesar de que la
crisis mundial no afecta a los pases de bajos
recursos.
Tenemos las proposiciones:
p : La crisis mundial afecta a los pases
de bajos recursos econmicos
q : Los analistas en economa buscan
soluciones
p : La crisis mundial no afecta a los
pases de bajos recursos econmicos
Se simboliza:

(p q) p

La tabla de verdad para el esquema molecular,

esta dado por:
(p q) p

F V

F V

F
F

Contradiccin: La expresin resulta ser una

contradiccin, cuando los valores de su conectivo
principal resultan ser falsos, para todas las
asignaciones posibles de la tabla de verdad.

Ejercicios Aplicativos
Formaliza
las
proposiciones:

siguientes

1. No es cierto que no me guste estudiar

2. Me gusta bailar y leer libros de ciencia ficcin.
3. Si los gatos de mi hermana no soltaran pelo, me
gustara acariciarlos.
4. Si y slo si viera un marciano con mis propios ojos,
creera que hay vida extraterrestre.
5. Cajamarca es una ciudad minera por excelencia de
modo que invertir en minera es la mejor opcin.
6. Cuando la produccin de una empresa aumenta, en
consecuencia aumenta la productividad y en algunos
casos la demanda.
7. Prefiero ir de vacaciones o estar sin hacer nada si tengo
tiempo para ello y no tengo que ir a trabajar al banco.

Solucin
Solucin (1):
Se simboliza:
Solucin (2):
Se simboliza:
Solucin (3):
Se simboliza:
Solucin (4):

p = Me gusta estudiar
(p)
q = Me gusta bailar
r = Me gusta leer libros de ciencia ficcinse
qr
u = Los gatos de mi hermana sueltan pelo
t = Me gusta acariciar los gatos
u

p = Ver un marciano con mis propios ojos

q = Creer en los extraterrestres
Se simboliza:

pq

Solucin (5):
excelencia

q = Cajamarca es una ciudad minera por

p = Invertir en minera es la mejor opcin

Se simboliza:
Solucin (6):

qp
p = Cuando la produccin de una empresa aumenta
q = Aumenta la productividad
r = En algunos casos la demanda

Se simboliza:
Solucin (7):

p (q r)
s = Prefiero ir de vacaciones
t = Sin hacer nada
p = Tener tiempo para ello
q = Ir a trabajar al banco

Se simboliza:

(p q ) (s v t )

THANKS