Tema:

Lógica
Proposicional
z Docente: William Riojas Chozo
 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

 Un cuerpo está en estado neutro y no presenta ningún fenómeno eléctrico en su

conjunto siempre que su carga eléctrica positiva esté en estado igual a la negativa. Pero
es falso que el cuerpo esté en estado neutro y no presente ningún fenómeno eléctrico
en su conjunto. En consecuencia, la carga eléctrica positiva de un cuerpo está en estado
igual a la negativa.
 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.

EJEMPLO

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

- Bertrand Russell es el autor de la obra: “Principios de matemática”.
- Dolly fue la primera oveja clonada.
- Actual presidente del Perú es Martín Vizcarra.
- 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.
 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
Carecen de conectores principalmente porque
gramaticales típicas o poseen conectores
conectivas lógicos.

Principales conectores
Existen dos tipos: lógicos:
- Predicativas Conjuntivas, disyuntivas,
- Relacionales condicionales y
bicondicionales.

EJEMPLOS:
EJEMPLOS:
- La materia ni se crea ni
- El número 2 es par.
se destruye.
- Silvia es hermana de
- Manuel e Ismael son
Domingo.
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
Proposicionales • Ejemplo. María estudia en la UNTRM: p

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

Operados o
condicional, bicondicional, negación
Conectores conjunta, negación alterna.
lógicos
z

Conectores Lógicos
Expresión en el lenguaje natural de los conectores
z lógicos
El Negador : - A
No A, nunca A, jamás (A) (*)
El Conjuntor: A  B
Es inconcebible que A Ay B
Es Incompatible que A A aunque B
A pero B El Disyuntor Incluyente: A v B
No ocurre que A
No es verdad que A A sin embargo B A o B (sentido incluyente)
No es el caso que A A incluso B A a menos que B
Es mentira que A A es compatible con B A a menos que A, B
Es inadmisible que A A así como B A salvo que B
No acaece que A A del mismo modo B A excepto que B
De ninguna forma se da A A aún cuando B A o también B
Carece de todo sentido que A A también B A o bien B
Es incorrecto que A A de la misma forma que B A a no ser que B
Es incierto que A A al igual que B A o incluso B
Nadie que sea A Tanto A como cuando B A y bien o también B
Es objetable que A Siempre ambos A con B Al menos uno de los dos A ó B
En modo alguno A A empero B A o sino B
En forma alguna A A no obstante B A alternativamente B
Es absurdo que A No sólo A sino también B A y/o B
Es falso que A Así mismo B
Es refutable que A A al igual que B
Decir que A es una farsa A a pesar de B
Es falaz que A A a la vez B
Es sofisma que A A más B
Es contradictorio que A A vemos que también B.
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
 Juan Rojas es profesor o alumno, pero no puede ser ambas cosas a la
vez.

Identificamos las proposiciones:

p: Juan Rojas es profesor.
q: Juan Rojas es alumno.

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

Identificamos las proposiciones:

p: Paolo Guerrero es atleta.
q: Cristian Cueva es atleta.
r: Paolo Guerrero es futbolista.
s: Cristian Cueva es futbolista.

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: Hay decano.
q: Hay consejo de facultad.
r: Hay gobierno de facultad.
s: Hay democracia.

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