LP Pueblo Nuevo de Colan Octubre 2014

UNIVERSIDAD NACIONAL DE PIURA
FACULTAD DE CIENCIAS SOCIALES Y EDUCACIN

PROGRAMA DE DESARROLLO DEL EDUCADOR - PRODEPE
Lic. Luis V. Meja Alemn M.Sc.
Lic. Luis V. Meja Alemn 1/18

Unidad I: Lgica Proposicional
Introduccin
Desde su origen como disciplina, la lgica est relacionada al tema de transmisin
de la verdad entre proposiciones.
Aristteles (384 322 a. C) deca: el razonamiento es un argumento en el que
establecidas de antemano unas cosas determinadas, otras cosas distintas de ellas
se siguen en virtud de ellas necesariamente
Como lgicos nos diferenciamos del detective asignado a un caso en que nos
interesa la correccin de los alegatos para concluir en la inocencia o culpabilidad,
mientras que el detective, al margen de los alegatos, le interesa descubrir que fue
lo que ocurri.

Lgica
Es una ciencia que estudia los mtodos o procedimientos que aplican definiciones y
leyes o reglas con el propsito de determinar la validez o invalidez de las
inferencias.
Inferencia
Es un proceso que consiste en obtener la conclusin a partir de un conjunto de
premisas.
Ejemplo:
O estudiamos o desaprobamos el curso.
No estudiamos.
Luego, desaprobamos el curso.
O la invito al cine o a contemplar la puesta del Sol.
No la invito al cine.
Luego, la invito a contemplar la puesta del Sol.
Observacin:
La Lgica no estudia cada inferencia concreta sino que gana generalidad
contemplando exclusivamente la forma de las mismas.
Cuando la conclusin est contenida en un conjunto de premisas o se deriva
necesariamente del conjunto de premisas, la inferencia es vlida, en este caso
la inferencia se denomina deductiva.

Proposicin
Es toda expresin lingstica susceptible de ser calificada de verdadera o
falsa.
Es toda oracin declarativa que est libre de ambigedad y que tiene la
propiedad de que es cierto o falso, pero no ambos.
Ejemplo:
1. 7 es un nmero primo.
2. Cuando 3 se suma a 8, la suma es 13.
3. Seres vivientes existen en el planeta Venus.
4. Esta declaracin que est leyendo es falsa.
Observacin: Son expresiones no proposicionales: preguntas, rdenes,
sentimientos, actitudes, deseos, emociones, sugerencias, etc.
Ejemplos:
1. Cuntos alumnos de la Escuela de Psicologa son piuranos?
2. Espero que todo nio tenga derecho a nacer.
3. Slo mi corazn perciba la verdad de su profundo amor.
4. Quisiera ser un psiclogo reconocido.
5. Bravo! Qu felicidad!
6. Dime muchacha si no es mejor caminar hacia la muerte distrado.

Proposiciones Simples y Compuestas
Las simples son aqullas en las que no intervienen conectivos lgicos en su
formacin; las compuestas el resto.
Ejemplos:
1. Piura, ciudad del eterno calor, tiene ms de 500 000 habitantes.
2. Joyce y Ariel estudian juntos en el PRODEPE-Paita.
3. Hegel no fue un filsofo materialista.
4. El agua se congela si y slo si la temperatura est bajo cero.
Observacin:
1. Dadas las proposiciones:
La moneda es inestable y La moneda es estable, Cul es la proposicin
simple y cul es la compuesta?
Esta manzana es buena y Esta manzana es mala son contradictorias
ciertamente, pero cmo decidir cul lleva la negacin?
La decisin de qu proposiciones son simples y cules son compuestas es
relativa. Pero una vez elegidas las simples las compuestas se reconocen
automticamente.
2. Los lenguajes simblicos tienen la ventaja de que no ofrecen esa ambigedad.
El lenguaje de la lgica proposicional (LP)
Llamaremos el lenguaje de LP a un conjunto de signos admitidos convencionalmente
sin definicin (smbolos primitivos).

Smbolos:
Variables: p, q, r , etc.
Operadores: , , , , .
Smbolos auxiliares: (, ),[, ], , , y los llamados puntos auxiliares .
Observacin:
Los puntos auxiliares es una notacin ideada por G. Peano y usada por Whitehead y
Russell en Principia Mathematica.
Funciones Veritativas
Son interpretaciones semnticas de las posibilidades de verdad o falsedad de las
proposiciones moleculares en base a sus conectivos. Estas son:
1. Negacin ( ): Es un elemento lgico que acta independientemente de la
proposicin.
2. Conjuncin ( ): Es la unin de dos o ms proposiciones mediante la partcula
y. Cumple con la propiedad conmutativa, asociativa e idempotencia (la
conjuncin de una misma frmula es igual a la misma frmula).
3. Disyuncin ( ): Es la combinacin de dos o ms proposiciones mediante la
partcula o. Cumple con las propiedades: conmutativa, asociativa e
idempotencia.
Observacin: El uso de o. o . en un idioma es ambiguo en el sentido que
algunas veces indica o o o ambos, pero otras veces indica o o , pero
no ambos. Considere por ejemplo:

Esta criatura o es un perro o es un animal
El beb o es un nio o es una nia.
4. Condicional ( ): Es la combinacin de dos proposiciones con si entonces.
Observacin:
La conversa p q es q p , la inversa de p q es p q ; y la
contrapositiva de p q es q p .
5. Bicondicional ( ): Es la unin de dos proposiciones por si y slo si.
Observacin:
1. H. M. Sheffer introdujo el operador conocido como la negacin
conjuntiva, que se lee ni . ni
2. Tambin Sheffer introdujo el operador | como smbolo de la negacin
alternativa, que se lee no o no.
Clasificacin de las funciones veritativas
Las funciones veritativas didicas y mondicas, se pueden clasificar en
consistentes, tautolgicas y contradictorias (inconsistente).
Todas las tautologas son consistentes, pero no todas las funciones consistentes
son tautolgicas.
Las Tablas de Valores
El mtodo de las tablas de valores como procedimiento decisorio consiste en
determinar si la funcin veritativa de una frmula proposicional es consistente,
tautolgica o contradictoria.

La frmula 2n (donde 2 es la constante que expresa la posibilidad de ser V o F de
una proposicin, y n representa el nmero de variables o proposiciones simples)
nos permite obtener el nmero exacto de valores que se van a combinar.
El mtodo de tablas abreviadas
El mtodo de tablas abreviadas es un procedimiento que evita el laborioso trabajo
de combinar todos los valores (verdaderos y falsos) para obtener el resultado
veritativo de una frmula proposicional.
Especialmente nos interesa averiguar si la frmula A es vlida o invlida; para ello
requerimos saber si A es o no una tautologa.
Traducciones importantes:
Si p entonces q pq
p si q q p
p slo si q pq
p a menos que q q p
p es una condicin suficiente para q pq
p es una condicin necesaria para q q p
Una condicin suficiente para p es q q p
Una condicin necesaria para p es q pq
Para que p es suficiente que q q p
Para que p es necesario que q pq

p si y slo si q pq
p es una condicin necesaria y suficiente para q pq
LA INFERENCIA LOGICA
La inferencia es el proceso de pasar de un conjunto de premisas a una
CONCLUSION. Esta inferencia es una condicional de la forma:
( p1 p2 pn ) q
Si el resultado de esta implicacin es una TAUTOLOGA entonces la inferencia es
vlida, pero si la implicacin es FALSA entonces la inferencia es llamada FALASIA.
Nota: p q ~ p q p q ~ p q
LA EQUIVALENCIA Y LA IMPLICACION
La equivalencia y la implicacin son relaciones entre frmulas proposicionales
mientras que la bicondicional y la condicional son relaciones entre proposiciones.
La equivalencia: Dos frmulas A y B son equivalentes cuando unidos por el

bicondicional el resultado es una tautologa.
La implicacin: Una frmula A implica B, cuando unidos por el condicional el

resultado es una tautologa.
PRINCIPALES LEYES LOGICAS O TAUTOLOGIAS
Doble Negacin: p p
Conmutacin: pq q p ; pq q p ; pqq p
Asociativa: p q r p q r ; p q r p q r
Distributiva: p q r p q p r ; p q r p q p r

Idempotencia: p p p ; Complemento: p p V
p p p p p F
Elemento Neutro: p V p Absorcin: p (p q) p
p V V p (p q) p
p F p p (p q) p q
pF F p( p q) p q
Leyes de DMorgan: ( p q) p q ; (p q) p q
Definicin de Condicional: p q p q
IMPLICANCIAS NOTABLES
Modus Ponendo Ponens(MPP): Modus Tollendo Tollens(MTT):
[( p q) p] q Forma Lineal [(p q) q] p
pq
p Forma Clsica
q
Silogismo Disyuntivo(SD): Silogismo Hipottico Puro(SHP):
pq pq
p qr
q pr
Simplificacin(S):
pq pq

p q
Adicin (Ad):

p q

pq pq
Conjuncin (Conj.)
p p
q q
pq q p
Transitividad Simtrica (TS)
pq qr pq
qr pq pr
pr pr q r
Dilema Constructivo Compuesto (DCC)
pq
rs
pr
q s
Dilema Destructivo Compuesto (DDC)
pq
rs
~ q ~ s
~ p ~ r
Mtodos de DERIVACIN
Demostracin Directa:
P1 P2 ... Pn C ; Donde: P1 ,P2 , P3 ,..., Pn son premisas y C es la conclusin.
Ejemplo:
Hallar la conclusin de la siguiente inferencia:

P1 ) pq
P2 ) s p
P3 ) q r
Solucin:
1) pq
2) s p
3) q r
4) p r 1) y 3) por SHP
5) p 2) por S
r 4) y 5) por MPP

EJERCICIOS DE
LGICA PROPOSICIONAL
A continuacin se tiene un conjunto de pasajes. En cada caso diga si expresan o no una

inferencia. Si lo es distinga el conjunto de premisas de la conclusin.
1.1 La polica y las brigadas de socorro rescatan nios, si y slo si resultan heridos en
el accidente.
1.2 Si se produjeron cambios sociales en Rusia entonces Rusia tiende al capitalismo. Se
produjeron cambios sociales en Rusia. Luego Rusia tiende al capitalismo.
1.3 Si Pizarro conquist el Per entonces fund la ciudad de Lima. Lima fue la capital
del virreinato, pero en la ciudad de Lima no se libraron las batallas ms
importantes.
1.4 Si aumenta el precio de la gasolina entonces nuestra moneda se devala. Pero,
nuestra moneda no se devala. En consecuencia si aumenta el precio de la gasolina
entonces la inflacin no se eleva.
1.5 La Tierra es un planeta y la Luna es un satlite. La Luna gira alrededor de la Tierra
y la Tierra gira alrededor del Sol. Luego, la Luna gira alrededor del Sol.
Decir cules de las siguientes expresiones representan proposiciones.

2.1 Las mejores canciones del repertorio de Pavarotti.
2.2 Horas dramticas de la humanidad.
2.3 Viena es la capital de Austria.
2.4 Esta oracin es falsa.
2.5 Los personajes Isaac y Tracy de la pelcula Manhatan de Woody Allen.
2.6 Prohibido fumar en el saln.
2.7 Si los perros pueden ladrar, entonces ninguna casa cuidada por un perro necesita
temerle a intrusos.
2.8 Dame el libro.
2.9 Treme un vaso con agua.
2.10 Eureka!
2.11 soy acaso el guardin de mi hermano?
2.12 sen( x y) senx cos y cos x seny
2.13 Seor, que florezca la rosa, no me la dejis en la sombra.
2.14 La luz del Sol tarda 8 minutos y 20 segundos en llegar a la Tierra.
2.15 El crneo consta de 8 huesos.
2.16 El nmero de candidatos para las elecciones presidenciales es de 26.
2.17 Edward Prescott recibi el Premio Nbel de Economa en el 2004
2.18 Cada loco con su tema.
2.19 Silencio: Hospital.
2.20 90% de los que han usado cocana han tratado de dejarla.
2.21 Todos los cisnes son blancos.
Determine cules de las siguientes son proposiciones simples y cules compuestas.

3.1 Mafalda tom Inka Cola o Coca Kola.
3.2 Si los hombres son mortales entonces la especie est en extincin.
3.3 O los soldados van a la guerra o se rinden incondicionalmente.
3.4 Andrea tom gran cantidad de sedantes y muri.

3.5 Si el rey no hubiese actuado rpido, la victoria se habra perdido.

3.6 La produccin agrcola baj, en vista de que no hubo lluvias y hubo escasez de
abono.
3.7 Aunque pobre, es feliz.
3.8 Las palabras pap y melanesio tienen connotaciones geogrficas, lingsticas y
fsicas.
3.9 Aunque haya mal tiempo despegar el avin.
3.10 Joyce y Diana se enfrentaron bruscamente a los culpables y a los inocentes.
3.11 Los mamferos besan y se van.
3.12 El Principito no poda comprender a la gente adulta.
3.13 Sal y Pimienta son hermanos.
Cules de las expresiones siguientes son conectores proposicionales?

4.1 No es el caso de que en la oracin no es el caso de que los alumnos garabateen los
libros
4.2 si en la oracin Japn se rendira si Roosevelt ordenara el lanzamiento de una
bomba atmica sobre Hiroshima.
4.3 Entonces en la oracin En aquel entonces el cine era mudo.
4.4 Luego en la oracin En las prcticas calificadas Lul sac 10, luego 09 y despus
08
4.5 O en la oracin Joyce me dir que s o me dir que no.
Simbolice las proposiciones 3.1 3.13.
Simbolice los siguientes enunciados sealando las proposiciones.

5.1 No es el caso que Marylin sea rubia y Rafaella sea pelirroja.
5.2 Max comprar un libro o un disco, si Dora le cancela la deuda pendiente.
5.3 Nern se romper una pierna si salta, pero morira con quemaduras si no salta.
5.4 Si Roxana no aprueba el curso tomar DDT.
5.5 Esta criatura o es un perro o es un animal.
5.6 El beb o es un nio o es una nia.
5.7 Los venados sobrevivirn si y slo si los leones no los alcanzan, sin embargo los
leones sobreviven si y slo si los venados sobreviven.
5.8 O las pirmides fueron construidas por los faraones y por los arquitectos o fueron
construidas por los esclavos.
5.9 O Carlos estudia teatro y ballet, o Carla practica aerbicos si es modelo.
5.10 Ni los nios juegan ni van al zoolgico, si Barranco o San Miguel no tienen parques.
5.11 O la enfermedad es transmisible o no, sin embargo no es el caso que exista una
vacuna para la epidemia.
5.12 Si Liliana presiona el botn rojo de la grabadora, entonces grabar la conferencia si
el aparato tiene pilas.
5.13 Si no el caso que, la temperatura baje o amanezca nublado, har un da caluroso.
5.14 Si la farmacia est de turno, entonces si Diana lleva la receta, el farmacutico
preparar la medicina.
5.15 Pablo firmar la letra si no tiene dinero, puesto que necesita comprar el repuesto.
5.16 Si se produce una violacin constitucional, los jueces del Tribunal de Garantas
Constitucionales la condenarn si gozan de independencia.
5.17 Los sabios son pobres slo si el dinero es nocivo.

5.18 Que los mendigos son fracasados es una condicin suficiente para que el dinero sea
nocivo.
5.19 Para vivir bien es suficiente ser rico.
5.20 Tatiana bosteza si y slo si ayer se acost tarde ya que Tatiana tiene sueo.
5.21 En la maana hay fuego puesto que all hay humo, cada vez que el clima es muy seco
y la temperatura es muy alta.
5.22 Si USA construyera un submarino atmico Trident menos de los 25 programados y
la Unin Sovitica construyera un submarino atmico Tifn menos, se podra
alfabetizar todo el mundo.
5.23 No hay anchovetas en el mar puesto que no es el caso que abunde el plancton o no
ocurra el fenmeno del nio. Adems, ocurre el fenmeno del nio de ah que abunda
el plancton o no hay anchovetas en el mar.
5.24 Si Romeo sonre, entonces Julieta lo acepta si Romeo se le declara. Pero sonre si y
slo si Julieta lo acepta. De ah que Romeo no se le declara a Julieta dado que no
sonre.
5.25 Si el sol brilla, las aves cantan si silba el viento. Ni silba el viento ni es el caso que el
sol brille o el cielo sea azul. Luego, las aves cantan si y slo si el sol brilla, pero el
cielo no es azul.
5.26 Si la piscina no est temperada, no hay calefaccin. Los baistas no concursarn en
natacin si no hay calefaccin.
5.27 Las protenas sintetizadas por nuestro organismo son importantes, porque
constituyen las principales estructuras celulares.
5.28 Si Hitler era paranoico o Hitler era un hombre malvolo, entonces Hitler era la
persona menos indicada para dirigir el mundo.
5.29 Puesto que los aldeanos hindes nunca sacrifican una vaca, el nico ganado
disponible para comer es el que muere por muerte natural. Luego comer carne en los
aldeanos es igual que comer carroa.
5.30 Subir el precio del pan porque subi el precio de la gasolina, puesto que subi el
precio de la gasolina en vista de que no se puede controlar la inflacin.
5.31 No es el caso que, si Diana no estudiaba abogaca entonces no habra podido
contraer matrimonio, dado que Diana no ha podido contraer matrimonio porque
preside la administracin de una empresa.
5.32 El profesor no control la asistencia, puesto que la oficina de la direccin del
colegio estaba cerrada y no estaba el portero.
5.33 a no es positivo, si a no es mayor que cero.
5.34 No es el caso que Newton fue matemtico y filsofo.
5.35 Ni Ricardo Palma fue escritor ni Maritegui fue poeta.
5.36 Si me aumentan el sueldo y ahorro, viajar al Cuzco.
5.37 Si A es mltiplo de 4, es divisible por 2, pero A no es divisible por 2, por tanto no
es mltiplo de 4.
5.38 Si un satlite gira alrededor de la luna, entonces gira tambin alrededor de la
tierra; y si gira alrededor de la tierra, tambin gira alrededor del sol. Y, si gira
alrededor del sol, entonces gira alrededor de la luna.
5.39 Si un porvenir brillante me espera, entonces recibir una gran herencia o estudiar
mucho. Pero no recibir una gran herencia. En consecuencia, si no estudiar mucho,
entonces no me espera un porvenir brillante o me es indiferente triunfar en la vida.

Por el mtodo de las tablas determine si cada una de las siguientes frmulas es tautologa,
contradiccin o consistencia.
6.1 p q p
6.2 p q q p
6.3 p q p r
6.4 p q r q r p
6.5 p q p q
6.6 p q r q p r
6.7 p q q p
6.8 p q p q q
6.9 p q r p q p
6.10 p q q s p q s s
Evaluar los siguientes esquemas moleculares:

a) p ( p q) p
b) (~ p q) ~ r r ~ ( p ~ q)
c) (q r ) ( p r )
d) ~ p ~ q
Dados los esquemas moleculares:

A ~ p ~ r
B ~ ( p q) ~ r
C ~ ( p q r )
Evaluar la equivalencia o implicancia de A, B y C.
Si A : p ~ q
B : ( p ~ q) r p ~ q ~ r
C :~ ~ s (~ s r ) ~ p ~ q
Son A, B y C equivalentes?
Se tienen los siguientes datos:

p es verdadero; r ~ p es verdadero y ~ p s es verdadero. Hallar el valor de
verdad de ~ r y de s.
Sean p, q, r, s, t proposiciones.

Si ~ p q r p t es una proposicin falsa, hallar el valor de verdad de
~ q ~ r ~ t (~ q) p .
En cada uno de los apartados siguientes evale si la inferencia es VALIDA o NO.

Sugerencia: utilice el Mtodo Abreviado para los aparados b), c) y d).
a) Si los adolescentes poseen una buena autoestima entonces aprendern con mayor
facilidad. Pero los adolescentes no aprendern con facilidad. Por lo tanto, no poseen una
buena autoestima.
b) Si Carlos participa en un comit electoral de la Universidad entonces los estudiantes se
enojarn con l, y si no participa en un comit electoral de la Universidad entonces las
autoridades universitarias se enojarn con l. Pero Carlos participar en comit
electoral de la Universidad o no participar. Por lo tanto, los estudiantes o las
autoridades universitarias se enojarn con l.
c) Como es hora de clases, se concluye que en el aula hay profesores y alumnos, dado que,
si es hora de clases, en el aula hay profesores, y hay alumnos si en el aula hay
profesores.
d) Si Ana deca la verdad, entonces Vctor corrompa a la juventud y si el tribunal lo
conden equivocadamente, entonces Ana no es la culpable. Pero, Vctor no corrompa a
la juventud o Ana es la culpable. Por lo tanto, Ana no deca la verdad o el tribunal no
conden a Vctor equivocadamente.
Analizar la validez de la siguiente inferencia:

~ p (~ q r ) r s s ~ p .
Use la prueba directa para demostrar la validez de cada una de las siguientes inferencias.
Al demostrar, justifique cada paso mediante la abreviatura de la regla lgica aplicada e
indique los nmeros de las lneas de las que ha sido derivado
a) P1 ) q p
P2 ) (t r ) p
P3 ) q (r s) // t s
b) P1 ) ( p q) r
P2 ) r p / / q
c)
P1 ) ( p q) (r s)
P2 ) (q s ) t
P3 ) t // p r
d) P1 ) (t r ) s
P2 ) s t
P3 ) r s // r

e) Si el testigo dice la verdad entonces Luciana estaba en su casa antes del

medioda; pero si Luciana pas el da en el club entonces no estaba en su casa
antes del medioda. Luciana pas el da en el club. Por lo tanto, el testigo no dice
la verdad.
f) Si Carmen es aficionada a la msica o es aficionada al teatro, entonces asiste a
los conciertos. Si Carmen no es aficionada al teatro, o es pianista o es
compositora de zarzuelas. Carmen no es pianista ni asiste a los conciertos.
Luego, es compositora de zarzuelas.
g) Si en la luna no hay oxgeno, entonces no hay agua ni aire. Si no hay oxgeno ni
hay agua, entonces no hay plantas. No es caso que en la Luna haya oxgeno o no
haya plantas. En consecuencia, la Luna esta hecha de queso rojo.
h) Sebastin viajar al norte, si y slo si, es un delegado estudiantil y no tiene
exmenes en la U.N.P. Si Sebastin no viaja al norte, entonces si no es un
delgado estudiantil, no representar a los estudiantes en el congreso. Sebastin
tiene exmenes en la U.N.P., sin embargo representar a los estudiantes en el
congreso. En consecuencia, representar a los estudiantes en el congreso si y
slo si es un delegado estudiantil.
Los Trillizos Mentirosos

Los trillizos Trnchez tienen la molesta costumbre siguiente:
Cada vez que se hace una pregunta, dos de ellos dicen la verdad y el otro la mentira acerca
de la pregunta. Les pregunt cul de los tres haba nacido primero. Me contestaron:
Perico: Pepe naci primero.

Pepe: Yo no soy el mayor.
Pablo: Perico naci primero
Cul de los tres naci primero?

LP Pueblo Nuevo de Colan Octubre 2014

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LP Pueblo Nuevo de Colan Octubre 2014

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DE PIURA

FACULTAD DE CIENCIAS SOCIALES Y EDUCACIN

Lic. Luis V. Meja Alemn M.Sc.

Lic. Luis V. Meja Alemn 1/18

Unidad I: Lgica Proposicional

Desde su origen como disciplina, la lgica est relacionada al tema de transmisin

de la verdad entre proposiciones.

Aristteles (384 322 a. C) deca: el razonamiento es un argumento en el que

establecidas de antemano unas cosas determinadas, otras cosas distintas de ellas

se siguen en virtud de ellas necesariamente

interesa la correccin de los alegatos para concluir en la inocencia o culpabilidad,

Lic. Luis V. Meja Alemn 2/18

leyes o reglas con el propsito de determinar la validez o invalidez de las

Es un proceso que consiste en obtener la conclusin a partir de un conjunto de

O estudiamos o desaprobamos el curso.

Luego, desaprobamos el curso.

O la invito al cine o a contemplar la puesta del Sol.

Luego, la invito a contemplar la puesta del Sol.

La Lgica no estudia cada inferencia concreta sino que gana generalidad

contemplando exclusivamente la forma de las mismas.

Cuando la conclusin est contenida en un conjunto de premisas o se deriva

necesariamente del conjunto de premisas, la inferencia es vlida, en este caso

la inferencia se denomina deductiva.

Lic. Luis V. Meja Alemn 3/18

Es toda expresin lingstica susceptible de ser calificada de verdadera o

Es toda oracin declarativa que est libre de ambigedad y que tiene la

propiedad de que es cierto o falso, pero no ambos.

2. Cuando 3 se suma a 8, la suma es 13.

3. Seres vivientes existen en el planeta Venus.

4. Esta declaracin que est leyendo es falsa.

Observacin: Son expresiones no proposicionales: preguntas, rdenes,

sentimientos, actitudes, deseos, emociones, sugerencias, etc.

1. Cuntos alumnos de la Escuela de Psicologa son piuranos?

2. Espero que todo nio tenga derecho a nacer.

3. Slo mi corazn perciba la verdad de su profundo amor.

4. Quisiera ser un psiclogo reconocido.

6. Dime muchacha si no es mejor caminar hacia la muerte distrado.

Lic. Luis V. Meja Alemn 4/18

Proposiciones Simples y Compuestas

Las simples son aqullas en las que no intervienen conectivos lgicos en su

formacin; las compuestas el resto.

1. Piura, ciudad del eterno calor, tiene ms de 500 000 habitantes.

2. Joyce y Ariel estudian juntos en el PRODEPE-Paita.

3. Hegel no fue un filsofo materialista.

4. El agua se congela si y slo si la temperatura est bajo cero.

1. Dadas las proposiciones:

La moneda es inestable y La moneda es estable, Cul es la proposicin

simple y cul es la compuesta?

Esta manzana es buena y Esta manzana es mala son contradictorias

ciertamente, pero cmo decidir cul lleva la negacin?

La decisin de qu proposiciones son simples y cules son compuestas es

2. Los lenguajes simblicos tienen la ventaja de que no ofrecen esa ambigedad.

El lenguaje de la lgica proposicional (LP)

Llamaremos el lenguaje de LP a un conjunto de signos admitidos convencionalmente

sin definicin (smbolos primitivos).

Lic. Luis V. Meja Alemn 5/18

Smbolos auxiliares: (, ),[, ], , , y los llamados puntos auxiliares .

Russell en Principia Mathematica.

Son interpretaciones semnticas de las posibilidades de verdad o falsedad de las

proposiciones moleculares en base a sus conectivos. Estas son:

1. Negacin ( ): Es un elemento lgico que acta independientemente de la

2. Conjuncin ( ): Es la unin de dos o ms proposiciones mediante la partcula

y. Cumple con la propiedad conmutativa, asociativa e idempotencia (la