ECUELA PROFESIONAL DE CONTABILIDAD (v)

DOCENTE: EDINSON ENRIQUE REYES ALVA

(v)
FORMALIZACIN DE PROPOSICIONES LGICAS operadores
de la lgica proposicional.
El anlisis del pensamiento formuladas en castellano o en cualquier otra lengua natural son difciles de
evaluar, debido a la ambigedad que a veces sufre nuestro lenguaje. El pensamiento es imperceptible por
nuestros sentidos, de all la dificultad de estudiarlos; para ello es necesario crear un Lenguaje Simblico
Artificial (formalizacin) el mismo que represente perfectamente el enunciado en cuestin (traduccin). Una frmula proposicional adopta el nombre del conector de mayor jerarqua.

Es Aristteles quien por primera vez hace uso de ciertas abreviaturas para facilitar su labor al proponer la Ejemplo:
Teora del Silogismo, desarrollando la lgica formal; hecho que permiti se le considerara como "El padre -pq-r ..... frmula condicional
de la Lgica Formal Antigua. - p q r -s ..... frmula bicondicional
La formalizacin consiste en representar simblicamente la relacin que existe entre las diferentes formas Nota: La jerarqua de conectores pierden fuerza cuando aparecen los signos auxiliares de agrupacin: ( ),
del pensamiento mediante el uso de variables y constantes; las mismas que fueron descubiertas ms [ ], { }.
adelante por Gotlob Frege.

I. Smbolos usados en la formalizacin

LOS CONECTORES LOGICOS
1. Variables proposicionales
Letras minsculas que representan a una proposicin simple (p, q, r, ...). I. El Negador

Ejemplo: 1. Smbolos: - A, A, A, A
Csar es profesor de Raz. Lgico: p
Cristbal Coln descubri Amrica: q 2. Se lee: no
2. Variables Metalingsticas 3. Tipos de Negadores:
Letras maysculas que son usadas en la representacin de frmulas u operaciones lgicas (A, B, C, ...) A) Negador Interno: No, nunca, jams se le caracteriza fundamentalmente por su carcter dbil, slo
afecta a la proposicin simple ms cercana.
Ejemplo:
AB AvB B) Negador Externo: No es cierto que, es mentira que, es objetable que son de carcter ms fuerte que
(A v A) A los negadores internos; generalmente se encuentran adelante de la oracin, es por ello que su
representacin queda indicada explcitamente fuera de un parntesis.
3. Constantes u operadores lgicos
Smbolos que representan y detallan la relacin que hay entre las proposiciones, regulan la construccin Nota:
de una frmula lgica, por ejemplo: si los cuerpos se calientan entonces dichos cuerpos se dilatan. - Si un trmino es antecedido por un prefijo de sentido negativo; ste se le considera como un negador
interno.
Su estructura lgica es: si ............ entonces ..........
Ejemplo:
El operador lgico es: () Walter es una persona desleal: - p
Carlos Manrique es un empresario inmoral: -q
Las proposiciones son: - Las expresiones lingsticas de doble negacin (inobjetable, innegable, no es inconcebible) se
p = los cuerpos se calientan. formalizan como tal.
q = los cuerpos se dilatan
La relacin entre las proposiciones: causa efecto. Ejemplo:
Su formalizacin correcta: p q. Carmen inobjetablemente es profesora: p
Nota:
Cabe aclarar que cada parte de la lgica formal trabaja con sus propios operadores lgicos; as por ejemplo, No es mentira que Constantino fuese emperador Romano: q.
la Lgica Proposicional emplea los Conectores Lgicos.

II. El Conjuntor
4. Jerarqua de los conectores lgicos
A) Smbolos: A B, A B, A x B, A.B, AB
 - Eres campen o subcampen: p v q
B) Se lee: ................. y .................. - O estudias o trabajas: p v q

C) Forma de Identificarlo: Al conjuntor tambin se le llama Compatibilizador porque une a las Nota: Algunos disyuntores incluyentes pueden venir acompaados de las palabras: slo, nicamente,
proposiciones en un mismo contexto; es decir ambas proposiciones se cumplen simultneamente. solamente. Dando mayor fuerza al inclusor transformndola en exclusor.

Ejemplo: Ejemplo.
Per as como Ecuador son pases demcratas: p q - Este ao viajar al extranjero salvo que slo viaje a Lima: p v q
- A menos que solamente seas Ingeniero, sers matemtico: p v q
El tomo posee neutrones, protones tambin electrones: p q r

Mary estudia al mismo tiempo que escucha msica: p q V. El Condicional

Nota: Existen algunos trminos de conjuncin que merecen una mencin particular: A) Smbolos: A B , A B

- No slo la matemtica es precisa sino tambin universal: pq B) Se lee: Si .............. entonces .............
- El ser Leninista es compatible con el ser Marxista: pq
- La luna es un satlite no obstante gira alrededor de la tierra: pq C) Forma de Identificarlo: Una proposicin condicional se caracteriza porque presenta una causa y un
efecto; las mismas que pueden estar en cualquier orden: La causa puede ir primero (Implicador) o tal

III. El Disyuntor Dbil (Incluyente) vez puede ir en segunda instancia (replicador).

Si hay inversin interna entonces mejorar nuestra economa .
A) Smbolos: A v B, A + B.
causa efecto
B) Se lee: ....... o ...... (en sentido incluyente).

antecedente consecuente
C) Forma de Identificarlo: Al inclusor se le reconoce porque el trmino nos sugiere aceptar una de las dos
proposiciones. Sin embargo la posibilidad que una compatibilidad queda aceptada o admitida. condicin condicin
suficiente necesaria
Ejemplo: Nota:
- Per y Ecuador se pondrn de acuerdo salvo que intervenga EE.UU. : p v q El sentido del operador lgico es de causa a efecto.
- Maana estudiaremos Qumica o sino estudiaremos Fsica: p v q Ejemplo:

Siempre que llueva entonces mejorarn

Nota: Cuando aparece una disyuncin al lado de un conjuntor o viceversa, la frmula lgica ser un
Disyuntor dbil. las cosechas: p q (implicador).

Ejemplo: Mejorarn las cosechas siempre que llueva:

Las aves poseen pico excepto que tambin alas: p v q p q (replicador).
Los nmeros son reales y/o complejos: p v q.

IV. El Disyuntor Fuerte (Excluyente) VI. El Bicondicional

A) Smbolos: A V B, A B, A B, A
B, A B A) Smbolos: A B , A B , A B.

B) Se lee: ....... o ....... (en sentido excluyente)
o ............ o ............
C) Forma de Identificarlo: Al exclusor o bidisyuntor se le identifica por que acepta una y solo una de las
dos proposiciones, nunca ambas a la vez; es decir la compatibilidad queda excluida o descartada.
Ejemplo:
B) Se lee: .............. si y slo si .............
C) Forma de Identificarlo: Este trmino de enlace no solo seala una consecuencia en doble sentido;
sino tambin informa una equivalencia existente entre las dos proposiciones.
Ejemplo: Los cuerpos chocan porque y solo porque existe una fuerza que los atrae: p q.
El que yo te sonra es lo mismo que yo te enamore: p q.
El Replicador : A B El Negador : - A El Conjuntor: A B
Slo si A, B No A, nunca A, jams (A) (*) AyB
Solo cuando A, B Es inconcebible que A A aunque B
Solamente porque A, B Es Incompatible que A A pero B
A si B No ocurre que A A sin embargo B
A porque B No es verdad que A A incluso B
A dado que B No es el caso que A A es compatible con B
A ya que B Es mentira que A A as como B
A siempre que B Es inadmisible que A A del mismo modo B
A puesto que B No acaece que A A an cuando B
A es condicin necesariaDe ninguna
para B forma se da A A tambin B
A es insuficiente para B Carece de todo sentido que A A de la misma forma que B
Es necesario A para B Es incorrecto que A A al igual que B
Es insuficiente A para B Es incierto que A Tanto A como cuando B
A cada vez que B Nadie que sea A Siempre ambos A con B
A est implicado por B Es objetable que A A empero B
A con la condicin de queEn
B modo alguno A A no obstante B
Si solamente A cada vez En
queforma
B alguna A No slo A sino tambin B
A divido a que B Es absurdo que A As mismo B
A depende de B Es falso que A A al igual que B
A sigue de B Es refutable que A A a pesar de B
Unicamente si A, B Decir que A es una farsa A a la vez B
Es falaz que A A ms B
Es sofisma que A A vemos que tambin B.
Es contradictorio que A
Es refutable que A
El Biimplicador: A B
EJERCICIOS
01. La formalizacin correcta de: Es inconcebible
pensar que, Benito cometi este crimen a no
ser que sea por despecho. Sin embargo nunca
tuvo problemas con su esposa dado que ella
fue una mujer trabajadora es:
a) (p v q) (- C D)
b) (p q) (- C D)
c) (p v q) (C D)
d) (p v q) (- C D) e) N.A.
02. La proposicin: Es inobjetable que sea
necesario tener experiencia para mejorar la
calidad. Pero es insuficiente mejorar la calidad
para que las ventas puedan aumentar. Se
formaliza:
a) (A B) (B C)
b) - - (A B) (B C)
c) - - (A B) (B C)
d) - - (A B) (B C)
e) - - (A B) (B C)
03. La formalizacin de la proposicin: No es
cierto, que el Per no sea democrtico y sea
autoritario, es:
a) (D A) b) - - D A
c) - (- D A) d) - A - - D e) N.A.
04. La proposicin: En cuanto la teora de la
relatividad sostiene que la gravedad y el
movimiento acelerado son equivalentes,
consecuentemente se niega todo movimiento
absoluto. Se formaliza:
a) (A B) C b) (A B) C
c) (A B) - C d) A - B e) N.A.
05. La proposicin: Como Jenny, Antonio y Enrique
son hermanos es evidente que viven en la
misma casa. No obstante solo si existe un
cuarto habitante, este es el hermano menor.
Se formaliza como:
a) (p q) (r s)
b) (p q) - (r s)
c) [(p q r) s] (t u)
d) [(p q r) s] (t u)
e) N.A.
06. La proposicin: Dado que si la lgica es una
ciencia formal, estudia la validez del
razonamiento; en consecuencia es til para la
sociedad adems para la comunidad cientfica. buen porcentaje de preguntas aseguradas,
Se formaliza: estudiars Raz. Lgico. 14. La proposicin: Slo si es falso que la oferta
favorece a la demanda, la calidad del producto
a) (p q) (r s) b) (p q) (r v s) a) [(A B) (C D)] (D A) tendr que mejorar. Sin embargo bajamos el
b) [(A B) (C D)] (D A) precio a menos que solamente mejoremos la
c) (p q) (r s) d) (p q) (r s) c) [(A B) (C D)] (D A) calidad del producto. Se formaliza:
d) [(A B) (C D)] (D A)
e) (p q) (r s) e) [(A B) (C D)] (D A) a) (A B) (C V B) b) (A B) (C V
B)
07. Formalizar el siguiente enunciado: Una 11. La traduccin correcta de la frmula: c) (-A B) (C V B) d) (-A B) (C V B)
proposicin que se contradice, debe ser (B C) A, es: e) N.a.
eliminada
a) Dado que res y juegas es obvio que ests 15. La proposicin: La sede para el mundial del
a) p b) p p c) p q alegre. ftbol de 2006 ser Alemania, Brasil o
d) (p p ) p e) N.A. b) Rer es condicin suficiente para jugar nicamente Australia. Se formaliza como:
adems de estar alegre.
08. La proposicin: Dado que la materia as como a) p q r b) (p q ) r c) p q r
c) Slo si res y juegas, diremos que ests
la energa, no se crea ni se destruye; es obvio alegre. d) (p q ) r e) (p q ) r
que ambos solo sufren transformacin. Se d) Slo si ests alegre, diremos que puedes
16. la proposicin: Es mentira que si el eje de la
formaliza: rer y jugar.
tierra se inclina cada 27 aos, los das sern
e) N.A.
ms cortos. Adems, si es mentira que el
a) ( A B) C
permetro ecuatorial de la tierra se ensancha,
b) (A B) C 12. La proposicin: Siempre y solo cuando las
las estaciones sern ms prolongadas. Se
c) [( A B) ( C D)] (E F) proposiciones no puedan ser enunciados
formaliza como:
d) [( A B) ( C D)] E abiertos, diremos que las supersticiones
e) N.A. tampoco lo sern, sin embargo es falso decir
que nunca las creencias sern proposiciones a) (p q) ( r s)
09.A qu proposicin corresponde el siguiente dado que no admiten demostracin cientfica. b) (p q) ( r s)
esquema lgico? Por lo tanto, si las creencias fueran c) p [q ( r s)]
(P . Q) (R . S) demostrables cientficamente, las
supersticiones seran consideradas como d) (p q) ( r s)
a) Si dos pulsaciones se atraviesan, proposiciones lgicas. Se formaliza: e) (p q ) ( r s)
continan conservando la forma original y a) [(- A B) (- D C)] (D B)
si el juego ha empezado, llegaremos a b) [(- A B) (C - D)] (D E) 17. La proposicin: Si la fsica, la qumica y la
calentar. c) [- ( A B) (C - D)] (D B) biologa son ciencias naturales; la lgica, la
b) El Sol desaparece detrs de las nubes y d) [(- A B) - (- C - D)] (D B) psicologa o la matemtica son ciencias
enseguida empieza a refrescar o no e) [(- A B) - (- C - D)] (D E) sociales. Se formaliza como:
desaparece y empieza a calentar.
13. Dada la siguiente proposicin lgica: Las a) (p q) (r s)
c) Juan es el ms pequeo y Pedro es el ms personas no se alimentan en forma adecuada, b) (p q r) (s t u)
alto solamente si Pedro es el ms bajo y es condicin suficiente para que estn
Juan es el ms grande. dbilmente nutridas. Podemos afirmar que: c) A B
d) Moche est al sur y Chicama est al norte 1. Se formaliza como: - A B d) (p q) (r s)
o Huanchaco no est al oeste y Laredo 2. Se formaliza como: - A B e) (p q r) (s t u)
est al este. 3. La condicin suficiente es: Las personas
e) Todas las anteriores. no se alimentan en forma adecuada
4. La condicin necesaria es: Las personas 09. Es una proposicin simple:
10.La correcta formalizacin de la proposicin: Es no se alimentan en forma adecuada.
innecesario estudiar Razonamiento Lgico
a) Javier y Enrique estudian en la Universidad
5. La condicin necesaria es: Las personas
para necesariamente ingresar a la Universidad.
b) Vernica es vecina de Carlos y Rodolfo
estn dbilmente nutridas.
Sin embargo dominar aptitud es condicin c) Per no clasific al mundial de Francia 98
suficiente para tener un buen porcentaje de Son ciertas: d) Jenny y Flor son compaeras de carpeta
preguntas aseguradas. Pero slo si tienes un a) 1,3,4 b) 2,3,5 c) slo 3 y 5
d) 1,3,5 e) Ninguna e) N.A.

10.Cul de los siguientes enunciados no
representa a una proposicin lgica?
1) a + b + c = 100, a, b, c R
2) x 2 y 2 = (x+y)(x-y)
3) h 2 a 2 b 2
4) x = y; si x = 3
5) Es el creador de la Lgica Matemtica
Son ciertas:
a) 1,3,4,5 b) 1,2,4,5 c) 3,4,5
d) 4 y 5 e) Todas
11. De las proposiciones lgicas:
1. San Martn y Bolvar son contemporneos
2. Algunos animales no poseen extremidades
3. Carlos es estudioso y respetuoso
4. Ana y Mara se escriben
5. Scrates y Platn son filsofos.
Son atmicas:
a) 1 y 4 b) 1,4,5 c) 2,3,5
d) N.A. e) 4 y 5
12. Representa a una proposicin compuesta:
a) La Tierra es un planeta que gira en forma
elptica
b) Moiss y Elas fueron personas escogidas
por Dios.
c) Te deseo en alma y corazn.
d) Nunca debes decir mentiras.
e) N.A.
13. Representa a una proposicin relacional:
a) Antonia y Amalia trabajan para el gobierno.
b) Pamela come cerezas cada maana.
c) El territorio peruano no queda en Centro
Amrica.
d) Llueve
e) N.a.
14. Es una proposicin coligativa:
a) Nunca jams debes renunciar
b) Henry y Elisa se escriben por internet.
c) El peso de los cuerpos es equivalente a la
fuerza de atraccin.
d) Te amo en cuerpo y alma.
e) N.A.
15. Una propiedad de la proposicin lgica de la b) (p q) (p r)
cual se puede determinar su verdad de manera c) (p q) (p s)
inmediata al compararla con la realidad es:
d) (p q) (r s)
a) Afirmativa b) Problemtica c) Asertrica e) (p q) (r s)
d) Singular e) N.A.
16. Las expresiones :
1. Por qu existen tantos postulantes a la
UNT?
2. Soldado Prez, Cuadrase!
3. El sol es amarillo, adems es anaranjado
4. Amar es nunca tener que pedir perdn
No son proposiciones lgicas simples:
a) Slo 1,3 y 4 b) Slo 2,3 y 4 c) Slo 1, 3
d) Slo 1,2,4 e) Todas
17.No representa a una proposicin relacional:
a) Vctor y Carmen son novios
b) Carla, Elissa y Erika estudian juntas
c) Per esta entre Ecuador y Chile
d) La matemtica es ciencia formal as como
la lgica tambin lo es.
e) Todas
18. La proposicin: Per y Ecuador son pases
fronterizos, adems son tropicales. Se
formaliza como:
a) p q b) p (q r)
c) (p q) (r s) d) (p q ) r
e) (p q ) r
19. La proposicin: Termodinmicamente el calor
es equivalente al trabajo, en consecuencia
ambos dependen de la temperatura del
entorno. Se formaliza como:
a) (p q ) r b) (p q) (r s)
c) p q d) (p q) r e) p (q r)
20. La proposicin: El que los razonamientos sean
vlidos est implicado por el que su esquema
formal es tautolgico, sin embargo es suficiente
que cumplan con las Reglas de Inferencia para
poder demostrar su validez formalmente.
Tiene como frmula:
a) (p q) (r s)