1

UN POCO DE LOGICA
08/12/2019 Curso de Geometría. Notas de Clase 2011
 Lógica Natural
2

Es una aptitud o capacidad para razonar correcta o

incorrectamente y es propia de los seres humanos, es
decir, se nace con ella y se ejercita mediante la
experiencia en la resolución de problemas de la vida
cotidiana.

08/12/2019
 Lógica proposicional
3

 Lenguaje de la lógica
Es un lenguaje formal que proposicional ésta
permite decidir acerca de la
validez o invalidez de una conformado por
amplia clase de razonamientos fórmulas que satisfacen
deductivos, sobre la base de la ciertas reglas de
representación simbólica de las
proposiciones que intervienen en sintaxis, y que se llaman
el razonamiento y de las fórmulas bien formadas
conexiones entre ellas.
(FBF)
08/12/2019
 Lógica Proposicional
4

 Es un tipo especial de Lógica

en la cual los argumentos
solo usan proposiciones.
 Consiste en construir
afirmaciones a partir de
otras utilizando los
conectivos ∧,∨, ∼, →y ↔ , los
cuales llamaremos conectivos
proposicionales

08/12/2019
5

08/12/2019
 Lógica

6
Lógica de primer
Lógica proposicional
orden

.
Argumentos Razonamientos Variables Cuantificadores

Válidos
Premisas No válidos
(correctos)

Deductivos, Reglas de
Proposiciones inductivos, … inferencia

Modus ponens,
Compuestas o Modus Tollens,
Simples o atómicas Modus tollendo
moleculares
Ponens,…

Conectivos lógicos

08/12/2019
7

 Es un fragmento discursivo compuesto de una serie de

afirmaciones expresadas en oraciones del lenguaje
científico o natural, las cuales juegan, unas el papel de
premisas y otra el de conclusión.
 Las premisas nos dan razones suficientes para aceptar, de
manera racional, la conclusión.
ARGUMENTO  La verdad de esta última (la conclusión) se sigue de
manera (lógicamente) necesaria de la verdad de las
primeras (las premisas).
 La conclusión es verdadera si las premisas son verdaderas
y el argumento es lógicamente válido. (Barceló, A. 2003)

08/12/2019
8

 Es un proceso discursivo que sujeto a

reglas o preceptos se desarrolla en dos o
tres pasos y cumple con la finalidad de
obtener una proposición de la cual se
llega a saber, con certeza absoluta, si es
Razonamiento verdadera ó falsa.
 Cada razonamiento es autónomo de los
demás y toda conclusión obtenida es
infalible e inmutable.
08/12/2019
9

 PROPOSICIONES SIMPLES o ATOMICAS: Expresiones del lenguaje que

Proposición: pueden calificarse como verdaderas o falsas.

Es un
enunciado  PROPOSICIONES COMPUESTAS: O MOLECULARES Expresiones
declarativo del lenguaje que están constituidas por dos o más proposiciones simples,
que, unidas por partículas de enlace, llamados conectivos lógicos.
expresado en
un contexto  TAUTOLOGIA: Son proposiciones lógicas caracterizadas por tener
particular es exclusivamente el valor verdadero en la columna final de su tabla de
verdadero o verdad.
falso. Lógica
proposicional  TABLA DE VERDAD:Esquema que permite hallar el valor falso
o verdadero.
08/12/2019
10

08/12/2019
 EJERCICIO
11

 Si aplico las reglas de inferencia y

Demostrar la tengo cuidado, entonces gano el
validez del
siguiente
examen o me siento bien. Si me siento
argumento bien o no tengo cuidado, entonces no
aplico las reglas de inferencia. Aplico
las reglas de inferencia por lo tanto
gano el examen.
08/12/2019
 Reglas de inferencia
12

 Los argumentos basados en tautologías representan

métodos de razonamiento universalmente correctos.
 Su validez depende solamente de la forma de las
proposiciones que intervienen y no de los valores de verdad
de las variables que contienen. A esos argumentos se les
llama reglas de inferencia. Las reglas de inferencia
permiten relacionar dos o más tautologías o hipótesis en una
demostración.

08/12/2019
13
Reglas de inferencia
((𝑝 → 𝑞) ∧ 𝑝) → 𝑞
((𝑝 → 𝑞) ∧ ~𝑞) → ~𝑝
((𝑝 ∨ 𝑞) ∧ ~𝑞) → 𝑝,
((𝑝 ∨ 𝑞) ∧ ~𝑝) → 𝑞
(𝑝 ∧ 𝑞) → 𝑝, (𝑝 ∧ 𝑞) → 𝑞
∼ (∼ 𝑝) → 𝑝
((𝑝 → 𝑞) ∧ (𝑞 → 𝑟)) → (𝑝 → r)
Modus ponendo ponens (en latín, modo
que afirmando afirma)
Modus Tollendo Tollens (en latín, modo que
negando niega)
Modus Tollendo Ponens (en latín, modo
que negando afirma)
Simplificación
Doble negación
Silogismo hipotético
14

Reglas de inferencia
𝑝 Adjunción
_________________________
𝑝∨𝑞
𝑝 → 𝑞 ∧ ( 𝑟 → 𝑠 ) ∧ (𝑝 ∨ 𝑟) Dilema constructivo
___________________________________________
𝑞 ∨ 𝑠

(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟 ) ∧ 𝑞 → 𝑟 Simplificación
_________________________ disyuntiva
𝑟
15

Reglas de inferencia
Modus ponendo ponens (en latín, modo que afirmando afirma) La regla ‘ponendo
ponens’ significa, “afirmando afirmo” y en un condicional establece,
que si el antecedente (primer término, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo término, en este
caso q).

Modus Tollendo Tollens (en latín, modo que negando niega) se refiere a una propiedad
inversa de los condicionales
16

Reglas de inferencia
Modus Tollendo Ponens (en latín, modo que negando afirma) si uno de los miembros
de una disyunción es negado, el otro miembro queda
automáticamente afirmado, ya que uno de los términos de la
elección ha sido descartado.

Simplificación. Si se tiene un enunciado formado por dos miembros

unidos por una conjunción, se puede hacer de los dos miembros dos
enunciados afirmados por separado.
17

Reglas de inferencia
Doble negación. si un enunciado está doblemente negado,
equivale al enunciado afirmado.

Silogismo hipotético. Si una causa se sigue una consecuencia,

y ésta es a su vez causa de una segunda consecuencia, se
puede decir que esa primera causa es causa de esa
segunda consecuencia.
18

Reglas de inferencia
Dilema constructivo. Si se plantea una elección entre dos causas,
se concluye una elección entre sus dos posibles efectos
Simplificación disyuntiva. Si se tienen dos premisas que
corresponden a dos implicaciones con el mismo consecuente, y sus
antecedentes se corresponden con los dos miembros de una
disyunción, se concluye con el consecuente de ambas implicaciones.
 Ejemplo 1:
19

¿Es válido el  Si usted invierte en el mercado de valores,

siguiente entonces se hará rico.
argumento?.
 Si se hace usted rico, entonces será feliz.

____________________________________
Si usted invierte en el mercado de valores,
entonces será feliz.

08/12/2019
 Identificando premisas y la conclusión:
20

Sea:
 p: Usted invierte en el mercado de valores.

 q: Se hará rico.

 r: Será feliz

El enunciado anterior se puede representar

con notación lógica de la siguiente manera:
08/12/2019
 Simbolizando:
21

𝑝→𝑞
𝑞→𝑟
_____________
𝑝→𝑟
?Cual es la regla de inferencia utilizada?

08/12/2019
 Ejemplo 2:
22

Enunciado Representación simbólica

No es verdad que 1. No es verdad que estudias y
trabajas: ~(𝑝 ∧ 𝑞)
estudias y trabajas.
Si quieres conseguir 2. Si quieres conseguir dinero
dinero entonces trabajas. entonces trabajas: 𝑟 → 𝑞
Luego si estudias entonces Luego si estudias entonces no
no consigues dinero. consigues dinero: 𝑝 → ~𝑟

08/12/2019
 Probando la validez del argumento
23

1. ~(𝑝 ∧ 𝑞) Dato
2. ~𝑝 ∨ ~𝑞 Leyes de Morgan en 1
3. 𝑝 →∼ 𝑞 Sustitución de equivalencia lógica
4. 𝑟→𝑞 Dato
5. ∼ 𝑞 →∼ 𝑟 Equivalencia lógica en 4
𝑝 →∼ 𝑟 Silogismo hipotético en 3 y 4
El argumento es válido

08/12/2019
 Ejemplo 3
24

Traducir al lenguaje formal y probar la

validez del siguiente razonamiento:

O me traes a casa, o no voy a la 1. O me traes a casa, o no voy a la

fiesta: 𝑝 ∨∼ 𝑞
fiesta.
Si no llueve entonces voy a la 2. Si no llueve entonces voy a la
fiesta. fiesta: ∼ 𝑟 → 𝑞

Luego si no me traes a casa Luego si no me traes a casa

llueve:∼ 𝑝 → 𝑟
llueve.

08/12/2019
25

1. 𝑝 ∨∼ 𝑞 dato
2. ∼ 𝑝 →∼ 𝑞 equivalencia lógica en 1
3. ∼𝑟→𝑞 dato
4. ∼q → r equivalencia lógica en 3

∼𝑝→𝑟
08/12/2019
26
Taller:
Para cada uno de los siguientes argumentos
identificar la regla de inferencia que se aplica
para que el razonamiento sea válido.

Si llueve, entonces las calles se mojan” (premisa)

“Llueve” (premisa)
____________________________
“Luego, las calles se mojan” (conclusión)

Modus Ponendo
ponens
08/12/2019
27

Si llueve, entonces las calles se mojan” (premisa)

“las calles no se mojan (premisa)
____________________________
“Luego, no llueve” (conclusión)

Modus Tollendo
Tollens

08/12/2019
28

“No ocurre que Ana no es una estudiante” (premisa)

__________________________________
“Ana es una estudiante ” (conclusión)

Doble negación

08/12/2019
29

“He ido al cine o me he ido de compras” (premisa)

“No he ido de compras” (premisa)

______________________________

“Por tanto, he ido al cine” (conclusión)

Modus Tollendo
Ponens
08/12/2019
30

“Si la bola roja golpea a la bola blanca, la bola blanca se mueve” (premisa)

“Si la bola blanca golpea a la bola negra, la bola negra se mueve” (premisa)

____________________________________________________

“Si la bola roja golpea a la bola blanca, la bola negra se mueve” (conclusión)

Silogismo
hipotético
08/12/2019
31

“Si llueve, entonces las calles se mojan” (premisa)

“Si la tierra tiembla, los edificios se caen” (premisa)

“Llueve o la tierra tiembla” (premisa)

____________________________________________
“Las calles se mojan o los edificios se caen” (conclusión)

Silogismo disyuntivo

08/12/2019
32

“Helado de fresa o helado de vainilla” (premisa)

“Si tomas helado de fresa, entonces repites” (premisa)

“Si tomas helado de vainilla, entonces repites” (premisa)

_________________________________________
Luego, repites (conclusión)

Simplificación
disyuntiva
08/12/2019
 Ejercicio: Expresar simbólicamente el siguiente enunciado y establecer la regla de
inferencia para que sea un argumento válido.
33

Ernesto no es un buen Si Ernesto es un buen

fotógrafo, pues los fotógrafo, entonces es
buenos fotógrafos son imaginativo : 𝑝 → 𝑞
imaginativos y Ernesto no Ernesto no es
lo es. imaginativo:~𝑞
Ernesto no es un buen
fotógrafo: ~p
08/12/2019
 Establecer la validez del siguiente argumento
34

 Todos los miércoles la  Hoy es miércoles, y el

Universidad presenta un
grupo de cuenteros o un
grupo musical. Además,
no se hace una
presentación de la
misma clase de grupos
en dos miércoles
seguidos.
pasado miércoles se
presentó un grupo
musical. Por lo tanto, la
Universidad presenta
hoy un grupo de
cuenteros.
08/12/2019
35

08/12/2019