Está en la página 1de 18

U N I V E R S I D A D A L A S P E R U A N A S

DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA


Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


ASIGNATURA: Lgica Jurdica CICLO: 2013-III
DOCENTE: Ing. Omar Castillo Paredes

LGICA PROPOSICIONAL
DEFINICIONES BSICAS DE LA LGICA PROPOSICIONAL

1.1. Enunciados y Valor de Verdad

La lgica proposicional es la rama del conocimiento que trata sobre la verdad o
falsedad de las proposiciones y de cmo la verdad se transmite de unas proposiciones
(premisas) a otras (conclusin).

Enunciado: Es toda expresin lingstica, que constituye una frase u oracin.

Proposicin: Enunciado susceptible de ser verdadero o falso pero no ambos a la vez.
La verdad o falsedad de una proposicin es lo que se llama valor de verdad.

Ejemplos:

Son proposiciones lgicas:

a) Las frmulas cientficas ya demostradas. As como:

2 2 2
b 2ab a b) (a + + = + ; a, beR

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:

- o+|+=180; si o, | y son ngulos internos correspondientes a un mismo
tringulo.
- x + y = 50; si x = 10, y = 30
- La USS est acreditada internacionalmente.

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



U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


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
Chiclayo ciudad de la amistad
c) Las supersticiones. As como:

Hoy da Martes 13, no te cases ni te embarques ni de tu casa te apartes
Pas por debajo de una escalera entonces tendr mala suerte

1.1.1. Clases de Proposiciones

A. Proposiciones Simples, Atmicas o no Estructurales: Carecen de conector
lgico, no se componen de otras proposiciones.

La proposicin: Todos los hombres son mortales.

Es atmica porque ninguna de sus componentes es una proposicin por s sola.
Las proposiciones atmicas a su vez pueden ser:

- Predicativas: Cuando se le atribuye alguna cualidad al sujeto (utiliza el verbo
SER en cualquiera de sus tiempos).

Ejemplos:

- Chiclayo es llamada ciudad de la amistad.
- Federico Villarreal fue un matemtico lambayecano.
- 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 vley jug un partido intenso con su similar de Cuba.
(Relacin de accin)
- Vallejo con Maritegui fueron literatos contemporneos. (Relacin de tiempo.)
B. Proposiciones Compuestas, Moleculares o Coligativas: Son aquellas que estn
constituidas por proposiciones atmicas y se caracterizan porque poseen enlaces
llamados conectores lgicos.

Ejemplo:

La proposicin: Voy a comprar galletas y a tomar caf.



U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


Es una proposicin molecular porque se compone de dos proposiciones atmicas:

- Voy a comprar galletas.
- Voy a tomar caf.
Estas dos proposiciones atmicas estn unidas por el conector y.

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

Ejemplo:

p: 121 es un nmero capica; se tiene que: V (p) = V

q: Machu Picchu fue descubierto por el arquelogo Walter Alva; se tiene que:
V(q)=F

Una proposicin molecular ser verdadera o falsa, pero a diferencia de lo que
ocurre con las proposiciones atmicas, su verdad o falsedad no depende
directamente de la realidad, sino que depende o es funcin de la verdad o
falsedad de las proposiciones atmicas que la componen. Esto significa que si
quiero saber si es verdadero o falso que: voy a comprar galletas y tomar
caf, es necesario que conozca la verdad o falsedad de voy a comprar
galletas y de voy a tomar caf por separado y tener en cuenta el conector
que los une.

1.1.3. Enunciado abierto

Llamado tambin funcin proposicional, es un enunciado en el que intervienen
una o ms variables, que admiten la posibilidad de convertirse en una
proposicin lgica cuando la variable asume un valor determinado. Los
enunciados abiertos usan las palabras el, ella y los smbolos x, y, z, etc.
No son proposiciones pero cuando se reemplazan estas palabras o smbolos
por un determinado objeto o valor resultan ser proposiciones.

Ejemplos:

- Ella es una actriz peruana.
- 16 8
2
= + x x
- m + n s 3
- Sea n un nmero impar.



U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


ACTIVIDADES DE SISTEMATIZACIN
1. Indica cules de las siguientes expresiones, son proposiciones o no
proposiciones:

1. La guerra y la paz.
2. 17x = 2x + 75
3. Chimbote est entre Trujillo y Casma.
4. El hombre es un ser racional.
5. Ella estudia en la Universidad Seor de Sipn.
6. Francisco Bolognesi muri en Arica.
7. Toda enfermera tiene vocacin.
8. Cuntos aos durar mi carrera?
9. Hace calor!
10. Trujillo tierra de la eterna primavera

2. Indica si las siguientes expresiones son proposiciones atmicas o
compuestas. Explica 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. No hay libros en el cajn del estante.
6. El nmero 11 no es divisible por 2.
7. La cantuta es la flor nacional del Per, lo mismo que el gallito de las rocas es
el ave representativa del Per.
8. Dos pares ordenados son iguales s y solo s sus elementos
correspondientes son iguales.
9. La luna es una estrella, es una estrella que tiene luz propia.
10. No es verdad que la regin Lambayeque est ubicada en el norte del Per.

3. Indica el valor de verdad de las siguientes proposiciones
1. Sipn fue una cultura en la regin Lambayeque.
2. SUNARP y SUNAT son instituciones privadas en el Per.
3. Existe al menos un habitante en la luna.
4. 300 +250 = 750
5. No es cierto que el Amazonas es un ro.
6. GPS es un instrumento para la ubicacin geogrfica.
7. Los administradores llevan los libros contables de una empresa.
8. Entre dos nmeros racionales, existen infinitos nmeros racionales.
9. El homicidio es un delito culposo y es penado con cadena perpetua.


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


10. El tensimetro sirve para medir la temperatura corporal.

ACTIVIDADES DE EVALUACIN

1. Indica cuales de las siguientes expresiones, son proposiciones o no
proposiciones.

1. Silencio!.
2. El calentamiento global est afectando al ecosistema.
3. La inflacin peruana en el 2011 ser menor a 4%.
4. Es probable que la suma de dos nmeros sea menor a 20.
5. Es posible que la seleccin peruana de ftbol clasifique al mundial 2014.
6. Mncora es una playa nortea que tiene bastante acogida por turistas
nacionales.
7. El oro es un metal slido cuyo smbolo segn la tabla peridica es Ag.
8. El mal de ojo produce fiebre.
9. APP fue ganador en las elecciones Regionales de Lambayeque en el 2010.
10. Cristbal Coln descubri el continente Americano y fue de nacionalidad italiana.

2. Indica si las siguientes expresiones son proposiciones atmicas o
compuestas. Explica. Por qu?

1. Chocano fue un poeta espaol, sin embargo vivi en Cajamarca.
2. El Bosque de Pmac es uno de los lugares tursticos ms importantes de
Lambayeque, sin embargo Huaca Rajada es reconocido a nivel internacional.
3. El nmero 16 es divisible por 4 s y slo s tiene raz cuadrada.
4. Chiclayo es una ciudad calurosa y acogedora.
5. Ana y Bruno estudian msica en el Conservatorio.
6. En el desayuno com: pan, huevo, aceitunas y mortadela.
7. Luis y Elena son esposos.
8. Estudiar pero adems ver televisin.
9. No voy a solucionarte el problema de matemtica.
10. Si estudias, aprobars el curso de habilidades lgico matemtico.

3. Indica el valor de verdad de las siguientes proposiciones:

1. El calentamiento global est afectando al nevado Pastoruri.
2. El oro es maleable, sin embargo el acero es inoxidable.
3. No es cierto que el Amazonas es un ro.
4. El creador de la Teora de la Relatividad fue americano.
5. El cero es un nmero par.
6. La velocidad es una magnitud vectorial.
7. (a + b)
2
= a
2
+ 2ab + b
2



U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


8. La tierra es un planeta tanto como el sol es una estrella
9. Los rayos catdicos tienen carga negativa del mismo modo los rayos andicos
tienen carga positiva
10. O bien la luna es un planeta o bien un satlite


SIMBOLIZACION Y VALORACIN DE PROPOSICIONES

1.2. Notacin Proposicional

Como ocurre en otras ciencias, es necesario en lgica utilizar un lenguaje simblico
especial que elimine los rasgos que no nos interesan y pongan de manifiesto los que s
nos interesan. En lgica nos interesa saber cmo estn combinadas las proposiciones,
y no nos interesa en absoluto su significado. Por ello necesitamos unos smbolos que
prescindiendo del significado de las proposiciones nos indiquen la forma en que se
combinan. Estos smbolos constituyen un lenguaje formal.
Las proposiciones atmicas pueden ser sustituidas por letras minsculas p, q,
r, etc, denominadas variables proposicionales.
La operacin consiste en sustituir las expresiones del lenguaje natural por
smbolos lgicos, a la cual llamaremos formalizacin y la proposicin debidamente
formalizada la llamaremos frmula.

Ejemplos:

1.- Mario Vargas Llosa obtuvo el Premio Nobel de Literatura 2010.

Frmula: p

2.- Democracia significa un modo de vida en el que la libertad y la justicia estn
presentes.

p= Democracia significa un modo de vida en el que la libertad est presente
q= Democracia significa un modo de vida en el que la justicia est presente

Frmula: p q

3.- O est lloviendo y garuando, o est soplando el viento.

p= Est lloviendo; q =Est garuando; r = Est soplando el viento

Frmula: (p q) A r

4.- Si Pablo se queda, entonces Luis se va.

p= Pablo se queda; q= Luis se va


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


Frmula: p q

5.- Cientos de vidas podran salvarse cada ao si la gente utilizara el cinturn de
seguridad.

p= cientos de vidas pueden salvarse cada ao;
q= La gente utiliza el cinturn de seguridad

Frmula: q p

6.- No es el caso que, si la luna est hecha de queso verde, entonces los vehculos
espaciales no pueden alunizar en ella.

p= La luna est hecha de queso verde; q= Los vehculos espaciales pueden
alunizar en la luna
Frmula: (p q)

7.- Si los verdaderos amigos tienen todo en comn, entonces t no puedes ser ms
rico que tu compaero si dices que son verdaderos amigos.

p= Los verdaderos amigos tienen todo en comn
q= Puedes ser ms rico que tu compaero
r= Dices que t y tu compaero son verdaderos amigos.

Frmula: p (r q)

8.- Dos es un nmero primo porque slo es divisible por s mismo y por la unidad.

p= 2 es un nmero primo
q= 2 es divisible por s mismo
r= 2 es divisible por la unidad

Frmula: p (q r)

9.- Decir que la suma de sucesiones positivas es una sucesin positiva y el producto
de sucesiones positivas es una sucesin positiva equivale a decir que la suma y el
producto de dos nmeros reales positivos es un nmero real positivo.

p= La suma de sucesiones positivas es una sucesin positiva
q= El producto de sucesiones positivas es una sucesin positiva
r= La suma de dos nmeros reales positivos es un nmero real positivo
s= El producto de dos nmeros reales positivos es un nmero real positivo.

Frmula: (p q) (r s)



U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


10.- Si el Rh de la futura madre es negativo, debe analizarse inmediatamente despus
de cada parto la sangre del recin nacido y, si sta es Rh positivo, ha de
administrarse a la parturienta el suero apropiado si se desea evitar complicaciones
a otros hijos.

p= El Rh de la futura madre es negativo.
q= La sangre del recin nacido debe analizarse inmediatamente despus de cada
parto
r= La sangre del recin nacido es Rh positivo
s= Ha de administrarse a la parturienta el suero apropiado.
t= Se desea evitar complicaciones a otros hijos.

Frmula: (p q) (r (t s))

1.3. 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 conectivos bsicos son:
CONECTIVO SMBOLO NOMBRE DE LA PROPOSICIN
No ~ Negacin
Y ^ Conjuncin
O v Disyuntiva inclusiva
o. . . o. . . A Disyuntiva exclusiva
Si entonces... Condicional
si y slo si Bicondicional


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





U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


Ejemplo:

p: INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la
Proteccin de la Propiedad Intelectual.
~p: Es falso que INDECOPI sea el Instituto Nacional de Defensa de la
Competencia y de la Proteccin de la Propiedad Intelectual.
Su tabla de verdad es como sigue:
P ~p
V F
F V

B. 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: Roxana estudia
q: Roxana escucha msica

De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:

p . q: Roxana estudia al mismo tiempo que escucha msica
Su tabla de verdad es como sigue:
P q p . q
V V V
V F F
F V F
F F F


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


C. 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 v 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: Maana estudiaremos Qumica q: Maana estudiaremos Fsica

De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:
p v q: Maana estudiaremos Qumica o sino estudiaremos Fsica
Su tabla de verdad es como sigue:
p q p v q
V V V
V F V
F V V
F F F

- Disyuncin Exclusiva o Fuerte: Se denota por: p A 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 ... ... no equivale a ...
O bien ... o bien ... No es cierto que...equivale a...
No es equivalente ... con ... O solo .... o solo ....
....a menos que solamente... ...salvo que nicamente...
....excepto que slo.... ....o bien necesariamente....
....o exclusivamente.... ....no es idntico a....
....no es lo mismo que... Salvo que .... o ....


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


Ejemplo: Consideremos:

p: Este ao viajar al extranjero q: Viajo a Lima

De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:
p A q: Este ao viajar al extranjero salvo que nicamente viaje a Lima
Por lo tanto su tabla de verdad es:






D. 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. La
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 por consiguiente q
p es suficiente para q p por ende q
p implica q p por conclusin q
Ya que p bien se ve que q Dado que p por eso q
En cuanto p por tanto q Porque p por eso q

Puede tambin expresarse en el orden consecuente-antecedente (q p)
Implicacin inversa.











p Q p A q
V V F
V F V
F V V
F F F
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
q supone que p q sigue de p nicamente si p, q


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


Ejemplo: consideremos:

p: La produccin es buena
q: Habr mayor rentabilidad en la empresa
De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:
p q: Si la produccin es buena, habr mayor rentabilidad en la empresa
q p: Habr mayor rentabilidad en la empresa siempre que la produccin
sea buena
Su tabla de verdad queda de la siguiente manera:






E.- 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 s 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:







Ejemplo: Consideremos:

p: El que yo te sonra
q: Yo te enamore

De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:

p q: El que yo te sonra es lo mismo que yo te enamore.
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
siempre y cuando Es suficiente para que suficiente sea
es equivalente a Es condicin necesaria y suficiente para
es lo mismo que por lo cual y segn lo cual
cuando y slo cuando cada vez que y slo si
Si y slo si p, q si de la forma
siempre que y slo cuando implica y est implicado por
es idntico a Siempre que y siempre que


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III









1.4. Valoracin de las Proposiciones

Para determinar la valoracin de las proposiciones moleculares, es necesario
tener en cuenta las tablas de verdad.
Considere los siguientes ejemplos:

a) Los virus son alternados no obstante son virulentos. Por tanto tienen una
clasificacin Tenemos las proposiciones:
p: Los virus son alternados
q: Los virus son virulentos
r: Tienen una clasificacin

Se formaliza por: (p . q) r

Luego: como se puede observar el esquema molecular tiene 3 proposiciones
simples, es decir que para este caso se tiene: 2
3
= 8 asignaciones posibles para
los valores de verdad en total.
La tabla de verdad para el esquema molecular, est dada por:












b) Siempre que se apruebe el crdito entonces comprar el departamento; sin
embargo se aprueba el crdito. Por tanto comprar el departamento.
Sean las proposiciones:
p: Se aprueba el crdito
q: Comprar el departamento

p q p q
V V V
V F F
F V F
F F V
p q r (p . q)
r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F
1 3 2


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


Se formaliza por: [(p q) . p] q

La tabla de verdad para el esquema molecular, est dada por:








c) 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 formaliza por: (p . q) . ~p

La tabla de verdad para el esquema molecular, est dada por:






Como podemos apreciar las proposiciones, las expresamos en forma simblica; a su
vez que podemos encontrar sus valores de verdad. Con el fin de diferenciar los valores
resultados de las expresiones, se definen los siguientes conceptos:
A. 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. Ver ejemplo (b).
B. 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. Ver ejemplo (c).
C. 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. Ver ejemplo (a).

p q [(p q) . p] q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
p q (p . q) . ~p
V V V F F
V F F F F
F V F F V
F F F F V


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


ACTIVIDADES DE SISTEMATIZACIN
1. Determinar el valor de verdad de las siguientes proposiciones:

1. Los restos del Seor de Sipn fueron descubiertos en 1989 no obstante su
museo de sitio fue inaugurado en febrero del 2009.
2. Q y e < 2 2 2
3. Miguel Grau naci en Piura, sin embargo no es peruano.
4. Cero es un nmero par o impar.
5. Cajamarca es una ciudad minera por excelencia de modo que invertir en
minera es la mejor opcin.
6. O eres honrado o eres corrupto.
7. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no
tengo que ir a trabajar.
8. La raz cuadrada de 9 es +3 o es -3
9. La suma de dos nmeros impares es igual a otro nmero impar no es lo mismo
decir que la suma de dos nmeros pares es otro nmero impar.
10. Per as como Ecuador son pases demcratas.

2. Formaliza las siguientes proposiciones , identificando cada una de las
proposiciones atmicas que aparezcan en las afirmaciones siguientes:

1. Segn el testigo el asaltante se escap en un carro rojo o azul.
2. l vendr si tiene tiempo y est interesado todava en el asunto.
3. Es un da agradable si est soleado, pero slo si no hace calor.
4. Estudiar y trabajar es condicin suficiente para ser responsable y admirado por
aquellos que nos saben valorar.
5. Ellos son actores, a menos que cantores. Si Paola canta, Liz baila y Marcelo
recita.
6. La computadora es compatible con la impresora as como con el programa;
entonces, el precio de venta es cmodo o financiable.

7. Es falso que sea indisciplinado y ocioso, porque estudio en la Universidad, pero
soy ocioso; en consecuencia nunca ser profesional.
8. Es suficiente que la matemtica sea necesaria para la fsica, para que el
avance cientfico no quede estancado.
9. Es falso que si se administra teniendo en cuenta los principios directrices un
negocio entonces este tiene muchas posibilidades de crecer en el futuro.
10. Sin excepcin se da que, la suma de los ngulos internos de un tringulo es
180 es equivalente a la suma de los ngulos internos de un cuadriltero
regular.




U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


3. Construye la tabla de verdad para cada una de los siguientes esquemas
moleculares, y determina si es: tautologa, contradiccin o contingencia.

1. q v (r . s)
2. (p . q) ~(~p v ~q)
3. (p . q) . (p . ~ q)
4. (p . q) (q . p)
5. ~[~(p . q) ~ q] v p
6. [(p q) v ~ p] . (~ q p)
7. [(p . q) v (p . ~ q)] v (~ p v ~q)
8. [(p v q) (p . q)| [(p q) . (q p)]
9. ~{~|(p q) v (~p . r)| . ~(~r q)} A r
10. {|p (q r)| . |q A (p r)|} |(p v q) r |

4. A continuacin se presenta una serie de ejercicios en la cual se especifica lo
siguiente:

1. Si p es una proposicin falsa, determinar el valor de verdad de:
{(p ~r) . |r (~q . p)|} (p . q)
2. Si |(p ~ s) v ~ (r ~s) v ~(q A s)| es Falsa. Determine los valores de verdad
de:
a) p q b) r v s c) r ~s d) (p A ~q) r
3. Si |~(p (~s q)) v ~(r ~q)| es verdadera. Determine los valores de verdad
de:
a) (r v p) (q A s) b) r v s c) r ~q
4. Se define la siguiente operacin p * q = ~q . p, hallar la diferencia entre el
nmero de V y el nmero de F de la matriz principal de: [ (p * ~r) (r * ~p)]
5. Determinar el valor de verdad de la proposicin molecular [(p v q) ~p] ~(r
p) sabiendo que p es verdadera, q y r falsas. Hallar su valor de verdad.
6. Si la proposicin (p ~q) v (~r s) es falsa, deduzca el valor de verdad de los
esquemas moleculares:
a) (~p . ~q) v ~p b) (p q) [(p v q) . ~q] c) (~r v q) [(~q v r) . s]
7. Si p y r son dos proposiciones cualesquiera y q: 2 es nmero impar, y
~[(r v q) (r p)] es verdadera entonces el valor de verdad de los siguientes
esquemas moleculares es:
a) r (~p v ~q) b) [r (p . q)] (q . ~p)

ACTIVIDADES DE EVALUACIN

1. Determinar el valor de verdad de las siguientes proposiciones:

1. Dado que la luna es un satlite por lo consiguiente gira alrededor de la tierra.


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


2. El cuadrado es un polgono regular salvo que la suma de sus ngulos midan
540.
3. Maana hay clases de Habilidades Lgico Matemticas o hay clases de
Ctedra Seor de Sipn.
4. Las aves poseen pico excepto que tambin alas, pero no ocurre que son
animales acuticos.
5. O eres campen o subcampen.
6. A menos que seas Ingeniero, conoces matemtica.
7. Un nmero es positivo si y slo si es mayor que cero
8. Barack Obama es el primer presidente de raza negra de los Estados Unidos es
suficiente para que sea admirado por todo el mundo.
9. El 18 de abril celebraremos el aniversario de Chiclayo o la cada del muro de
Berln.
10. ONPE no es el Organismo Nacional de Procesos Electorales as mismo que
JNE es el Jurado Nacional de Elecciones.

2. Escribe en forma simblica, identificando cada una de las proposiciones
atmicas que aparezca en las afirmaciones siguientes:

1. Esta fiesta es muy divertida y la msica es muy buena, por lo cual y segn lo
cual todos la pasaron de maravilla.
2. Me gusta bailar y leer libros de ciencia ficcin, ms an si la msica es
merengue a no ser que no baile.

3. Si no estoy equivocado, ella conduca un carro rojo, y haba un hombre sentado
a su lado.
4. Dos nios tienen los mismos apellidos si y slo si tienen la misma madre y el
mismo padre.
5. O Hugo tiene razn, o Mara y Carlos son o ambos culpables o ambos son
inocentes
6. Si se ganan las elecciones y nuestros representantes acceden al poder,
confiaremos en ellos si y slo si cumplen sus promesas y el poder no les
corrompe.
7. El abogado no es justo ni competente, a condicin de que es falso que no
haya consultado con los peritos sobre la cotizacin del inmueble embargado.
8. Es inobjetable que, una condicin suficiente para que los pases europeos
tengan baja inflacin por lo tanto estabilidad econmica, es que sus gobiernos
tienen programas estratgicos de crecimiento as como modelos econmicos.
9. Subirn los intereses bancarios porque subir la cotizacin del dlar, en vista
de que, subir la cotizacin del dlar slo si el gobierno no puede controlar la
inflacin.


U N I V E R S I D A D A L A S P E R U A N A S
DIRECCIN UNIVERSITARIA DE EDUCACI N A DISTANCIA
Facultad de Derecho y Ciencia Poltica
ESCUELA PROFESIONAL DE DERECHO

DUED-UAP Lgica Jurdica 2013 III


10. Los candidatos mienten en sus promesas y el pueblo les cree pero si hablaran
la verdad el pueblo no les creera, es por eso que el Per est como pas
subdesarrollado.

3. Construye la tabla de verdad para cada una de los siguientes esquemas
moleculares, y determina si es: tautologa, contradiccin o contingencia.

1. [~(p . q) v ~r] v {[ (~p . q) v ~r] . p}
2. [p . (q . r)] v ~ [(p v q) . (r v q)]
3. [~(p . q) v ~r] v [(q ~p) (r v ~r)]
4. {p v [q (r . ~p)]} (q v ~s)
5. [~p . (~q . r)] v (q . r) v (p . r)
6. {[(p . q) r] . (p . q)} r
7. [(p . q) v (~p . q)] v (p . ~q) v (~p . ~q).

4. A continuacin se presenta una serie de ejercicios en la cual se especifica lo
siguiente:

Si la proposicin:
(p . ~q. r) v ~ (s q) , es falsa. Determine los valores de verdad de p, q, r y s

5. Si la proposicin: ~p ( q v ~r) es falsa y la proposicin s es verdadera.
Cules de las siguientes proposiciones son verdaderas?

I) ( p q) II) ~s (~p . r)
III) (p . ~q) v ~r IV) (~p v q) r

6. Si el esquema molecular: ~ [ (p ~q) v (r ~ q) v (q A s)] es verdadero,
determine los valores de verdad de:

a) p q b) r vs c) r ~s

OCP.
Lima, Enero del 2014