FORMALIZACIÓN DE PROPOSICIONES

NEGADOR 20. A igualmente B

“No……………….” 21. A e incluso B
Símbolos: ( -, ,, A, A’) 22. A a ambos a la vez B
1. No A 23. Sin que A tampoco B
2. Ni A 24. Tanto A cuando B
3. Nunca, A 25. A tal como B
4. Jamás A 26. A al igual que B
5. Es falso que A 27. Sin que A tampoco puede ver B
6. Es inconcebible que A 28. A del mismo estilo también ocurre B
7. Es imposible A 29. Es cierto que A sino incluso B
8. No ocurre que A
30. No sólo A inclusive B
9. No es verdad que A
31. Cierto es que A lo mismo que B
10. No es el caso que A
11. Es mentira que A
12. Es inadmisible que A
13. No acaece que A DISYUNTOR INCLUYENTE
14. No es innegable que A Débil o Alterador: “…….. o ……..”
15. Carece de todo sentido que A Símbolos: ( , +, )
16. De ninguna forma se da A 1. A o B
17. Es incorrecto que A 2. A a menos que B
18. Es incierto que A 3. A salvo que B
19. Nadie que sea A 4. A o también B
20. No se da que A 5. A excepto que B
21. Es absurdo que A 6. A o a la vez B
22. No se concibe de que A 7. A o en todo caso B
23. Es una farsa de que A 8. A o de lo contrario B
24. No es que A 9. A o en su efecto B
25. No se admite que A 10. A ya bien B
26. No es auténtico el que A 11. A a no ser que B
27. No es evidente que A 12. A o aunque también B
28. No es posible de que A 13. A ya sea que B
29. Es contradictorio que A 14. A y bien o también B
30. En modo alguno A 15. A o incluso B
31. En forma alguna A 16. A o puede que B
32. No, no A 17. A o es B
33. En absoluto se da que A 18. A menos que A, B

DISYUNTOR EXCLUYENTE
Disyuntor fuerte, bialternador,
contravalorador o bidisyuntor
(“o ……….. o …………”
CONJUNTOR Símbolos: (,, , , , >⎯<
Compatibilizador: “………. y ……..” 1. OAoB
Símbolos: ( •, , x, &, ) 2. O bien A o bien B
1. A y B
3. A o B (en sentido excluyente)
2. A pero B
4. A excluye a B
3. A aunque B
4. A sin embargo B 5. A se contrapone a B
5. A incluso B 6. A no equivale a B
6. A es compatible con B 7. A no se define como B
7. A así como B 8. A no es igual a B
8. A también B 9. Ya bien A ya bien B
9. A del mismo modo B 10. A o solamente B
10. A de la misma forma B 11. A o necesariamente B
11. A de la misma forma B 12. A salvo que solamente B
12. Siempre ambos A con B 13. A ya bien sólo B
13. A no obstante B 14. A y bien o también solamente B
14. A empero B 15. A o prioritariamente B
15. No sólo A sino también B
16. A sí mismo B
17. A sino B
18. A a pesar de B
19. A a la vez B
 IMPLICADOR 6. Es condición necesaria A para B
Condicional: “Si …….. entonces…….” 7. A cada vez que B
Símbolos: ( →,  , ) 8. A dado que B
1. Si A entonces B 9. A puesto que B
2. Ya que A bien se ve que B 10. A supone que B
3. Cuando A así pues B 11. A a condición de que B
4. Siempre que A por consiguiente B 12. A pues B
5. Toda vez que A por eso B 13. A en vista de que B
6. Dado que A por eso B 14. A ya que B
7. En la medida que A de allí B 15. A es insuficiente para B
8. En cuanto A por tanto B 16. En el único caso en que A entonces B
9. Con tal que A es obvio que B 17. Si tan solamente se da A entonces B
10. Como quiera que A por lo cual B 18. Una condición suficiente para A es B
11. En el caso de que A en tal sentido B 19. A para que ocurra A es suficiente B
12. De A inmediatamente B 20. En el único y necesario caso de A
13. En virtud de A es evidente que B inducimos B
14. De A deviene B 21. A es condición necesaria para que B sea
15. En el caso que A en este caso B suficiente
16. De A derivamos B 22. A deviene de B
17. De A deducimos B 23. Sólo si A entonces B
18. De A inferimos en B
19. De A concluimos en B
20. De A llegamos a B PRIMERA NEGACIÓN SHEFFER
21. A es la condición suficiente para B Daga de Sheffer o Inalternador:
22. Si A, B “Ni ………… ni….…….”
23. Si A solo si B Símbolo: ()
24. La cuestión es que A de allí B 1. Ni A y ni B
25. De ocurrir A necesariamente ocurre B 2. Ni A, ni B
26. En el supuesto caso de que A en tal sentido 3. Ni A, No A
B 4. No A, Ni A
27. A penas A se da B 5. No A y no B
6. No A tampoco B
28. Desde el momento que A inmediatamente
7. A inalternador B
B
BIIMPLICADOR
29. Puesto que A naturalmente B
Bicondicional: “…….. si y sólo si ……”
30. Teniendo en cuenta que A bien se ve que B
Símbolos: (, ,  )
31. Con que A según lo cual B
1. A si sólo si B
32. Todo está en que A, por lo cual se da B
2. A es equivalente a B
33. Según se A, por lo expuesto B 3. A siempre que y solo cuando B
34. Si se verifica A bien se ve que B 4. A equivale a B
35. Teniendo en consideración de que A en tal 5. A por lo cual y según lo cual B
sentido B 6. A se define como B
36. A da lugar a B 7. A es lo mismo que B
37. Para A es necesario B 8. A si es de la misma forma que B
38. A es suficiente para que B sea necesario 9. A es idéntico a B
39. Lo necesario para A es B 10. A igualmente entonces B
40. Siempre que A luego B 11. A cada vez que sólo si B
41. Al suceder A, B 12. Si solo si A, entonces B
13. Si y solo si A, entonces B
REPLICADOR 14. A es suficiente y necesario para B
15. Cada vez que sólo si A entonces B
En realidad no existe esta conectiva, pero es 16. A es de la misma forma que B
muy frecuente su uso por muchos estudiosos y 17. A es de la misma manera que B
en exámenes de admisión. Esta conectiva no 18. Una condición suficiente y necesaria
viene a ser sino el implicador apuntando hacia para A es B
la izquierda. SEGUNDA NEGACIÓN SHEFFER
“…….…. Si ………” Barra de Nicod o Incompatibilizador
Símbolos: (, ,  ) “No ……… o no ……….”
1. A si B Símbolo: ( / )
2. A porque B 1) No A o No B
3. Sólo si A, B 2) No A o Ni B
3) Ni A o No B
4. A siempre que B
4) Ni A o Ni B
5. A es condición necesaria para B 5) No A y / o No B
 6) A es incompatible con B Aunque también los prefijos funcionan como
DOBLE NEGACIÓN negadores simples.
1. Es indudable que - Manuel es indisciplinado
2. Es inobjetable que p
3. Es innegable que - Pedro es antidemócrata
4. Es indiscutible que p
OBSERVACIÓN:
En la formalización de proposiciones, cuando hay
FORMALIZACIÓN presencia de prefijos que indican negación, este
debe ser formalizado (ejemplos anteriores), pero
FORMALIZACIÓN para el Examen de Admisión a la Universidad
Proceso mediante el cual llevamos una proposición Nacional de Trujillo, para ser considerado como
verbal hacia una proposición formal utilizando para negador, debe ir el mismo término al cual se
ello un lenguaje simbólico. refiere, pero sin prefijo. Entonces los ejemplos
dados anteriormente se formalizan: p (y no p,
La formalización es proceso que nos facilita la
como debería ser correctamente). Si en un examen
aplicación de leyes y reglas y por ende el RAZONAR
de admisión tienes alguna pregunta como los dados
HUMANO. anteriormente y encuentras en las alternativas: p,
pues no dudes en marcarlo; pero si no hay clave y
1. VARIABLES PROPOSICIONALES en las alternativas hay p, pues márcalo en tu
Son letras minúsculas tomadas de la 2da mitad del segunda alternativa.
alfabeto, es decir, desde “p” hasta “z”, que sirven Por eso las negaciones, por prefijos se formalizan
para representar a las proposiciones atómicas. cuando en una proposición compuesta, el mismo
p, q, r, s, t, … etc. término se encuentra sin prefijo. (para el examen
de ingreso a la UNT).
Se asignan en forma correlativa alfabética. Ejemplo:
“La ciencia es exacta y la ciencia es inexacta”: p 
Ejemplo: p
Formalizar: “José es comerciante, trabajador o Compuesto:
mayorista” Comúnmente tienen la terminación “que” y se
p  q  r … CORRECTO utilizan signos de colección para simbolizarlos
r  p  q … INCORRECTO luego de la terminación “que”
- Es falso que los tribunales debe actualizarse
2. CONECTORES LÓGICOS (p)
Son signos artificiales que representan a los - No se cumple que Javier ingresará a la UNT
conectivos que enlazan a las proposiciones simples. (p)

CASOS ESPECIALES
En general los conectores se clasifican en 2 grupos:
- No, no terminé el trabajo de Historia Universal
a) Conectores Monarios (Monádicos) p
Son aquellos que se enlazan solo a una proposición - Es falso y mentira que el cobre es un halógeno
simple. (p)
Ejemplo: “” - Es falso, incierto y mentira que Zambia se
encuentra en América
b) Conectores Binarios (Diádicos) (p)
Son aquellos que enlazan a 2 proposiciones - Es falsamente mentira que sea incierto que
simples. Víctor tendrá libertad bajo palabra
Ejemplo: [(p)]
- Es inobjetablemente no correcto que la
“”, “”, “”, “→”, “”, “”, “”, “/”
corriente del niño no caliente las aguas del
Pacífico.
DESCRIPCIÓN DE LOS CONECTORES (p)
LÓGICOS
A) NEGADOR B) CONJUNTOR O COMPATIBILIZADOR
Sus símbolos son: p, -p, p’, p Sus símbolos son: p  q, p  q, p & q, pxq, pq
Se lee: “No es cierto que…” Se lee: “… y …”

Simple: - Tal como Manuel, Andrea terminó su carrera

Comúnmente se ligan al verbo técnica. pq
- Los tribunales no deben actualizarse - Invertí en la bolsa asimismo en terrenos
p pq
- Pinky, Rudoff, Satán y Barbón son los nombres
- Javier nunca ingresará a la UNT de mis perros
p pqrs
- No solo culmine mi secundaria a tiempo además
ingrese a la UNT
 pq - Yo duerno o necesariamente estudio
razonamiento lógico
- La Historia y la Geografía no son Ciencias pq
Formales
p  q Por el contenido
Los eventos que se generan no se pueden cumplir
- Andrés es trabajador. Es un hombre ambos a la vez.
desinteresado - Martín nació en Cajamarca o en Tacna
pq
pq
CASOS ESPECIALES
- Los virus son microscópicos salvo que visibles
- Martín al igual que Carlos son ingenieros, sin
a simple vista
embargo no tienen título universitario
pq
(p  q)  (r  s)
Donde: - El perro de la esquina es macho excepto que sea
p: Martín es ingeniero hembra.
q: Carlos es ingeniero pq
r: Martín tiene título universitario
s: Carlos tiene título universitario E) INALTERNADOR O NEGADOR CONJUNTIVO
- Ni las ballenas son peces ni tienen branquias para
- Alejandra, José y Carlos son hermanos, no respirar.
obstante, ellos aún no trabajan. pq
p  (q  r  s)
Donde: - Ni los delfines son reptiles ni son ovíparos
p: Alejandra, José y Carlos son hermanos pq
q: Alejandra trabaja
r: José trabaja F) INCOMPATIBILIZADOR O NEGADOR
s: Carlos trabaja DISYUNTIVO
- Los guepardos no son veloces o no son felinos
C) DISYUNTOR INCLUYENTE, DÉBIL O p/q
ALTERNADOR INCLUYENTE - No consigo comprar el terreno en Surco a menos
Sus símbolos son: p  q, p  q, p+q que no viaje a Lima
Se lee: “… o …” p/q
- Manuel saca la basura o de lo contrario tiende
su cama.
TRANSFERENCIA DE APRENDIZAJE
pq

- No hay crisis salvo que no haya inflación 01. La proposición: “Ni Juan ni Pedro ni Facundo te
p  q darán la razón”, se formaliza:
A) –p  –q  –r B) p  (q  r)
- A menos que llueva, habrá calor C) (p  q)  r D) –p  –q  –r
pq E) N.A
- Rob es guitarrista salvo que además baterista 02. Dada la siguiente proposición compuesta: “El
pq sillón de mismo modo como el sofá son muebles no
- La crisis económica no aumenta excepto que obstante no se consideran como artefactos”. ¿Por
exista desocupación cuántas proposiciones atómicas está conformada?
p  q A) 2 B) 4 C) 1 D) 5 E) 3

- El reloj es un instrumento de tiempo a no ser 03. La proposición: “El que el CEPUNT sea una
que inclusive de lujo. institución pública es incompatible con que tenga
pq treinta años de antigüedad”. Se formaliza:
A) p & q B) –p & –q C) p / q
D) DISYUNTOR EXCLUYENTE, FUERTE, D) p  q E) p  q
BIDISYUNTOR, ALTERNADOR
EXCLUYENTE, BIALTERNADOR O 04. La proposición: “Que el negador es un conector
CONTRAVALORADOR monádico es incompatible con que sea simple, por
Sus símbolos son: p  q, p ↮ q, p  q, p ≢ q, prefijos o compuesto”, se formaliza:
p  q, p   q, p >⎯< q A) p / q / r / s B) p / (q / r / s)
C) p / q D) p / (q  r  s)
Por la estructura E) p / (q  r  s)
Cuando su estructura es excluyente
O … o …; o solo; o únicamente; o necesariamente; 05. La proposición: “Manuel dijo “Me casaré en enero
o prioritariamente; o exclusivamente; o y no en febrero”, se formaliza:
obligatoriamente A) p  –q B) p C) p  q
- O comeremos pizza o comeremos pollo D) q E) –p
pq
06. El Rey Carlos III intentó gobernar de manera
A) (p  q)  r B) (p  q)  r
práctica al igual que eficaz, sin embargo no sólo
C) (p → q)  r D) (pq)  r
redujo la burocracia noble sino también la
sustituyó por la ilustrada”. Presenta: E) (pq) (rs)

A) 4 constantes y 3 variables 15. La proposición: “El óxido nitroso o gas de la risa y

B) 3 constantes y 4 variables el oxígeno se combinan para ser utilizados como
C) 4 constantes y 4 variables
anestésico en cirugía”. Se formaliza:
D) 3 constantes y 3 variables
E) 5 constantes y 4 variables A) p  q B) p  q C) p
D) (p  q)  r E) p  (q  r)
07. “Los carnívoros y los reptiles son mamíferos y
acuáticos respectivamente”. Se formaliza: 16. La proposición: “El flúor, el cloro y el oxígeno,
A) (p  q)  (r  s) B) p  q cada uno de ellos, son muy reactivos; aunque
C) q  p D) (r  s)  (p  q) ninguno de ellos es líquido a temperatura
E) N.A ambiente”. Se formaliza:
A) (p  q  r)  –(s  –t  –u)
08. La proposición: “Violeta y Maruja no estudian en B) (p  q  r)  (–s  –t  –u)
el mismo instituto”, se formaliza como: C) p  –q
A) p  q B) p → q C) p D) (p  q  r) → –(s  –t  –u)
D) p  q E) (p  q) E) (p  q  r)  –(–s  –t  –u)

09. “En modo alguno sucede que, no haya aumentado 17. La proposición: “Es total y absolutamente cierto
la producción armamentista excepto que también
que todos y cada uno de los pumas, o también
sea absurdo que los países latinos haya
empobrecido más”, se formaliza: llamados leones americanos, habitan en la sierra
peruana”. Se formaliza:
A) (p  q) B) (p  q)
A) [{(p  q)  (r  s)]  t} → u
C) (p  q) D) (p  q) E) N.A
B) [{(p  q)  r]  s} → t
10. La proposición: “El espacio y el tiempo están C) p
interaccionados y se relativizan con el D) (p  q)  r
movimiento”. Se formaliza: E) (p  q) → r
A) p  (q  r) B) p  q C) pqrs
D) p E) p  (q  r) 18. La siguiente expresión: “Entre Juan, Manuel, Joel
y Jaime no hay relación de parentesco”. Se
formaliza:
11. “Es inobjetable que el tejido epitelial cubre la parte A) –p
exterior e interior del cuerpo humano”, se B) –(p  q  r  s)
formaliza: C) –(p  q  r  s  r  t)
A) (A  B) B) A  B C) A  B D) –p  –q  –r  –s
D) (A  B) E) N.A
E) –p  –q  –r  –s  –t  –u
12. La proposición: “Carlos y Daniel se casarán
respectivamente con Elena y Margorie, aunque 19. La proposición: “Parménides al igual que Platón
ninguna pareja se casará en Lima”. Se formaliza: afirmaron que ‘Toda proposición se implica a sí
misma’ además ‘Es imposible que las
A) [(pq)  (rs)]  [(tu)  (vw)]
proposiciones sean verdaderas y falsas a la vez’,
B) (pq)  (rs  t  u)
respectivamente”. Se formaliza:
C) (pq)  [(tu)  (vw)]
A) (p → p)  –(p  –p)
D) (pq)  (rs)
E) [(p  q)  (p  q)]  (r s t u) B) (p → p)  –(p  q)
C) p  q
13. La proposición: “El peróxido de sodio, o también D) p  –p
llamado oxilita, es un compuesto químico E) (p → p)  –(q  –q)
binario”, se formaliza:
A) p B) p  q C) p  q
D) (p  q) → r E) p  q
20. La proposición: “3, 5 y 7 son números primos;
además 8 y 9 no son primos, pero son primos entre
sí”. Se formaliza:
14. La proposición: “Las políticas de gobierno así
A) (p  q  r)  (–s  –t  –u)
como los planes de gobierno no han sido aplicadas
B) p  (-q  q)
de manera conveniente. Además tampoco deben
C) p  –q
ser malinterpretadas por los ministros”, se
formaliza: D) (p  q  r)  (–s  –t  u)
E) p  (–q  r)