ESCUELA PROFESIONAL DE CONTABILIDAD Símbolos que representan y detallan la relación que hay entre las proposiciones,

regulan la construcción de una fórmula lógica, por ejemplo: “si los cuerpos se
DOCENTE: EDINSON ENRIQUE REYES ALVA calientan entonces dichos cuerpos se dilatan”.

FORMALIZACIÓN DE PROPOSICIONES LÓGICAS Su estructura lógica es: “si ............ entonces ..........”

El análisis del pensamiento formuladas en castellano o en cualquier otra lengua El operador lógico es: ()
natural son difíciles de evaluar, debido a la ambigüedad que a veces sufre nuestro
lenguaje. El pensamiento es imperceptible por nuestros sentidos, de allí la dificultad de Las proposiciones son:
estudiarlos; para ello es necesario crear un Lenguaje Simbólico Artificial p = los cuerpos se calientan.
(formalización) el mismo que represente perfectamente el enunciado en cuestión q = los cuerpos se dilatan
(traducción). La relación entre las proposiciones: causa – efecto.
Su formalización correcta: p  q.
Es Aristóteles quien por primera vez hace uso de ciertas abreviaturas para facilitar su Nota:
labor al proponer la Teoría del Silogismo, desarrollando la lógica formal; hecho que Cabe aclarar que cada parte de la lógica formal trabaja con sus propios operadores
permitió se le considerara como "El padre de la Lógica Formal Antigua”. lógicos; así por ejemplo, la Lógica Proposicional emplea los “Conectores Lógicos”.

La formalización consiste en representar simbólicamente la relación que existe entre

las diferentes formas del pensamiento mediante el uso de variables y constantes; las 4. Jerarquía de los conectores lógicos
mismas que fueron descubiertas más adelante por Gotlob Frege.
 (v)
I. Símbolos usados en la formalización 
(v)
operadores 
1. Variables proposicionales 
de la lógica proposicional.
Letras minúsculas que representan a una proposición simple (p, q, r, ...).

Ejemplo:
César es profesor de Raz. Lógico: p Una fórmula proposicional adopta el nombre del conector de mayor jerarquía.
Cristóbal Colón descubrió América: q
Ejemplo:
2. Variables Metalingüísticas -pq-r ..... fórmula condicional
Letras mayúsculas que son usadas en la representación de fórmulas u operaciones - p  q  r  -s ..... fórmula bicondicional
lógicas (A, B, C, ...)
Nota: La jerarquía de conectores pierden fuerza cuando aparecen los signos auxiliares
Ejemplo: de agrupación: ( ), [ ], { }.
AB  –AvB
(A v A)  A

LOS CONECTORES LOGICOS

3. Constantes u operadores lógicos
I. El Negador
Ejemplo:

1. Símbolos: - A, A, A, A Perú así como Ecuador son países demócratas: p  q

2. Se lee: “no” El átomo posee neutrones, protones también electrones: p  q  r

3. Tipos de Negadores: Mary estudia al mismo tiempo que escucha música: p  q

A) Negador Interno: “No, nunca, jamás” se le caracteriza fundamentalmente por su

carácter débil, sólo afecta a la proposición simple más cercana. Nota: Existen algunos términos de conjunción que merecen una mención particular:

B) Negador Externo: “No es cierto que, es mentira que, es objetable que” son de carácter - No sólo la matemática es precisa sino también universal: pq

más fuerte que los negadores internos; generalmente se encuentran adelante de la - El ser Leninista es compatible con el ser Marxista: pq

oración, es por ello que su representación queda indicada explícitamente fuera de - La luna es un satélite no obstante gira alrededor de la tierra: pq

un paréntesis.

Nota: III. El Disyuntor Débil (Incluyente)

- Si un término es antecedido por un prefijo de sentido negativo; éste se le considera
como un negador interno. A) Símbolos: A v B, A + B.

Ejemplo: B) Se lee: “ ....... o ...... “ (en sentido incluyente).

Walter es una persona desleal: -p
Carlos Manrique es un empresario inmoral: -q
C) Forma de Identificarlo: Al inclusor se le reconoce porque el término nos sugiere
- Las expresiones lingüísticas de doble negación (inobjetable, innegable, no es
aceptar una de las dos proposiciones. Sin embargo la posibilidad que una
inconcebible) se formalizan como tal.
compatibilidad queda aceptada o admitida.

Ejemplo:
Ejemplo:
Carmen inobjetablemente es profesora:  p
- Perú y Ecuador se pondrán de acuerdo salvo que intervenga EE.UU. : p v q
No es mentira que Constantino fuese emperador Romano:  q. - Mañana estudiaremos Química o sino estudiaremos Física: p v q

Nota: Cuando aparece una disyunción al lado de un conjuntor o viceversa, la

II. El Conjuntor fórmula lógica será un Disyuntor débil.

A) Símbolos: A  B, A  B, A x B, A.B, AB
Ejemplo:
B) Se lee: “ ................. y .................. “
Las aves poseen pico excepto que también alas: p v q
C) Forma de Identificarlo: Al conjuntor también se le llama “Compatibilizador” porque Los números son reales y/o complejos: p v q.
une a las proposiciones en un mismo contexto; es decir ambas proposiciones se
cumplen simultáneamente. IV. El Disyuntor Fuerte (Excluyente)
 Nota:
A) Símbolos: A V B, A  B, A  B, A 
 B, A  B El sentido del operador lógico es de causa a efecto.
Ejemplo:
B) Se lee: “ ....... o ....... “ (en sentido excluyente)
Siempre que llueva entonces mejorarán
“o ............ o ............ “ 
las cosechas: p  q (implicador).
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 Mejorarán las cosechas siempre que llueva:

queda excluida o descartada.
p  q (replicador).

Ejemplo:
- Eres campeón o subcampeón: p v q VI. El Bicondicional
- O estudias o trabajas: p v q

A) Símbolos: A  B , A  B , A  B.
Nota: Algunos disyuntores incluyentes pueden venir acompañados de las palabras:
sólo, únicamente, solamente. Dando mayor fuerza al inclusor transformándola en B) Se lee: “ .............. si y sólo si ............. “
exclusor.

C) Forma de Identificarlo: Este término de enlace no solo señala una consecuencia

Ejemplo.
en doble sentido; sino también informa una equivalencia existente entre las dos
- Este año viajaré al extranjero salvo que sólo viaje a Lima: p v q proposiciones.
- A menos que solamente seas Ingeniero, serás matemático: p v q

Ejemplo: Los cuerpos chocan porque y solo porque existe una fuerza que los atrae:
p  q.
V. El Condicional
El que yo te sonría es lo mismo que yo te enamore: p  q.

A) Símbolos: A  B , A  B

B) Se lee: “ Si .............. entonces ............. “

C) Forma de Identificarlo: Una proposición 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 vez puede ir en segunda instancia (replicador).

Si hay inversión interna entonces mejorará nuestra economía .

 
causa efecto
 
antecedente consecuente
 
condición condición
suficiente necesaria
 El Negador : - A
El Replicador : AB El Conjuntor: A  B
No A, nunca A, jamás (A) (*)
Sólo si A, B AyB
Es inconcebible que A
Solo cuando A, B A aunque B
Es Incompatible que A
Solamente porque A, B A pero B
No ocurre que A
A si B A sin embargo B
No es verdad que A
A porque B A incluso B
No es el caso que A
A dado que B A es compatible con B
Es mentira que A
A ya que B A así como B
Es inadmisible que A
A siempre que B A del mismo modo B
No acaece que A
A puesto que B A aún cuando B
De ninguna forma se da A
A es condición necesaria para B A también B
Carece de todo sentido que A
A es insuficiente para B A de la misma forma que
Es incorrecto que A
EJERCICIOS destruye; es obvio que ambos solo
01. La formalización correcta de: “Es a) (A  B)  C b) (A  B) sufren transformación”. Se formaliza: a) [(A  B)  (C  D)]  (D  A)
inconcebible pensar que, Benito C
cometió este crimen a no ser que sea c) (A  B)  - C d) A  - B e) N.A. a) ( A   B)  C b) [(A  B)  (C  D)]  (D  A)
por despecho. Sin embargo nunca tuvo b)  (A  B)  C
problemas con su esposa dado que ella 05. La proposición: “Como Jenny, Antonio c) [( A   B)  ( C   D)]  (E  F) c) [(A  B)  (C  D)]  (D  A)
fue una mujer trabajadora” es: y Enrique son hermanos es evidente d) [( A   B)  ( C   D)]  E
que viven en la misma casa. No d) [(A  B)  (C  D)]  (D  A)
a) – (p v q)  (- C  D) obstante solo si existe un cuarto e) N.A.
b) – (p  q)  (- C  D) habitante, este es el hermano menor”. e) [(A  B)  (C  D)]  (D  A)
c) – (p v q)  (C  D) Se formaliza como: 09.¿A qué proposición corresponde el
d) – (p v q)  (- C  D) e) N.A. a) (p  q)  (r  s) siguiente esquema lógico?
b) (p  q)  - (r  s) (P . Q)  (R . S) 11. La traducción correcta de la fórmula:
02. La proposición: “Es inobjetable que sea c) [(p  q  r)  s]  (t  u) (B  C)  A, es:
necesario tener experiencia para d) [(p  q  r)  s]  (t  u) a) Si dos pulsaciones se atraviesan,
mejorar la calidad. Pero es e) N.A. continúan conservando la forma a) Dado que ríes y juegas es obvio que
insuficiente mejorar la calidad para original y si el juego ha empezado, estás alegre.
que las ventas puedan aumentar”. Se 06. La proposición: “Dado que si la lógica llegaremos a calentar. b) Reír es condición suficiente para
formaliza: es una ciencia formal, estudia la b) El Sol desaparece detrás de las jugar además de estar alegre.
validez del razonamiento; en nubes y enseguida empieza a
a) (A  B)  – (B  C) consecuencia es útil para la sociedad refrescar o no desaparece y empieza c) Sólo si ríes y juegas, diremos que
b) - - (A  B)  – (B  C) además para la comunidad a calentar. estás alegre.
c) - - (A  B)  (B  C) científica”. Se formaliza: c) Juan es el más pequeño y Pedro es d) Sólo si estás alegre, diremos que
d) - - (A  B)  (B  C) el más alto solamente si Pedro es el puedes reír y jugar.
e) - - (A  B)  – (B  C) a) (p  q)  (r  s) b) (p  q)  (r v más bajo y Juan es el más grande. e) N.A.
s) d) Moche está al sur y Chicama está
03. La formalización de la proposición: c) (p  q)  (r  s) d) (p  q)  (r  al norte o Huanchaco no está al 12. La proposición: “Siempre y solo
“No es cierto, que el Perú no sea s) oeste y Laredo está al este. cuando las proposiciones no puedan
democrático y sea autoritario”, es: e) (p  q)  (r  s) e) Todas las anteriores. ser enunciados abiertos, diremos que
las supersticiones tampoco lo serán, sin
a) – (D  A) b) - - D  A 07. Formalizar el siguiente enunciado: 10.La correcta formalización de la embargo es falso decir que nunca las
c) - (- D  A) d) - A  - - D “Una proposición que se contradice, proposición: “Es innecesario estudiar creencias serán proposiciones dado que
e) N.A. debe ser eliminada” Razonamiento Lógico para no admiten demostración científica.
necesariamente ingresar a la Por lo tanto, si las creencias fueran
04. La proposición: “En cuanto la teoría a) p b) p   p c) p  q Universidad. Sin embargo dominar demostrables científicamente, las
de la relatividad sostiene que la d) (p   p )   p e) N.A. aptitud es condición suficiente para supersticiones serían consideradas
gravedad y el movimiento acelerado tener un buen porcentaje de preguntas como proposiciones lógicas”. Se
son equivalentes, consecuentemente se 08. La proposición: “Dado que la materia aseguradas. Pero sólo si tienes un buen formaliza:
niega todo movimiento absoluto”. Se así como la energía, no se crea ni se porcentaje de preguntas aseguradas, a) [(- A  – B)  (- D  C)]  (D  B)
formaliza: estudiarás Raz. Lógico”.
 b) [(- A  – B)  (C  - D)]  (D  c) (-A  B)  (C V B) d) (-A  B)  a) Javier y Enrique estudian en la a) La Tierra es un planeta que gira
E) (C V B) Universidad en forma elíptica
c) [- ( A  – B)  (C  - D)]  (D  e) N.a. b) Verónica es vecina de Carlos y b) Moisés y Elías fueron personas
B) Rodolfo escogidas por Dios.
d) [(- A  – B)  - (- C  - D)]  (D 15. La proposición: “La sede para el c) Perú no clasificó al mundial de c) Te deseo en alma y corazón.
 B) mundial del fútbol de 2006 será Francia 98 d) Nunca debes decir mentiras.
e) [(- A  – B)  - (- C  - D)]  (D Alemania, Brasil o únicamente d) Jenny y Flor son compañeras de
 E) Australia”. Se formaliza como: carpeta e) N.A.
e) N.A.
13. Dada la siguiente proposición lógica: a) p  q  r b) (p  q )  r c) 13. Representa a una proposición
“Las personas no se alimentan en p q  r 10.¿Cuál de los siguientes enunciados no relacional:
 
forma adecuada, es condición d) (p  q )  r e) (p  q )  r representa a una proposición lógica?

suficiente para que estén débilmente 16. la proposición: “Es mentira que si el 1) a + b + c = 100,  a, b, c  R a) Antonia y Amalia trabajan para el
nutridas”. Podemos afirmar que: eje de la tierra se inclina cada 27 2) x 2  y 2 = (x+y)(x-y) gobierno.
1. Se formaliza como: - A  B años, los días serán más cortos. b) Pamela come cerezas cada
3) h 2  a 2  b 2
2. Se formaliza como: - A  B Además, si es mentira que el perímetro mañana.
4) x = y; si x = 3
3. La condición suficiente es: “Las ecuatorial de la tierra se ensancha, las c) El territorio peruano no queda en
5) Es el creador de la Lógica
personas no se alimentan en forma estaciones serán más prolongadas”. Se Centro América.
Matemática
adecuada” formaliza como: d) Llueve
4. La condición necesaria es: “Las e) N.a.
Son ciertas:
personas no se alimentan en forma a) (p  q)  ( r  s)
adecuada”. b) (p  q)  ( r  s) 14. Es una proposición coligativa:
a) 1,3,4,5 b) 1,2,4,5 c) 3,4,5
5. La condición necesaria es: “Las c) p  [q  ( r  s)]
d) 4 y 5 e) Todas
personas están débilmente d) (p  q)  ( r  s) a) Nunca jamás debes renunciar
nutridas”. e) (p  q )  ( r  s) b) Henry y Elisa se escriben por
11. De las proposiciones lógicas:
internet.
1. San Martín y Bolívar son
Son ciertas: 17. La proposición: “Si la física, la c) El peso de los cuerpos es
contemporáneos
a) 1,3,4 b) 2,3,5 c) sólo 3 y 5 química y la biología son ciencias equivalente a la fuerza de
2. Algunos animales no poseen
d) 1,3,5 e) Ninguna naturales; la lógica, la psicología o la atracción.
extremidades
matemática son ciencias sociales”. Se d) Te amo en cuerpo y alma.
3. Carlos es estudioso y respetuoso
14. La proposición: “Sólo si es falso que la formaliza como: e) N.A.
4. Ana y María se escriben
oferta favorece a la demanda, la
5. Sócrates y Platón son filósofos.
calidad del producto tendrá que a) (p  q)  (r  s) 15. Una propiedad de la proposición
Son atómicas:
mejorar. Sin embargo bajamos el precio b) (p  q  r)  (s  t  u) lógica de la cual se puede determinar
a menos que solamente mejoremos la c) A  B su verdad de manera inmediata al
a) 1 y 4 b) 1,4,5 c) 2,3,5
calidad del producto”. Se formaliza: d) (p  q)  (r  s) compararla con la realidad es:
d) N.A. e) 4 y 5
e) (p  q  r)  (s  t  u)
12. Representa a una proposición
a) – (A  B)  (C V B) b) – (A  B) a) Afirmativa b) Problemática c)
compuesta:
 (C V B) Asertórica
09. Es una proposición simple: d) Singular e) N.A.
 temperatura del entorno”. Se 5. A 15. C
16. Las expresiones : formaliza como:
1. ¿Por qué existen tantos postulantes 6. E 16. A
a la UNT? a) (p  q )  r b) (p  q)  (r  s) 7. D 17. B
2. Soldado Pérez, ¡Cuadrase! c) p  q d) (p  q)  r e) p  (q  r)
3. El sol es amarillo, además es 8. C 18. B
anaranjado 20. La proposición: “El que los 9. C 19. E
4. Amar es nunca tener que pedir razonamientos sean válidos está
perdón implicado por el que su esquema 10. A 20. D
formal es tautológico, sin embargo es
No son proposiciones lógicas simples: suficiente que cumplan con las Reglas
de Inferencia para poder demostrar su
a) Sólo 1,3 y 4 b) Sólo 2,3 y 4 c) Sólo validez formalmente”.
1, 3 Tiene como fórmula:
d) Sólo 1,2,4 e) Todas
a) (p  q)  (r  s)
17.No representa a una proposición b) (p  q)  (p  r)
relacional: c) (p  q)  (p  s)
d) (p  q)  (r  s)
a) Víctor y Carmen son novios e) (p  q)   (r  s)
b) Carla, Elissa y Erika estudian
juntas
c) Perú esta entre Ecuador y Chile
d) La matemática es ciencia formal
así como la lógica también lo es.
e) Todas

18. La proposición: “Perú y Ecuador son

países fronterizos, además son
tropicales”. Se formaliza como:
CLAVES DE EJERCICIOS
a) p  q b) p  (q  r)
c) (p  q)  (r  s) d) (p  q )  r
PROPUESTOS
e) (p  q )  r 1. D 11. D

19. La proposición: 2. B 12. E

“Termodinámicamente el calor es 3. C 13. D
equivalente al trabajo, en
consecuencia ambos dependen de la 4. D 14. C