PROPOSICIÓN LÓGICA

Prof: Jorge A. Elías Zavala

Proposición
Son enunciados de los cuales tiene sentido decir que es
verdadera (V) o falsa (F)
Ejemplos:
a)El primer caso de COVID 19 en el Perú se anunció el 6
de marzo del 2020.
b)El IGV en el Perú es de 10%
a) y b) son proposiciones porque tiene sentido decir que
a) es verdadera y b) es falsa.
No todas las oraciones son proposiciones
Ejemplos:
a)¿Qué es el COVID – 19?
b)Debemos pagar el IGV

c) Quizá el PBI Del Perú crezca 4% en este año

a) no es proposición, es una oración interrogativa. No tiene
sentido preguntarse si es verdadera o falsa; b) no es
proposición es una oración imperativa; c) no es proposición,
es una oración dubitativa
d) El triángulo es inteligente
e) Juan es un número irracional
d) y e ) , no son proposiciones, no tiene sentido decir de ellas si son
verdaderas o falsas, son pseudoproposiciones, es decir falsas
proposiciones
f) El corazón tiene razones que la razón ignora (Blaise Pascal)
g) El amor inmaduro dice: “te amo porque te necesito”. El maduro
dice: “te necesito porque te amo” (Erich Fromm)

f) y g) no son proposiciones, son filosofemas, es decir enunciados

filosóficos, no pueden calificarse de verdaderos o falsos.
Enunciado abierto o función proposicional
Son expresiones que contienen una o más variables, no son
proposiciones
Ejemplos:
f) Él es un contador
g) X + 3 = 5
f) y g) no son proposiciones, se convierten en proposiciones si
las variables “Él” y “X” se reemplazan por valores adecuados.
Si en f) reemplazamos “él” por “Juan”, obtenemos:
h) Juan es un contador
h) , si es una proposición
De la verdad de una proposición se puede deducir la verdad de otra
Ejemplo:
De la proposición:
“Tres es menor que cinco”
Podemos deducir, después de un ligero razonamiento, que:
“Cinco es mayor que tres”
Este proceso de razonamiento se llama INFERENCIA
Inferencia es un proceso mediante el cual se obtienen conclusiones
determinadas a partir de un conjunto específico de premisas
¿Qué es la Lógica?
Lógica es la ciencia que estudia las leyes y reglas que determinan la validez de
la Inferencia, es decir si el razonamiento es correcto o válido.
 Clasificación de las proposiciones.
I)Proposiciones simples o atómicas:
No tienen conectores lógicos y tampoco el adverbio de
negación “no”. Pueden ser:
A) Proposición simple predicativa: Tiene un sujeto y un predicado
Ejemplo:
“La contabilidad es una ciencia”
B) Proposición simple relacional: Tiene dos sujetos unidos por una
determinada relación
Ejemplo:
“El libro diario es más importante que el libro mayor”
II) Proposiciones compuestas o moleculares:
Contienen uno o más conectivos lógicos o el
adverbio de negación “no”. Pueden ser:
A) Conjuntivas: llevan el conectivo lógico “y” o sus
expresiones equivalentes como “e”, “pero”,
“aunque”, “aun cuando”, “además”, “tanto…como…”
etc. Ejemplos:
a)Juan es un contador y María es una enfermera
b)El tétanos es producido por una bacteria, pero el
sarampión es producido por un virus.
B) Disyuntiva inclusiva o débil: llevan el conectivo “o” o su
expresión equivalente “u”. Ejemplo:
“Juan es contador o es enfermero”
Nota: observe que Juan puede ser contador y
enfermero a la vez.
C) Disyunción exclusiva o fuerte: llevan el conectivo “o”
o también “o…o…”, “. Ejemplo:
“Juan está vivo o está muerto”
Nota: observe que se excluye la posibilidad que Juan
pueda estar vivo y muerto al mismo tiempo.
C) Condicionales: llevan el conectivo “si…entonces…” o sus
equivalentes “si”, “siempre que”, “ya que”, “puesto que”, “porque, etc.
La proposición después del “si” se llama ANTECEDENTE, y la
proposición después del entonces se llama CONSECUENTE.
Ejemplos:
a)Si el PBI del Perú no crece , entonces significa que la economía
está decayendo

b) Si Juan estudia, triunfará.

Note que la expresión b) equivale a decir “Juan triunfará porque

estudia”.
D)Bicondicionales: llevan el conectivo “…si y solo si…” o sus
equivalentes “cuando y solo cuando”, “si,…entonces y solo
entonces…”.
Ejemplos:
a)Habrá cosecha si y solo si llueve
b)El PBI del Perú crecerá cuando y solo cuando el sector
agropecuario crezca.
E)Negación: llevan el adverbio de negación “no” o sus
equivalentes “nunca”, “jamás”, “tampoco”, “no es verdad que”,
“es mentira que”, etc.
Ejemplos:
a)El sarampión no es producido por una bacteria.
b)Es falso que en el Bajo Piura no predomina el monocultivo
FORMALIZACIÓN DE PROPOSICIONES
Formalizar una proposición es representarla simbólicamente, se usarán:
a) Variables proposicionales
Son los símbolos para las proposiciones simples, se usan letras
minúsculas del abecedario: p, q, r, etc.
b) Operadores lógicos
Son los símbolos para los conectivos lógicos
Conectivo Lógico Símbolo

Y ^
o ˅
o….o…. ∆

Si…entonces.. →

…si y solo si… ↔

no ⁓
Ejemplos de formalización de proposiciones:
a)El sarampión lo produce un virus pero el tétanos lo
produce una bacteria.
Forma lógica:
El sarampión lo produce un virus y el tétanos lo
produce una bacteria.
Fórmula:
p: el sarampión lo produce un virus
q: el tétanos lo produce una bacteria
p ^q
b) No es posible calcular la deuda puesto que no se conoce la tasa de
interés.
Forma lógica:
Si no se conoce la tasa de interés, entonces no se puede calcular la deuda.
Fórmula
p: se conoce la tasa de interés
q: se puede calcular la deuda
⁓p → ⁓q
c) La empresa “Santa Rosa” está sin contador.
Forma lógica:
La empresa “Santa Rosa” no tiene contador
Fórmula:
p: la empresa “Santa Rosa” tiene contador
⁓p
BIBLIOGRAFÍA
• FIGUEROA G. Ricardo 1990; Matemática Básica I Cuarta Edición.
Editorial W.H. Editores Lima Perú 536 páginas.
• VASQUEZ URDAY, Carlos; Matemática I, Prigma Editores Lima Perú 1990
• VENERO B. Armando 2000; Matemática Básica, Ediciones GEMAR, 2000
• ESPINOZA RAMOS, Eduardo, Matemática Básica, 1997
RECURSOS DE INTERNET
• http://www.matematicas.ciencias.uchile.cl/juaco/section-1.html
• https://matematicasn.blogspot.com/2015/11/logica-proposicional-
ejercicios.html