UNIVERSIDAD SEOR DE SIPN

CURSO:

LGICO MATEMTICA

Gonzales Caicedo Walter Orlando

Gua
2 0 10

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
 LGICA PROPOSICIONAL

1.1 Enunciados y Valor de Verdad

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.
1.1.1. Enunciado: Es toda expresin lingstica, que constituye una frase u oracin.
1.1.2. 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:
a) Las frmulas cientficas ya demostradas. As como:
(a + b) 2 = a 2 + 2ab + b 2 ; a, b R

b) Las leyes o hiptesis cientficas aceptadas. As como:

Todo cuerpo ejerce una fuerza de atraccin sobre otro
c) Los enunciados cerrados o definidos. As como:
+ + = 180; si , y = s internos de un mismo tringulo.
x + y = 50; si x = 10, y = 30
No son proposiciones lgicas:
a) Las creencias, mitos o leyendas. As como:
Dios es un ser misericordioso
Manco Cpac y Mama Ocllo fueron enviados por el sol
b) Las metforas o refranes. As como:
El Per es un mendigo sentado en un banco de oro
Has el bien, sin mirar a quin
c) Las supersticiones. As como:
Hoy da me ir muy mal por ser Martes 13
Pase por debajo de una escalera
1.1.3. Clases de Proposiciones
1.1.3.1. Proposiciones Simples o Atmicas o no Estructurales: Carecen de
conector lgico, y pueden ser:
A. Predicativas: Cuando se le atribuye alguna cualidad al sujeto (utiliza el
verbo SER en cualquiera de sus tiempos).
Ejemplos:
Chiclayo es una provincia calurosa.
Freud tena inclinacin por la matemtica.

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
 B. Relacionales: Cuando se compara un sujeto con otro mediante una relacin
que puede ser de orden, tiempo, espacio, parentesco, accin, etc.
Ejemplos:
La seleccin peruana de futbol jug un partido intenso con su similar de
Brasil.
Relacin de accin.
Vallejo con Maritegui fueron contemporneos.
Relacin de tiempo.
1.1.3.2. Proposiciones Compuestas o Moleculares (Coligativas): Se caracterizan
principalmente porque poseen conectores lgicos.
Ejemplos:
Lima est al sur de Chiclayo o al norte de Ica.
Los restos del Seor de Sipn fueron descubiertos por el arquelogo Marco
1.1.4. Valor de Verdad: A la verdad (V) o a la falsedad (F) de una proposicin se le
llama valor de verdad y se denota por:
V (p) = V; V (p) = F
Ejemplos:
p: ( x R) (x2 + 1 = 0); se tiene que: V (p) = F
q: Cero es un nmero real; se tiene que: V (q) = V

ACTIVIDADES DE SISTEMATIZACIN

1. Indica si las siguientes expresiones, son enunciados, proposiciones simples

o proposiciones compuestas.

1. La guerra y la paz.
2. 17 x = 2x + 75
3. x > y 9
4. Chimbote est entre Trujillo y Casma.
5. El hombre es un ser racional.
6. Cualquier canario es ovparo.
7. Steffany estudia en Universidad Seor de Sipn.
8. Francisco Bolognesi muri en Arica.
9. Celeste trabaja en Lambayeque.
10. Juan Carlos es italiano.
2. Indica si las siguientes expresiones son proposiciones compuestas. Explique.
Por qu?

1. La tierra es el planeta azul sin embargo el sol es un astro que tiene luz propia.
2. Los dragones tenan respiracin branquial.
3. Si en el planeta Marte hay atmsfera, entonces la lluvia es oscura.
4. La crisis mundial es un fenmeno econmico sin embargo es controlable si todos
los pases desarrollados apoyan a los de economas dbiles.
5. Blanca Nieve amo a sus siete enanos.
3. Indica el valor de verdad de las siguientes proposiciones

1. Ama a tu prjimo como a ti mismo.

2. Extensa selva clida.
www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
 3. Existe al menos un habitante en la luna.
4. 300 +250 = 750
5. No es cierto que el Amazonas es un ro.

ACTIVIDADES DE EVALUACIN

1. Indica si las siguientes expresiones, son enunciados, proposiciones simples

o proposiciones compuestas.
1. Hay reptiles que son carnvoros.
2. Muchos deportistas son peruanos y bolivianos.
3. La inflacin peruana en el 2009 ser menor a 4%.
4. Es probable que la suma de dos nmeros sea menor a 20.
5. Es posible que la seleccin clasifique al mundial 2010.
6. Mancora es una playa nortea que tiene bastante acogida por los turistas
nacionales.
7. El oro es un metal slido cuyo smbolo segn la tabla peridica es Ag.
8. El pasaje urbano cuesta 1,20 soles a pesar que la gasolina ha bajado su precio.
9. Alejandro Toledo fue el presidente del Per.
10. Cristbal Coln descubri el continente Americano y fue de nacionalidad
italiana.
2. Indica si las siguientes expresiones son proposiciones compuestas. Explique.
Por qu?
1. Chocano fue un poeta espaol sin embargo vivi en Cajamarca.
2. El bosque de Pmac es uno de los ms importantes de Piura sin embargo Huaca
Rajada es reconocido a nivel internacional.
3. El nmero 16 es divisible por 4 si y solo si tiene raz cuadrada.
4. Chiclayo es una ciudad calurosa y acogedora.
5. Ana y Bruno estudian msica en el Conservatorio.
3. Indica el valor de verdad de las siguientes proposiciones
1. Ningn Diplomtico es extremista.
2. El oro es maleable sin embargo el acero es inoxidable.
3. Ama a tu prjimo como a ti mismo.
4. No es cierto que el Amazonas es un ro.
5. El creador de la Relatividad fue americano.

2.1. Conectivos Lgicos

Se denominan conectivos lgicos a aquellas palabras o trminos funcionales que
ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones
compuestas. Los operadores o conectores bsicos son:

CONECTIVO SMBOLO NOMBRE DE LA PROPOSICIN

No ~ Negacin
Y ^ Conjuncin
o Disyuntiva inclusiva
o. . . o. . . Disyuntiva exclusiva
Si entonces... Condicional
si y slo si Bicondicional

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
2.2.1. 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. Existen dos tipos de negadores:

La negacin, puede traducirse como:

No es cierto que ... Nadie que sea ... Jams ...

Es falso que... No es el caso que ... Es inconcebible que...
Nunca ... No es verdad que Es imposible que ...
No ocurre que... Es absurdo que Es errneo que ...
Es mentira que ... No acaece que... De ningn modo
No es el caso que Es inadmisible que Es incierto que
Es refutable que Es falaz que En modo alguno

Ejemplos:

p : La luna es de queso.
~p : La luna no es de queso.
Su tabla de verdad es como sigue:

p ~p
V F
F V

2.2.2. 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:

Pero An cuando No obstante

Sin embargo Al igual que Aunque
Adems Tanto . como . Ms an
A la vez Siempre ambos. con.. Tambin
Incluso No slo.sino tambin. Es compatible con
As como A pesar de As mismo
Del mismo modo .con . los dos a la vez De la misma forma que

Ejemplo:
Consideremos las siguientes proposiciones:
p: La camioneta enciende cuando tiene gasolina en el tanque
q: Tiene corriente la batera
De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
 p q: La camioneta enciende cuando tiene gasolina en el tanque y tiene
corriente la batera
Su tabla de verdad es como sigue:
p q pq
V V V
V F F
F V F
F F F

2.2.3. 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.

2.2.3.1. 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 O en todo caso

Excepto que O tambin
Salvo que O incluso
A no ser que O bien
Y bien o tambin Al menos uno de los dos . o .
O sino Alternativamente

Ejemplo: Consideremos:

p: La Universidad Seor de Sipn es privada

q: La Universidad Seor de Sipn es estatal
De tal manera que la representacin del enunciado anterior usando
simbologa lgica queda indicado por:

p q: La Universidad Seor de Sipn es privada o en todo caso la

Universidad Seor de Sipn es estatal

Su tabla de verdad es como sigue:

p q pq
V V V
V F V
F V V
F F F

2.2.3.2. 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

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
 verdadera slo cuando una de las proposiciones es verdadera. Alguna formas
de conectivos a emplear son:

O ... o ... ... no equivale a ...

O bien ... o bien ...
No es equivalente ... con ...
....a menos que solamente...
....excepto que slo....
....o exclusivamente....
....no es lo mismo que...
No es cierto que...equivale a...
O solo .... o solo ....
...salvo que nicamente...
....o bien necesariamente....
....no es idntico a....
Salvo que .... o ....

Ejemplo: Consideremos:

p: viajo a Espaa
q: viajo a Brasil
De tal manera que la representacin del enunciado anterior usando
simbologa lgica queda indicado por:

p q: O viajo a Espaa o viajo a Brasil

Por lo tanto su tabla de verdad es:

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

2.2.4. 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 por tanto q

Siempre que p entonces q
p es suficiente para q
p implica q
Ya que p bien se ve que q
En cuanto p por tanto q
p por consiguiente q
p por ende q
p por conclusin q
Dado que p por eso q
Porque p por eso q

Puede tambin expresarse en el orden consecuente-antecedente (q p

Implicacin inversa), son:

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
 q si p q es implicada para p q de modo que p
q siempre que p q cada vez que p q puesto que p
q es necesario para p q en vista que p q porque p
Slo si p, q Slo cuando p, q Solamente porque p, q
q dado que p q ya que p q cada vez que p
q a condicin de que p q dado que p q se concluye de p
Eje q supone que p q sigue de p nicamente si p, q
mplo: 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

Su tabla de verdad queda de la siguiente manera:

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

2.2.5. Bicondicional: Cuando dos proposiciones estn unidas por el conectivo lgico
... 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 Es suficiente para que suficiente sea

es equivalente a
es lo mismo que
cuando y slo cuando
Si y slo si p, q
siempre que y slo cuando
es idntico a
Es condicin necesaria y suficiente para
por lo cual y segn lo cual
cada vez que y slo si
si de la forma
implica y est implicado por
Siempre que y siempre que

Ejemplo: Consideremos:

p: Los cuerpos chocan

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo
 q: Existe una fuerza que los atrae

De tal manera que la representacin del enunciado anterior usando simbologa

lgica queda indicado por:

p q: Los cuerpos chocan porque y solo porque existe una fuerza que los
atrae.

Su tabla de verdad queda de la siguiente manera:

p q pq
V V V
V F F
F V F
F F V

www.goncaiwo.wordpress.com Walter
Orlando Gonzales Caicedo