ESCUELA PROFESIONAL

DE INGENIERÍA CIVIL

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:
Formalizar enunciados relacionados a la ingeniería
civil utilizando conectores lógicos.
 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 un ingeniero civil quiere diseñar estructuras seguras y eficientes, entonces debe aplicar
principios de física, matemáticas y ciencias de materiales.
 si una estructura es diseñada adecuadamente y construida con materiales de calidad,
entonces tendrá una mayor capacidad de resistir cargas y desgaste. Por lo tanto, la estructura
tiene una larga vida útil puesto que tiene una alta capacidad de resistir cargas y desgaste.
 Si se construye un puente de acero, entonces será más resistente a los terremotos. Sin
embargo tendrá una vida útil más larga si se utiliza hormigón de alta resistencia. Pero si se
construye un puente más largo, entonces se necesitarán más materiales y tiempo para
construirlo. Aunque será necesario utilizar materiales más resistentes puesto que se aumenta
la capacidad de carga del puente. Si se construye un puente colgante, entonces será
necesario tener en cuenta la dirección del viento.
 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) (*)
Ay B
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 El Replicador : A  B
Si A entonces B
Siempre que A por consiguiente B Sólo si A, B
Ya que A bien se ve que B Solo cuando A, B El Disyuntor excluyente: A v B
Dado que A por eso B Solamente porque A, B A o B (sentido excluyente)
En cuanto A por tanto B A si B O bien A o bien B
Porque A por eso B A porque B A a menos que solamente B
Como A es evidente B A dado que B A salvo que únicamente B
Con tal que A es obvio que B A ya que B A excepto que sólo B
Toda vez que A en consecuencia B A siempre que B A menos que sólo A, B
A consiguientemente B A puesto que B A o bien necesariamente B
Dado que A por lo cual B A es condición necesaria para B A o exclusivamente B
En la medida que A de allí B A es insuficiente para B Ya bien A ya bien B
En virtud de que A entonces B Es necesario A para B A no es equivalente a B
A implica a B Es insuficiente A para B No es equivalente A con B
A es innecesario para B A cada vez que B A no es idéntico a B
Es innecesario A para B A está implicado por B A no es lo mismo que B
A es condición suficiente para B A con la condición de que B
A sólo si B Si solamente A cada vez que B
A luego B A divido a que B
A trae como consecuencia 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