MATEMÁTICA BÁSICA

Mg. Lic. Mat. William Riojas Chozo

Tema:
Lógica
Proposicional
z Docente: William Riojas Chozo
z

Propósito de la sesión:
Determinar el resultado de una fórmula lógica,
utilizando esquemas moleculares.
 z
Introducción
 Entre las diversas disciplinas que pertenecen a la Lógica Formal
aparece la LOGICA PROPOSICIONAL, que estudia las leyes lógicas
que hay en las relaciones entre las proposiciones a través de los
operadores proposicionales. En la lógica moderna es imposible no
hablar de las proposiciones Lógicas, a continuación veamos algunos
conceptos propios de este tema.
 z Lógica Proposicional
Es la parte de la lógica Formal que estudia la formación de
proposiciones complejas a partir de proposiciones simples, y el valor
de verdad de dichas proposiciones.

EJEMPLO

 Si la educación primaria es de calidad, entonces los estudiantes tendrán una base

sólida para su educación futura, lo que les permitirá tener éxito académico y profesional
en su vida adulta.

 Se concluye que, si un niño aprende a sumar y restar, entonces puede tener éxito en
carreras relacionadas con matemáticas y ciencias. Pero si aprende a sumar y restar,
entonces puede resolver problemas matemáticos básicos. Aunque puede comprender
conceptos más avanzados de matemáticas porque puede resolver problemas
matemáticos básicos. Además puede tener éxito en carreras relacionadas con
matemáticas y ciencias si comprende conceptos más avanzados de matemáticas.
 Proposición
z

 Es una expresión lingüística (simbólica o conjunto de palabras) con Sentido

Completo, que se pueda demostrar su Verdad o Falsedad.

 Enunciada mediante oraciones aseverativas que pone de manifiesto la

función informativa del lenguaje.

EJEMPLOS

- El viento de la noche gira en el cielo y canta (Neruda).

- La suma de los ángulos externos de todo triángulo es 180°.
- Bertrand Russell es el autor de la obra: “Principios de matemática”.
- Dolly fue la primera oveja clonada.
- Actual presidente del Perú es Pedro Castillo.
- Una fuerza irresistible es más intenso que un objeto inamovible.
- El átomo es una molécula.
- La Lógica es incoherente como la matemática imprecisa.
- El coronel Aureliano murió en una profunda soledad.
- El resultado de La suma de dos números naturales impares es par.
 z

Son Proposiciones No Son Proposiciones

 Las creencias, mitos o leyendas.
 Las fórmulas científicas ya demostradas.
 Las metáforas o refranes.
 Las leyes o hipótesis científicas aceptadas.
 Las supersticiones.
 Enunciados cerrados o definidos:  +  + 
 Los hechos de la literatura o personajes ficticios
= 180°, si , ,  = ángulos de un mismo
triángulo.
 Hechos discutibles: La Moral, los valores, la belleza,
etc.
 Las Oraciones:
 Enunciados abiertos o indefinidos:  +  +  = 180°.
* Informativas (información)
 Las oraciones:
* Descriptivas (característica de algún sujeto)
* Exclamativas (admiración, sorpresa)
* Explicativas (causa – efecto)
* Dubitativas (dudas)

* Desiderativas (deseos)

* Interrogativas (preguntas)
z
Clases de proposiciones

Simples(Atómicas) Compuestas(Moleculares)

Se caracterizan principalmente
Carecen de conectores porque poseen conectores lógicos.
gramaticales típicas o conectivas

Existen dos tipos: Principales conectores lógicos:

- Predicativas Conjuntivas, disyuntivas,
- Relacionales condicionales y bicondicionales.

EJEMPLOS:
EJEMPLOS: - La materia ni se crea ni se
- El número 2 es par. destruye.
- Silvia es hermana de Domingo. - Manuel e Ismael son
universitarios.
 z
El Lenguaje Formalizado de la Lógica
Proposicional
 Existen dos tipos fundamentales de lenguaje: natural y el
formalizado.

* En el Formalizado consta de dos clases de signos

• Se representas por letras minúsculas: p, q, r, s, etc.

Variables • Ejemplo. Pedro estudia educación primaria en la UNTRM: p
Proposicionales

• Negación, conjunción, disyunción, condicional,

Operados o
Conectores
bicondicional, negación conjunta, negación alterna.
lógicos
 z Conectores Lógicos
Conectiva Expresión en el Ejemplo Símbolo
lenguaje natural

Negación No No está lloviendo ~

Conjunción Y Está lloviendo y está ⋀
nublado.
Disyunción O Está lloviendo o está ∨
soleado.
Condicional Si … entonces… Si está soleado, entonces es →
de día
Bicondicional Si y sólo si Está nublado si y sólo si hay ↔
nubes visibles
Disyunción O bien…o bien O bien está nublado, o bien ∆
excluyente está soleado.
Negación conjunta Ni…ni Ni está nublado ni está ↓
soleado
Negación alternativa No…o no… |
Expresión en el lenguaje natural de los conectores
z lógicos
El Negador : - A El Conjuntor: A  B
No A, nunca A, jamás (A) (*)
AyB
Es inconcebible que A
A aunque B
Es Incompatible que A
A pero B El Disyuntor Incluyente: A v B
No ocurre que A
A sin embargo B A o B (sentido incluyente)
No es verdad que A
A incluso B A a menos que B
No es el caso que A
A es compatible con B A a menos que A, B
Es mentira que A
A así como B A salvo que B
Es inadmisible que A
A del mismo modo B A excepto que B
No acaece que A
A aún cuando B A o también B
De ninguna forma se da A
A también B A o bien B
Carece de todo sentido que A
A de la misma forma que B A a no ser que B
Es incorrecto que A
A al igual que B A o incluso B
Es incierto que A
Tanto A como cuando B A y bien o también B
Nadie que sea A
Siempre ambos A con B Al menos uno de los dos A ó B
Es objetable que A
A empero B A o sino B
En modo alguno A
A no obstante B A alternativamente B
En forma alguna A
No sólo A sino también B A y/o B
Es absurdo que A
Así mismo B
Es falso que A
A al igual que B
Es refutable que A
A a pesar de B
Decir que A es una farsa
A a la vez B
Es falaz que A
A más B
Es sofisma que A
A vemos que también B.
Es contradictorio que A
Es refutable que A
 z
El Implicador : A  B
Si A entonces B
Siempre que A por consiguiente B
Ya que A bien se ve que B
Dado que A por eso B
En cuanto A por tanto B
Porque A por eso B
Como A es evidente B
Con tal que A es obvio que B
Toda vez que A en consecuencia B
A consiguientemente B
Dado que A por lo cual B
En la medida que A de allí B
En virtud de que A entonces B
A implica a B
A es innecesario para B
Es innecesario A para B
A es condición suficiente para B
A sólo si B
A luego B
A trae como consecuencia B
El Replicador : A  B
Sólo si A, B
Solo cuando A, B El Disyuntor excluyente: A v B
Solamente porque A, B A o B (sentido excluyente)
A si B O bien A o bien B
A porque B A a menos que solamente B
A dado que B A salvo que únicamente B
A ya que B A excepto que sólo B
A siempre que B A menos que sólo A, B
A puesto que B A o bien necesariamente B
A es condición necesaria para B A o exclusivamente B
A es insuficiente para B Ya bien A ya bien B
Es necesario A para B A no es equivalente a B
Es insuficiente A para B No es equivalente A con B
A cada vez que B A no es idéntico a B
A está implicado por B A no es lo mismo que B
A con la condición de que B
Si solamente A cada vez que B
A divido a que B
A depende de B
A sigue de B
Unicamente si A, B
 z

El Biimplicador: A  B
A si y sólo si B
A por lo cual y según lo cual B
A cuando y sólo cuando B
A cada vez que y sólo si B Inalternador: A  B
Si y sólo si A, B
Porque y solamente por que A, B Ni A ni B
Es suficiente A para que suficientemente B No A y no B
Es necesario A para que necesariamente B
A es condición suficiente y necesaria para B
A siempre que y sólo cuando B
Siempre que A y siempre que B
Incompatibilizador: A/B
A es equivalente a B No A o no B
A es lo mismo que B
A es idéntico a B
A implica y está implicado por B
z
Reglas de las sintaxis lógica que posibilitan
la construcción de fórmulas bien formadas
z
 z

Formalización de proposiciones

 Formalizar una proposición equivale a representarla simbólicamente.

EJEMPLO

 Identificamos las proposiciones:

 Fórmula Lógica:
EJEMPLO
z
 William Riojas es profesor o alumno, pero no puede ser ambas cosas a
la vez.

Identificamos las proposiciones:

p:
q:

Fórmula Lógica:
EJEMPLO
z
 Tanto Paolo Hurtado como Cristian Cueva son atletas porque son
futbolistas.

Identificamos las proposiciones:

p:
q:
r:
s:

Fórmula Lógica:
EJEMPLO
z
 Sin decano ni consejo de facultad no hay gobierno de la facultad ni democracia.
Pero es falso que haya gobierno de la facultad o haya democracia. Por tanto, es
falso que haya decano o haya consejo de facultad

Identificamos las proposiciones:

p:
q:
r:
s:

Fórmula Lógica:
z

Tablas de Verdad
EJEMPLO
z
 En la siguiente fórmula lógica, realizar la tabla de verdad.
z

Esquemas Moleculares

• Matriz Principal(MP) de una

Tautología(T) fórmula lógica resulta todos sus
valores “V”.

• Matriz Principal(MP) de una

Contradicción(C) fórmula lógica(FL) resulta todos
sus valores “F”.

• Matriz Principal de una Fórmula

Contingencia(Q) Lógica resulta la combinación
de valores “V” y “F”.
z

Esquemas Moleculares
z

Esquemas Moleculares
z