Universidad Nacional De San Martin-Tarapoto Matemática

Contabilidad Lic. Luis Gálvez Moncada

INTRODUCCIÓN A LA LÓGICA PROPOSICIONAL

1.1. LÓGICA PROPOSICIONAL. La lógica proposicional también llamada simbólica o matemática, es aquella
parte de la lógica que estudia las proposiciones y símbolos utilizados en la formalización de nuevas
proposiciones que podrían ser verdaderas o falsas, señaladas por reglas formales.

1.2. ENUNCIADO Y PROPOSICIÓN:

1.4.1. Enunciado. Es toda frase u oración que señala alguna idea.
Ejemplos.
a. ¿Qué hora es?
b. Quisiera vivir en Yurimaguas.
c. Ojala regreses.
d. El cuaderno sirve para escribir.
e. El cuadrado tiene cuatro lados iguales.
f. El eucalipto es un árbol aromático.

1.4.2. Proposición: Es aquel enunciado aseverativo (afirma algo) del cual se puede señalar si es
verdadero o falso, pero no ambos a la vez, con respecto a una realidad.
Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra
p, es decir, p, q, r, s, t,... etc. Por ejemplo, podemos citar las siguientes proposiciones.

p: La ciudad de Tarapoto es conocida, como la ciudad de las palmeras.

q: Picota es capital del departamento de San Martín.
r: Andrea estudia en la UCP.

1.3. Estructura de la Proposición

Toda proposición tiene sujeto (s) un verbo o cópula (v) (por lo general verbo ser o estar) y un predicado
(p).
Ejemplo:
p: La ciudad de Moyobamba está situada al norte de la ciudad de Tarapoto.
Sujeto Verbo Predicado

Nota. Algunos enunciados no cumplen con los requisitos para ser

considerados como una proposición. A continuación, se establece un
cuadro comparativo.

SON PROPOSICIONES NO SON PROPOSICIONES

 Oraciones aseverativas.  Hechos o personajes literarios.
 Leyes científicas.  Proverbios, modismos y refranes.
 Fórmulas matemáticas.  Creencias religiosas, supersticiones y mitos.
 Fórmulas y/o esquemas  Enunciados abiertos o indefinidos.
lógicos.  Interrogaciones, órdenes, interjecciones, deseos, dudas y
 Enunciados cerrados y súplicas.
definidos.

Enunciados que son proposiciones.

 Lima es la capital del Perú.
 López Albujar escribió la obra Matalaché.
 El agua hierve a los 100°.
 María estudia obstetricia y Juan medicina.
 Tarapoto es la capital de la Región San Martin.
Universidad Nacional De San Martin-Tarapoto Matemática
Contabilidad Lic. Luis Gálvez Moncada
Enunciados que no son proposiciones.
 A caballo regalado no se lo mira el diente.
 Hay que subir la montaña como viejo para llegar como joven.
 Las vírgenes hacen milagros.
 ¿Cómo te llamas?
 ¡Por favor¡ cierren la puerta
 Kassandra tiene cuatro letras.

1.4. CLASES DE PROPOSICIONES:

1.4.1. Proposiciones Simples o Atómicas. Son aquellas en las que aparece una afirmación o
acción. Se caracterizan por ser expresadas mediante oraciones que no utilizan conjunciones
gramaticales y el adverbio “no”. Es decir:
 Aquellas que no tienen ningún operador lógico
 Sólo pueden tener un solo sujeto y un solo predicado
 Pueden tener dos o más sujetos unidos por una relación lógica
Se clasifican en:

P.S. Predicativas: Cuando al sujeto se le atribuye una cualidad o circunstancia.

Ejemplos:
1. Albert Einsten es el creador de la física clásica.
2. Ningún número par es divisible por dos.

P.S. Relacionales: Cuando establece un enlace entre dos o más objetos (sujetos)
Ejemplos:
1. La ciudad de Picota esta al norte de la ciudad de Juanjuí
2. Cesar Vallejo fue contemporáneo de Ciro Alegría
3. Ana, Rosa y María son primas.

1.4.2. Proposiciones Compuestas o Moleculares. Es la unión de dos o más proposiciones simples

o atómicas enlazados por uno o más conectores lógicos.
Ejemplos
1. Es falso que en el Perú hay democracia y hay libertad de expresión
2. La abogacía o la medicina son carreras profesionales humanitarias
3. Carlos es médico y Jorge tiene 25 años.
4. Si Luis trabaja entonces no ve televisión.
5. Carla ganó el concurso de baile o está enferma.

Nota. Las proposiciones compuestas se clasifican según la operación

lógica que se emplea para unir las proposiciones simples que lo
forman.
Toda proposición, posee un valor de verdad, o es verdadera (V)
o es falsa (F) pero no ambas a la vez, con respecto a la realidad.

1.5. OPERACIONES LOGICAS. Son operaciones que utilizan proposiciones para

transformarlas en otras usando elementos determinados como conectivos logicos.
Se tiene las siguientes operaciones logicas: la conjuncion, la disyuncion, la
condicional, la bicondicional y la negacion.
A los operadores proposicionales, llamados conectivos lógicos, se les reemplaza por:
Universidad Nacional De San Martin-Tarapoto Matemática
Contabilidad Lic. Luis Gálvez Moncada

OPERADOR
Nº SÍMBOLOS
NOMBRE FORMA BÁSICA
1 Negador “no” -  
2 Conjuntor “... y ...”  . x & 
3 Disyuntor Incluyente “... o ...”  + 
4 Disyuntor Excluyente “o ... o .... “ V    >--< <-/->
5 Implicador “si ... entonces ....”   
6 Replicador “... porque ...”  
7 Biimplicador “ ... si y sólo sí ...”   = 
8 Inalternador “ni ... ni .... “ 
9 Incompatibilizador “no ... o no ....” /

1.6. TRADUCCIONES VERBALES DE LOS OPERADORES.

Son los términos sinónimos de los operadores lógicos mencionados líneas arriba.

NEGADOR
“Es falso que A”
“es absurdo que A”
“es mentira que A”
“es inconcebible que A”
“es negable que A”
“no ocurre que A”
“es refutable A”
etc.
DISYUNTOR INCLUYENTE
“A o también B”
“A a no ser que B”
“A y/o B”
“A y bién o también B”
“A o bien B”
“A ya bien B”
IMPLICADOR
CONJUNTOR
“A implica a B”
“A pero B”
“A por lo tanto B”
“A sin embargo B”
“A luego B”
“A tanto como B”
“A consecuentemente B”
“A también B”
“ya que A entonces B”
“A al igual que B”
“A es condición suficiente para B”
“no sólo A también B”
“para A es condición necesaria B”
“A no obstante B”
“A sólo si B”
etc.
etc.
REPLICADOR
“A es implicado por B”
“A si B”
“A ya que B”
DISYUNTOR EXCLUYENTE
“A puesto que B”
“A o sólo B”
“A dado que B”
“A o solamente B”
“A con tal de que B”
“A o únicamente B”
“A cada vez que B”
“A con la condición de que B”
“A es condición necesaria para B”
“para A es condición suficiente B”
etc.
INALTERNADOR

BIIMPLICADOR “No A y no B “
“A siempre y cuando B”
“A es condición suficiente y necesaria para B” INCOMPATIBILIZADOR
“A porque y solamente si B”
“A es suficiente y B también” “no A excepto que no B”
“Sólo si A entonces B” “A es incompatible con B”
etc. etc.
Universidad Nacional De San Martin-Tarapoto Matemática
Contabilidad Lic. Luis Gálvez Moncada

FORMALIZACIÓN DE PROPOSICIONES
Formalizar es representar las proposiciones del lenguaje natural mediante el lenguaje simbólico de la lógica
de proposiciones. A la hora de formalizar habrá que tener en cuenta los siguientes requisitos:
1) Se emplearán diferentes variables enunciativas para cada diferente enunciado; para ello se usarán las
minúsculas p, q, r, s, t...; Se utilizará una variable sola para cada enunciado, aunque éste sea muy largo.
Es decir.
Llueve torrencialmente: p
Juan caminaba despacio: q

Ejemplos:
1. “Es mentira que Carlos no es Ingeniero”
Se formaliza:  (  p)
2. “Luis, Carlos y Enrique son profesores del CPU”
Se formaliza: p  q  r
3. “Mariátegui fue político, escritor y poeta”
Se formaliza: p  q  r
4. “Paco, Segundo o Víctor son alumnos”
Se formaliza: p  q  r
5. Karen estudia inglés si y solo si viaja al extranjero
Se formaliza: p  q
6. Fernando trabaja en la noche pero estudia de dia
Se simboliza: p  q

7. Analiza los siguientes enunciados o proposiciones:

Si Pablo no atiende en clase o no estudia en casa,

1
fracasará en los exámenes y no será aplaudido
Si no es el caso que Pablo atiende en clase y estudia en Simbolizamos:
2 casa, entonces fracasará en los exámenes o no será
aplaudido "Pablo atiende en clase" = p ;
Pablo atiende en clase y estudia en casa o, por otra " Pablo estudia en casa = q;
3 "Pablo fracasa en los exámenes" = r ;
parte, fracasa en los exámenes y no es aplaudido
"Pablo es aplaudido" = s ;
Únicamente si Pablo atiende en clase y estudia en casa,
4 no se dará que fracase en los exámenes y no sea
aplaudido

¿Cuál es la formalización adecuada?

(pq) v (r¬s) (pq) ¬(r¬s) (¬pv¬q(r¬s) ¬(pq) (rv¬s)

PRACTICA
Instrucciones: Dados los siguientes enunciados formalizar aquellos que son proposiciones.
PROPOSICIÓN FORMALIZAR
1. Los niños son buenos pero los hombres no.
2. Siempre que hace frío me acatarro.
3. Era de noche, sin embargo llovía y hacía frío.
Universidad Nacional De San Martin-Tarapoto Matemática
Contabilidad Lic. Luis Gálvez Moncada

4. O Juan es más pequeños y Pedro es más alto, o Pedro es

el más bajo y Juan es el más alto.
5. Si te gusta la música, entonces te compraré un disco o un
reproductor Mp3.
6. Si mañana es viernes y no llueve, entonces iremos al
campo o al rio.
7. Ernesto y Julio son amigos desde mucho tiempo.
8. Los peruanos o los ecuatorianos son pacifistas o buscan el
desarrollo.
9. Los Países capitalistas son los más grandes explotadores de los
países pobres.
10. El Quijote luchó contra los molinos del viento.
11. La música relaja pero no es obligatorio escucharlo.
12. El Internet es una herramienta que ha mejorado la
comunicación entre los pueblos, no obstante la pobreza
extrema en la cual están sumidos estos.
13. Las organizaciones se consolidan en la medida que sus
integrantes trabajen en equipo despojándose de todo interés
social.
14. Las Investigaciones nos permiten descubrir nuevos
conocimientos, sin embargo los métodos y las técnicas
empleados no son las más idóneas.
15. Los gobiernos regionales y locales han formulado sus
presupuestos participativos acorde con las nuevas directivas
gubernamentales.
16. La tala de árboles en forma indiscriminada ha originado la
contaminación de la flora y fauna de la región San Martín.
17. Si el PBI de la Región San Martín está en Auge, es obvio que
existe algunos productos tradicionales que han sido exportados
en gran volumen.
18. La firma del TLC ha provocado diversos comentarios de modo
tal que algunos grupos políticos tratan de desconocer el
acuerdo.
19. Albert Einstein, obtuvo el premio Nobel además fue un
científico prominente.
20. El precio y la demanda de un producto son inversamente
proporcionales.
21. No es posible que solamente se destine el 2% del PBI a la
educación simultáneamente el poder ejecutivo se fije sueldos
exorbitantes.
22. El libre mercado según los especialistas trae más pobreza,
aunque también hace crecer el turismo en gran porcentaje.
23. Tarapoto será una ciudad limpia y hermosa si y solo si sus
habitantes toman cursos intensivos de higiene o la
municipalidad provincial emprenda una campaña de limpieza.
24. No es cierto, que Tarapoto sea la capital de La Región San
Martín aún cuando las instituciones políticas y sociales
funcionan en esta ciudad, de manera que habrá confusión y
desorden mientras no se fije una política de información
adecuada.