Está en la página 1de 44

CURSO DE RAZONAMIENTO LÓGICO

2020 S-I I
UNIVERSIDAD CATÓLICA DE SANTA MARÍA
AREQUIPA - PERÚ

RAZONAMIENTO LÓGICO

LAS PROPOSICIONES

2020

2
PROPOSICIONES:
SIMPLES Y
COMPUESTAS
¿Qué es una proposición?

Son expresiones del lenguaje que se caracterizan por ser verdaderas o


falsas. Estas proposiciones se pueden clasificar en simples o compuestas.
LÓGICA DE PROPOSICIONES O LÓGICA DE
PROPOSICIONES NO ANALIZADAS

En esta parte de la lógica, las


inferencias se construyen con total
abstracción de la estructura interna
de las proposiciones, es decir, no se
tiene en cuenta si son universales o
particulares.
Sólo se examinan las relaciones
lógicas existentes entre
proposiciones como un todo
indiviso.
Por ejemplo en la argumentación:

Si estudias, entonces apruebas


Es así que estudias
_______________________________
Luego, apruebas
 Todos los deportistas son saludables
 Todos los atletas son saludables
 Luego, todos los atletas son deportistas
TIPOS DE PROPOSICIONES

PROPOSICIONES SIMPLES: Son de forma simple que


tienen un sujeto y un predicado. Son las proposiciones
que carecen del término de enlace y pueden ser
reemplazadas por una variable.
Ejemplos:
- Managua es la capital de Nicaragua.
- San José es la capital de Costa Rica.
Ejemplos

• Colón descubrió América.


• La tierra es un planeta.
• Pizarro fundó la ciudad de Lima en 1535.
• El Huascarán es el nevado más alto de la cordillera blanca.
• Entre los auquénidos ,la vicuña tiene la lana más fina.
LAS PROPOSICIONES SIMPLES PUEDEN A
PREDICATIVAS: Son aquellas dónde al sujeto se le
atribuye una cualidad o propiedad, utilizando los
verbos copulativos ser o estar.
Ejemplo:
-Luis es mortal
SU VEZ SER:

RELACIONALES: Son aquellas dónde los sujetos se


relacionan de un modo determinado.
Ejemplos:
- Juana es mayor que Inés.
- Tumbes está al norte de Tacna.
PROPOSICIONES COMPUESTAS

Son aquellas que están constituidas por más de


una proposición simple unidas mediante un
término enlace.
Ejemplo:

-Lima es la capital del Perú y Buenos Aires es la


capital de Argentina.
CONJUNTIVAS: Es aquella proposición molecular en la cual las
LAS PROPOSICIONES MOLECULARES SEGÚN proposiciones atómicas se encuentran unidas por una conjunción
SU TERMINO ENLACE PUEDE SER. ( y).
Ejemplo:
-Tales nació en Mileto y Demócrito en Abdera.

DISYUNTIVAS: En este tipo de proposiciones


moleculares, las proposiciones atómicas se
encuentran unidos por la ( o).
Ejemplo:
-Raúl estudia educación o derecho. ( disyunción
inclusiva)
-O el conserje se olvidó de cerrar la puerta o el
ladrón tenía una llave maestra. ( Disyunción
exclusiva).
CONDICIONALES : Son aquellas proposiciones moleculares que
unen a las proposiciones atómicas mediante la conectiva si
…entonces…
-Si la temperatura está bajo cero entonces el agua se congela.

EL BICONDICIONAL
Una proposición bicondicional es la unión de dos proposiciones
mediante la conectiva « …Si y sólo si…»
-Un número es divisible por dos si y solo si es un número par.
-Viajaré al extranjero si y sólo si obtengo una beca.
LA NEGACIÓN

Una proposición negativa simple es aquella que lleva el «


no « antes del verbo.
Por ejemplo.
-Venezuela no es un país europeo.
-La región Chavín no limita con Loreto.

En el caso de la negación de las proposiciones


compuestas:
-No es el caso que la tiza sea roja y la pizarra sea verde.
-No es el caso que si nieva no haga frío.
PROPOSICIONES ,VARIABLES Y
OPERADORES PROPOSICIONALES
FÓRMULAS PROPOSICIONALES

Las fórmulas proposicionales son


combinaciones de variables y operadores
proposicionales que funcionan según un
conjunto de reglas de formación. Cuando
cada uno de los signos cumple funciones
definidas en una formula se dice que es
una fórmula bien formada ( FBF) de la
lógica proposicional. En la lógica
proposicional no se puede trabajar con
fórmulas que no estén bien formadas.
EL CÁLCULO LÓGICO

Para el cálculo lógico se recurre a


variables y constantes. Las variables
representan a proposiciones simples
y las constantes representan las
diversas relaciones entre ellas. Por
esta razón, como solo se consideran
relaciones entre proposiciones,
pueden hablarse correctamente de
una lógica interproposicional.
a. VARIABLES PROPOSICIONALES
Son símbolos que sirven para representar las proposiciones
atómicas o simples. Se emplean las letras minúsculas
desde la letra:
SÍMBOLOS DE LA LÓGICA

( p,q,r,s…)
PROPOSICIONAL

Ejemplo: La luna es un satélite. p


La tierra es un planeta. q

b. VALORES VERITATIVOS
Representan los valores de verdad y de falsedad. Se
usaran los símbolos que usan los sistemas binarios.
P= VERDADERO
No p = FALSO
SIMBOLOS D E LA LÓGICA PROPOSICIONAL

c. FUNCTORES VERITATIVOS
Son constantes lógicas que
representan a las diversas
conjunciones. Tienen significado
invariable, permanente, en las
proposiciones moleculares y su
reemplazo alteraría automáticamente
el sentido de las mismas.
LOS SIGNOS DE AGRUPACIÓN

La puntuación en el lenguaje común, es


indispensable para precisar el significado de las
expresiones; sobre todo, para asegurar el
sentido del enunciado.
En la lógica simbólica se usan los paréntesis,
corchetes y llaves.
 Con los paréntesis, corchetes y llaves,
agrupamos y establecemos jerarquías.
[ p v ( ( q . r)) ] ⊃ ( p . ~q )
[ p ⊃ ( ( q v r) . ~r ) ] ⊃ ( ~p v ~q )
[( P ⊃ q) . (q ⊃ r ) ] ⊃ ( p⊃ r )
SIMBOLIZACIÓN DE PROPOSICIONES

La simbolización de proposiciones consiste en la representación


del lenguaje natural mediante el lenguaje simbólico. Para el efecto,
se debe seguir las siguientes pautas:
 Representar cada proposición simple por una variable
proposicional distinta.
 Determinar la estructura formal de la proposición distinguiendo
las conectivas proposicionales.
 Obtener el símbolo (Formula) de la proposición distinguiendo el
alcance de sus operadores-
CONECTORES LÓGICOS
La negación: Es el único conector monádico que niega a una
proposición con la expresión « no» y su simbología esta representado
por:
«~ «
Ejemplo:
Platón no es un filósofo griego. ~ p
Kant no es autor de la crítica de la razón pura. ~ q
En el caso de la negación de las proposiciones compuestas:
-No es el caso que la tiza sea roja y la pizarra sea verde.
-No es el caso que si nieva no haga frío.
-No es cierto que Platón sea idealista y Aristóteles empirista.

La conjunción: Vincula dos proposiciones con la expresión « y « y su

simbología es representado por: « . «


Ejemplo.

Kant es un pensador alemán y Sartori es un pensador italiano. P .q


LA DISYUNCIÓN DÉBIL: Vincula dos proposiciones con la expresión «… o… « y
esta representado por el símbolo « v «
Ejemplo:
Marx es filósofo o es economista. « p v q «
Juan Carpio Muñoz es arequipeño o es peruano. « p v q»

LA DISYUNCIÓN FUERTE: Vincula dos proposiciones con la expresión


“o…o… “ y está representado por el símbolo “ ≢ ”

Ejemplo:
O estás en Trujillo o estas en Arequipa. “ p ≢ q “
EL CONDICINAL : Vincula dos proposiciones con la expresión «Si …entonces…
« y esta representado por el símbolo “ ⊃ “

Ejemplo:
Si Luis gana la beca entonces viajara a Italia. « p ⊃ q “

EL BICONDICINAL : Vincula dos proposiciones con la expresión


«…si y solo si… « y esta representado por el símbolo «≡ «

Ejemplo:
Carlos ascenderá de gerente si y solo si es promovido.
« p≡ q «
LA NEGACIÓN CONJUNTA: Vincula dos proposiciones con la expresión
«ni…ni… « y esta representado por el símbolo «↓ «
Ejemplo:
Ni soy fujimorista ni soy aprista « p ↓ q «

LA NEGACIÓN ALTERNA: Vincula dos proposiciones con la expresión


« no… o no… « y esta representado por el símbolo
« │«

Ejemplo:
No está en lo cierto Luis o no conoce el asunto. « p │ q «
TABLAS DE VALORES DE VERDAD

p q Conjunción Disy.débil Disy.fuerte Condicional Bicondic. Neg.conjunt Neg.alterna


a

≡ ↓ │
. ≢ ⊃
V

V V V V F V V F F

V F F V V F F F V

F V F V V V F F V

F F F F F V V V V
Gracias
• Reglas de inferencia y
demostración
Simbolización • Deducción proposicional
de • Otras reglas de
proposiciones Inferencia
• Bicondicionales
• Resumen de reglas de
inferencia
Reglas de Inferencia y
Demostración

Las reglas de inferencia que rigen el uso


de los términos de enlace son muy
simples.
Modus Ponendo Ponens (PP).

Modus Ponendo Ponens. El nombre modus


ponendo ponens se puede explicar de la
siguiente manera: Esta regla de inferencia es
el método (modus), que afirma (ponens) el
consecuente, afirmando (ponendo) el
antecedente.
Ejemplo PP
Sea
P = «É1 está en el partido de fútbol»
Q = «É1 está en el estadio»,

Entonces
La regla de
inferencia modus
Premisa 1: PQ ponendo ponens
permite demostrar Q
Premisa 2: P a partir de P Q y P
Conclusión: Q
Ejemplo PP

El segundo ejemplo se simboliza de la


manera siguiente, donde P es la proposición
«Hace frío» y Q es la proposición «El lago se
helará».

Premisa 1:𝑃𝑄
Premisa 2: 𝑃
Conclusión: 𝑄
Recuérdese que la regla se aplica a la
forma de las proposiciones, o sea, que
siempre que se dé una proposición
condicional y se dé precisamente el
antecedente de aquella condicional,
se sigue precisamente el consecuente.
Demostraciones. Cuando se usa una
regla de inferencia para pasar de un
conjunto de proposiciones a otra
proposición se demuestra que la última
proposición es consecuencia lógica de
las otras.
Demostración en un paso
(Formal)
Utilizando modus ponendo ponens como
regla, se demostró una conclusión a partir de
un conjunto de premisas. Por ejemplo, de
RS y R se demostró S. Se podría
esquematizar la demostración de manera
clara poniendo:
(1) R  S P
(2) R P
(3) S PP
Demostraciones en dos
pasos
Algunas veces no se puede ir directamente
de las premisas a la conclusión por un solo
paso. Pero esto no impide poder llegar a la
conclusión. Cada vez se deduce una
proposición por medio de una regla, entonces
esta proposición se puede utilizar junto con las
premisas para deducir otra proposición.
Considérese un ejemplo en el que se tienen
tres premisas:
Ejemplo

(1) A  B P
(2) B  C P
(3) A P
Se quiere probar la proposición C. Para llegar a
C, se necesitan dos pasos, cada uno permitido
por el modus ponendo ponens, PP.
(1) A  B P
(2) B  C P
(3) A P
(4) B PP 1, 3
(5) C PP 2, 4
Modus Tollendo Tollens (TT)

La regla de inferencia que tiene el


nombre latino modus tollendo tollens se
aplica también a las proposiciones
condicionales. Pero en este caso,
negando (tollendo) el consecuente, se
puede negar (tollens) el antecedente
de la condicional.
Ejemplo
Premisa 1. Si tiene luz propia, entonces el astro es una
estrella.
Premisa 2. El astro no es una estrella.
Conclusión: No tiene luz propia
Se simbolizará el ejemplo de la manera siguiente: Sea

P = «Tiene luz propia»


Q=«El astro es una estrella».
Premisa 1 :P Q
Premisa 2:Q
Conclusión:P
Se considera ahora un ejemplo de
una demostración en el que se
aplican las tres reglas expuestas
hasta aquí. Se trata de demostrar
R.
(1) PQ P
(2) Q P
(3) P  R P
(4) P TT 1,2
(5) R PP 3, 4
(6) R DN 5
Bibliografía

1) Cuena,J. : Lógica Informática. Alianza Editorial,


1986Kenneth H. Rosen: Discrete Mathematics and its
Applications,5.ª edición.
2) F Suppes, S Hill, “Logica M
3) Nerode, A., A. Shore, R.: Logic for applications. Springer-
Verlag , New York 1993atematica” Reverte 1968