Formalización N°02

PROGRAMA DE FORMACIN GENERAL
HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ

TEMA N 02: FORMALIZACIN
1. DEFINICION.- Es el procedimiento mediante el cual se identifican proposiciones simples y
estructuras lgicas proposicionales, asignndoles a cada uno un determinado smbolo del lenguaje de
la lgica Proposicional organizndolos con signos de agrupacin.
1.1 A las proposiciones simples se les reemplaza por variables proposicionales del lenguaje objeto
de la lgica Proposicional.
Variables
a. Del lenguaje
objeto.
p,q,r,s,t,u,v,w,x,z
b. Del Metalenguaje. A,B,C,D,E,F...Z
Nota: Las variables del Metalenguaje de LP, se utilizan para hacer operaciones y
enunciar reglas, no se utilizan para formalizar.

1.2 A los operadores proposicionales, llamados constantes lgicas, se les reemplaza por:

N
OPERADOR
Smbolos
Nombre Forma bsica
1 Negador no - ~
2 Conjuntor ...y... . . , &,
3
Disyuntor
...o... v ,+ ,
Incluyente
4
Disyuntor
o...o... v A >< =
Excluyente
5 Implicador si...entonces... ,,
6 Replicador ... porque... ,:
7 Bimplicador ... si y slo si... , =,
8 Inalternador ni... ni... +
9 incompatibilizador no..o no... /

2. PROCEDIMIENTO DE FORMALIZACION

Paso 1.- Identificar proposiciones simple y asignarles variables en orden alfabtico.
Paso 2.- Identificar la forma.
Paso 3 .- Escribir la frmula lgica.

EJEMPLOS:
a) Watson y skinner fueron psiclogos.:..
b) Leonardo estudia la carrera de Derecho y se especializar en Derecho Penal de ah que
terminar en 6 aos si esta carrera la estudia
3. RECOMENDACIONES PARA FORMALIZAR. A continuacin te presentamos un conjunto de
recomendaciones que puedes utilizar para formalizar.

3.1 El Negador.

a. La doble negacin de una proposicin simple la convierte en una compuesta.
b. La formalizacin debe ser literal (tal como est escrita), no valen las equivalencias.
c. Las expresiones lingsticas de doble negacin (innegable, inobjetable, no es inadmisible, etc)
se formalizan como tal.
d. Las negociaciones por prefijos SE FORMALIZAN.

3.2 El conjuntor:

a. Cuando se usan comas (,) y el ltimo operador es y, las comas se formalizan como
conjunciones.
b. Excepcin: cuando una proposicin utiliza trminos relacionales aunque utilice el trmino
y se considera proposicin simple.

3.3 El disyuntor incluyente:

a. Al igual que la conjuncin, las comas seguidas se una o, se formalizan como tal.
NOTA: Los dems operadores se formalizan de acuerdo a su sentido, en los casos tal y como
se present en la unidad anterior.

3.4 Proposiciones Compuestas:




ACTIVIDAD

I.- FORMALIZA LAS SIGUIENTES PROPOSICIONES.
1. Alicia es enfermera no obstante no es deductiva.
2. Es mentira que Lourdes Flores gane las elecciones presidenciales 2012 salvo que pase a la
segunda vuelta.
3. Per y Bolivia son paises fronterizos adems subdesarrollados.
4. Si me levanto temprano, llegar a tiempo al Instituto.
5. No entender bien la clave es consecuencia de estar desatento.
6. Es necesario tener buena presencia para que suficientemente encontrar trabajo.
7. Me informa de todo lo que pasa en el Per siempre que lea peridico.
8. Ser millonario es suficiente para ser adinerado.
9. No acaece que, sea innecesario viajar para triunfar en la vida.
10. Sofa ir al cine o solo al teatro.
11. Ni Ollanta Humala ni Alan Garca pudieron evitar la guerra sucia en la 2 da vueltas de las
elecciones del 2006.
12. Todo corolario esta implicado por los teoremas.
13. No solo ingresaste al instituto sino tambin a la universidad.
14. La matemtica es una ciencia formal y bien o tambin la lgica lo es.
15. Solo si juego el partido de ftbol, soy titular.
16. 4+8 es igual a 10+2
17. Si Sofa Fernanda va a la fiesta entonces no estudiar para su examen, pero no es el caso que vaya
a la fiesta y apruebe sus cursos. De ah que Sofa Fernanda estudia para su examen.
18. No es cierto que nunca la Trinchera Norte no sea una barra antisocial.
19. Sheyla, karla y stefany intercambian informacin acerca de los avances de la medicina.
20. Luis y Henry no son profesores ,o si no son ingenieros.
ACTIVIDAD N 01
1. La proposicin : Porque la luz tiene naturaleza dual, se transmiten en el vaco. Sin embargo, el
sonido no se transmite en el vaco porque tiene naturaleza condulatoria se formaliza como:
a) (A B) . (- B C)
b) (A B) . (- C D)
c) (A B) . - ( B C)
d) (A B) . (- C D)
e) (A B) . (C D)

2. La proposicin: Que la poltica sea social es una condicin suficiente y necesaria para que la poltica
no sea econmica se formaliza como:
a) A v B b) A B c) A B
e) A = - B d) (A B)

3. No es el caso que, Ricardo no sepa tocar el violn y no componga una meloda; puesto que es
egresado del Instituto Regional de Cultura se formaliza como:
a) (A B) . (C A) b) (- A . - B) C
c) ( A v B) C d) A - (- B. - C)
e) (-A . - B) C
4. La proposicin: Es falso que si canto me alegro o bien es mentia que siempre que alegro canto se
formaliza como:
a) A v B b) (A B) . -(B A)
c) A - B d) (A B ) v (B A) e) A = B

5. La inflacin es un indicador econmico o tan slo es un problema de los pases latinoamericanos
La formalizacin correcta es:
a) A v B b) A . - B c) A v B d) A v B
e) A v B

6. La proposicin: El lenguaje tiene significacin salvo que tan slo tenga sentido se formaliza como:
a)- A v B b)A B c)A B d)- A = -B e) A.B

7. Subir el precio del pan porque subi el
precio de la gasolina en vista de que, si
subi el precio de la gasolina, el gobierno no
puede controlar la inflacin. Es una
proposicin cuya formalizacin correcta es:
a) (A B ) . (B - C)
b) (A B ) v (B - C)
c) (A B ) v (B - C)
d) (A B ) (B - C)
e) (A B ) (B - C)

8. La formalizacin correcta de: No es el caso
que, si Teresa no estudiaba abogaca no
habra podido contraer matrimonio; dado
que Teresa no ha podido contraer
matrimonio porque preside la administracin
de una empresa, es:
a) (-B C ) (-A - B)
b) (-A -B ) (-B C)
c) -(-A -B ) (-B C)
d) -(-A -B ) (-B C)
f) -|(-A -B ) (-B C)|

9. Un juicio apodctico es analtico, pero
tambin es necesario y forzoso. Por eso
usan lenguajes formalizados. Se formaliza
como:
a) |A v (A . B)| D
b) |A (B . C)| D
c) |A v (B v C)| D
d) |A . (A . B)| D
e) |A . (B . C)| D

10. La piscina esta temperada porque hay
calefaccin o la piscina esta temperada
porque habr concurso de natacin. Tiene
como frmula correcta a:
a) (A B) v (A B)
b) (B A) v (A v B)
c) (A B) v (A C)
d) (A B) v (A C)
e) (A B) v (A C)

11. La proposicin: O bien el caimn es un
reptil o bien invertebrado; sin embargo el
delfn es acutico a menos que la ballena sea
mamfero se formaliza.
1) (A A - B) . (C v D)
2)(Av - B) . (C D)
3)( - A - B) v (C A)
4) (A v B) . (C v D
son ciertas.
a)1 y 2 b)2 y 3 c)3 y 4 d) 1 y 4
e) todas

12. Ni Ecuador, ni Bolivia son productos de
algodn se formaliza como en:
1) Av B 2) A + B 3) A|B
4) A . B 5) A .-B
son ciertas, solamente.
a)1 y 4 b)2 y 5 c)4 y 5 d)3 y 4
e)2 y 4

13. La proposicin Es absurdo que, los sueldos
no tienen capacidad adquisitiva, pero los
trabajadores protestante se formaliza como:
a) A v B b) (-A . B)
c)A . - B d)-A . - B e) (A .B)

14. La proposicin: Los volcanes durmientes
son pasivos a menos que con el tiempo se
activen se formaliza como:
a) A v B b)A v B c)A v (B C)
d)A .(A v B e) Av(B . C)
15. La proposicin Si los recursos naturales
son patrimonio de la nacin, en
consecuencia es soberano su
aprovechamiento se formaliza como
a)- A v B b)A B c) A B
d)- B - A e)B - A
16. La proposicin : La clula es microscpica,
excepto que sea visible a simple vista se
formaliza como:
a) A v B b)A . B c)A V B
d)- A v B e) A v B
17. La proposicin Con tal que la inflacin
baje es obvio que se aumentar la balanza
comercial se formaliza:
a) A B b)A v B c)A >--<B
d)A B e)- A B

18. Una empresa persigue un fin lucrativo
porque produce dividendos, salvo que
nicamente persiga un fin mercantil se
formaliza como:
a) (A B) v B b)(A B) v A
c)(B A ) v C
d) (A B) v C e) (-A B) v C

19. La proposicin: Es absurdo que, los
vegetales no son verdes pero los frutos son
productos de las plantas se formaliza.
a) A . B b)- (- A . - B) c)(-Av B)
d) - A . (B v A) e) A . B

20. La proposicin Los peces son acuticos o
bien los insectos son invertebrados se
formaliza
a) A v B b) B >--< A
c)A - B d)B v A e) A v B

21. La proposicin : Si las plantas son
vegetales en tal sentido son seres vivos se
formaliza
a)A B b)A v B c)A>--<B
d)A B e)A -B
22. La proposicin: Es inconcebible que, el
tomo est formado por protones excepto
que por neutrones se formaliza
a) p v q b) q v - p c)- (p v q)
d) -(q . p) e)- q v p

23. La proposicin: Es inconcebible que, el
Per tenga crecimiento econmico salvo que
se termine con la recesin. A menos que no
haya inflacin Se formaliza como:
a) (A v B) . C b)- (A v B) v C
c)- (AB) v C
d) - A v B e) - (A v B) v C

24. La proposicin : La lgica es una ciencia
siempre que y solo cuando la matemtica
sea una ciencia exacta Se formaliza como
a) - A B b)A B c)A (B C)
d)A B e)A v (B v C)
25. La proposicin: Siempre que los animales
no sean voladores, no son insectos se
formaliza como:
a) AvB b) A B c) A B
d)- A - B e)- A - B

26. El que un juicio sea plausible es
equivalente a que un juicio sea
problemativo se formaliza como
a) A . B b)A v B c)A
d) AB e)A A B

27. La proposicin: Es absurdo que la Biologa
sea una ciencia matemtica excepto que sea
cierto que la qumica sea una ciencia
natural se formaliza.
a)- A v B b)- A v B c)AvB
d)A B e) A B

28. La proposicin: Los peces son acuticos o
bien los insectos son invertebrados se
formaliza
a)A v B b)B >--< A c)A - B
d)B v A e)A v B
29. La proposicin: Tanto Per como Ecuador
no son potencias comerciales Se formaliza.
a) A . B b) A + B c)- (A . B)
d)- A . B e) A = B

30. Japn y Somalia son los pases de mayor y
menor riqueza mundial, respectivamente Se
formaliza como
a) A . B b)A + B c) A v B
d) (A.B) . (C . D) e)A = B

31. La proposicin: Si la energa radiante se
convierte en energa trmica, elctrica,
mecnica o qumica, sus ondas de
propagacin han sido interceptadas por la
materia se formaliza.
a) (A v B) C
b)(A . B .C.D) E
c) A B
d) A B
e) (A v B v C v D) E

ACTIVIDAD N 02
01. La proposicin: Ni Juan ni Pedro ni
Facundo te darn la razn, se formaliza:
A) p q r B) p (q r)
C) (p q) r
D) p q r E) N.A.

02 . La proposicin: Estoy enfermo no obstante
no faltar a la cita; dado que es importante
para el futuro de mi empresa, se formaliza:
A) (p q) r B) p (q r)
C) p q r
D) (p q) r E) p (q r)

03. La proposicin: Si Felipe comete actos de
traicin y antipatriotismo, obviamente ser
expulsado del club, se formaliza:
A) (p v q) r B) p (q r)
C) p v (q r)
D) (p r) q E) (p q) r

04. La proposicin: Si el nio, el adolescente y
el anciano son abandonados, por supuesto
sern protegidos por el estado, se formaliza:
A) (p q r) s
B) (p q r) (s t u)
C) (p q r) s
D) p (s t u)
E) p q

05. La proposicin: Sin mandato judicial ni
autorizacin de la persona que lo habita, no se
puede ingresar en el domicilio, tampoco
efectuar investigacin, se formaliza:
A) (p q) (r s)

B) (p q) (r s)
C) (p q) (r s)
D) (p q) (r s)
E) (p q) (r s)

06. La proposicin: Suponiendo que el mnibus
sale hoy para Ayacucho, es obvio que no cay
un huayco o tampoco hubo un terremoto, se
formaliza:
A) p (q r) B) p (q v r)
C) p (q r)
D) p (q v r) E) N.A.

07. La proposicin: Para que Javier obtenga un
puesto en la Orquesta Sinfnica, es necesario
que sea msico al igual que compositor, se
formaliza:
A) p (q r) B) (p q) r
C) p (q r)
D) p (q r) E) (p q) r

08. La proposicin: Es suficiente que, para que
Matilde pague sus tributos es necesario que
cobre puntualmente su giro en el banco; para
que el banco no decida embargar su
propiedad, se formaliza:
A) (p q) r B) (p q) r
C) (p q) r
D) (p q) r E) (p q) r

09. La proposicin: Es incompatible que, las
peleas callejeras se producen por pandilleros
salvo que se produzcan por gente de mal
vivir, se formaliza:
A) (p q) B) (p v q) C) (p v q)
D) p/q E) (p/q)

10. La proposicin: El que el congreso sea una
institucin publica es incompatible con que
tenga treinta aos de antigedad. Se
formaliza:
A) p & q B) p & -q
C) p / q
D) p v q E) p q

11. La proposicin: Que el negador es un
conector mondico es incompatible con que
sea simple, por prefijos o compuesto, se
formaliza:
A) p / q / r / s B) p / (q / r / s) C) p / q
D) p / (q r s) E) p / (q v r v s)

12. La proposicin: Ral viajar a Londres, de
modo que estudiar el idioma y se graduar de
contador, se formaliza:
A) p (q r) B) p (q r)
C) p (q v r)

13. La proposicin: Si el embajador ha viajado,
ha debido ir o a Buenos Aires o a Brasilia.
Debo concluir que ha ido a Brasilia, pues ha
viajado y no ha ido a Buenos Aires, se
formaliza:
A) [p (q v r)] [r (p q)]
B) [p (q v r)] [r (p q)]
C) [p (q r)] [r (p q)]
D) [p (q v r)] [r (p q)]
E) [p (q v r)] [r (p q)]

14. La proposicin: Los analistas de juegos
utilizan la matemtica; pues esta les permite
plantear leyes adems reglas, siempre y
cuando sean utilizadas correctamente, se
formaliza:
A) p [q (r s)]
B) (p q) (r s)
C) [(p q) r] s
D) p [q (r s)]
E) p [(q r) s]

15. La proposicin: Maruja ensea en la
universidad, sin ser profesora; sin embargo,
estudia por las tardes pues no tiene tiempo por
las maanas. Adems, cuando trabaje 30 aos,
podr jubilarse, se formaliza:
A) (p q) [(r s) (t u)]
B) (p q) (r s) (t u)
C) p (q r) (s t)
D) (p q) (r s) (t u)
E) [(p q) (r s)] (t u)

16. La proposicin: Es falso que vendes tu casa
al igual que tu auto. Sin embargo no vendes tu
casa ni tu auto siempre y cuando vendas tu
empresa, se formaliza:
A) (p q) v [(p q) r]
B) (p q) [(p q) r]
C) (p q) [(p q) r]
D) [(p q) (p q)] r
E) N.A.

17. Es incorrecto que 1 y 3 son pares. Sin
embargo 7 y 11 son primos, se formaliza:
A) (p q) (r s)
B) (p q) (r s)
C) (p q) (p q)
D) (p q) (r s)
E) (p q) (r s)

18. La proposicin: Es mentira que amanecer
nublado salvo que sea falso que estemos en
verano, se formaliza:
A) (p v q) B) (p v q)
C) p v q D) p E) q v p

19. La proposicin: Los grmenes que se
encuentran en la placa dental pueden llegar a
los pulmones y causar una neumona que
puede ser letal en los ancianos, por lo que es
necesario la higiene para una vida saludable,
se formaliza:
A) (p q) r B) (p q) (r s)
C) p q D) p (q r)
E) (pq) r

20. La proposicin: Es mentira que Ral
postular a medicina pero tambin es mentira
que Rita postular a derecho y a ingeniera,
se formaliza:
A) p q r B) p (q r)
C) p (q r)

21. La proposicin: Siempre que es falso la
malaria y el clera son enfermedades
endmicas producidas por bacterias; por ello
son curables pues existen medicamentos de
mucha eficacia
A) { (p q) (r s) }
B) { (p q) [(r s) t] }
C) (p q) [(r s) t]
D) (p q) (r t)
E) N.A.

22. La frmula (q r) p, se lee
correctamente:
1) Es suficiente que me prepare pero que no
ingrese, para que consiga empleo
2) Si Ral enciende la luz del mismo modo
como no prende la lmpara, obviamente
que gastar menos energa
3) Es necesario que la proposicin sea la
explicitacin del juicio aseverativo, para
que tenga coherencia as como
ambigedades.
4) Los peces respiran por branquias porque
viven en el mar y no en la tierra
5) Ya que Martn es abogado pero no juez,
podr litigar tranquilamente en el juzgado
Son ciertas:
A) 1, 2 y 5 B) 1 y 2
C) Slo 3 y 4
D) 1 y 4 E) 3, 4 y 5

23. La proposicin: Si es falso que la lgica y la
matemtica sean ciencias formales, ni la
lgica ni la matemtica utilizan la induccin
para demostrar sus principios. Se formaliza:
A) (p q) (r s)
B) [(p q) (r s)]
C) [(p q) (r / s)]
D) (p q) (r / s)
E) (p q) (r s)

24. La proposicin: Los nmeros 1, 2 y 3 son
naturales consecutivos, sin embargo los
nmeros 1 y 5 no son consecutivos. Se
formaliza:
A) p q
B) (p q r) (s t) C) p q
D) (p q) r E) p (q r)

25. Si es necesario que vare el campo elctrico
para que cree un campo magntico, adems, si
resulta necesario que vare el campo
magntico para que cree un campo elctrico;
luego se originan los rayos X. Se formaliza:
A) [(p q) (r s)] t
B) [(p q) (q p)] r
C) [(p q) (q p)] r
D) [(p q) (r s)] t
E) [(p q) (r s)] t

26. La expresin: Slo si juego cuando no canto,
no canto cuando duermo; en vista de que ni
duermo ni canto cuando juego. Se formaliza:
A) [(p q) (q r)] [(r q) p]
B) [(p q) (q r)] [(r q) p]
C) (p q) [(r q) p]
D) (p q) [(r q) p]
E) [(p q) (q r)] [(r q) p]

PROGRAMA DE FORMACIN
GENERAL

LGICO MATEMTICA Lic. MILAGROS OLIVOS
JIMENEZ

PROGRAMA DE FORMACIN
GENERAL

LGICO MATEMTICA Lic. MILAGROS OLIVOS
JIMENEZ

Formalización N°02

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Formalización N°02

Uploaded by

Copyright:

Available Formats

PROGRAMA DE FORMACIN GENERAL

HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ

You might also like