Professional Documents
Culture Documents
7. TALLER N� 3
7.2. METODOLOGÍA
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 1/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
Actividades.
Deja de llover.
No madrugo.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 2/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 3/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
Elementos Teóricos.
2. La demostración.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 5/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
3. Reglas de inferencia.
Son reglas que nos sirven para probar que a, partir de unas premisas
dadas, es posible hacer la demostración para una conclusión específica.
Su objetivo es abreviar las demostraciones.
Modus Ponens
Premisas Premisas
no P
Q Conclusión P Conclusión
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 6/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
Premisas
no P Conclusión
Premisas
Conclusión
P Premisas
Q
PyQ Conclusión
Simplificación en la conjunción
PyQ Premisa
P Conclusión
Q Conclusión
Adjunción
P Premisa
PóQ Conclusión
Premisas Premisas
Conclusión R Conclusión
4. Equivalencias fundamentales.
1. a. b.
c. d.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 7/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
3. a.
b. Leyes conmutativas
4. a.
b. Leyes asociativas
5. a.
b. Leyes distributivas
6. a.
b. Leyes de Morgan
c.
7. Negación en la equivalencia
Actividades:
Elementos teóricos.
Ilustración 1.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 8/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
Conclusión no T
La encontramos en la premisa 2:
1.4 Pregunta: Disponiendo de la premisa
que regla podría aplicarse que nos permita concluir
"R"?
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 9/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 10/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
Ilustración 2.
EyJ Conclusión
6) E Simplificación en 3.
7) A Simplificación en 3.
8) P Modus ponens de 1 y 7
9) N Modus ponens de 8 y 2
12) E y J Conjunción de 6 y 11
Actividades.
____________ ____________
Conclusión Conclusión
Premisas
PóR ____________
____________
S Conclusión RóS Conclusión
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 12/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
P
Premisas
SyP
____________
____________
S Conclusión K ó V Conclusión
7.3.2.1.4 7.3.2.1.8
Premisas
Premisas
no T
____________
____________
No P Conclusión S Conclusión
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 13/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
7.3.2.2.7. Si los precios son bajos, entonces, los salarios son bajos. Los
precios son bajos o no hay control de precios. Si no hay control de
precios, entonces hay inflación. No hay inflación; por tanto, los salarios
son bajos.
El invierno arrecia"
ELEMENTOS TEÓRICOS
1. Argumento Válido.
5. Falacias o sofismas
categorías.
Actividades.
7.3.3.1. Esquema 1.
Hipótesis:
Conclusión:
Demostración:
a es un número par
b es un número impar
a = 2n y n Z
b = 2m + 1 y
a + b = 2n + 2m + 1
= 2(n + m) + 1
a + b es un número impar.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 16/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
7.3.3.2. Esquema 2.
Proposición: Para a, b R
Si a . b = 0 entonces a =0 ó b =0
Hipótesis:
Conclusión:
Demostración:
a, b R
a.b = 0
a-1.(a.b) = a-1.0
a-1.0 = 0
a-1.(a.b) = 0
(a-1.a).b = 0
1.b = 0
b=0
(a = 0) o (b = 0)
7.3.3.3. Esquema 3.
Proposición: Si x = y, entonces, 1 = 2
Hipótesis:
Conclusión:
Demostración:
x=y
xy = y2
xy - x2 = y2 - x2
x(y - x) = (y - x)(y + x)
x=y+x
x = 2x
1=2
7.3.3.4. Esquema 4.
Proposición: Si 1 = 0 entonces 1 = 1
Hipótesis:
Conclusión:
Demostración:
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 17/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
1=0
0=1
1+0=0+1
1=1
7.3.3.5. Esquema 5.
Proposición: Si 1 = 3, entonces, 3 = 5
Hipótesis:
Conclusión:
Demostración:
1=3
1+2=3+2
3=5
7.3.3.6. Esquema 6.
Hipótesis:
Conclusión:
Demostración:
-2 < -5
(-1).(-2) < (-1)(-5)
2<5
7.3.3.7. Esquema 7.
Hipótesis:
Conclusión:
Demostración:
1
2
3
4
5
6
7
Elementos Teóricos.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 19/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
Falacias subjetivistas.
Actividades.
7.3.3.11.1.
7.3.3.11.2.
Alumno: No es necesario
7.3.3.11.3.
7.3.3.11.4.
7.3.3.11.5.
7.3.3.11.6.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 21/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
7.3.3.11.7.
Daniel: Ya la probaste?
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 22/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
7.3.4.1. Proposición.
7.3.4.2. Proposición.
7.3.4.3. Proposición.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 23/26
9/5/2018 Taller N° 3 - Modelos de Razonamiento Lógico-Matemático
7.3.4.4. Proposición.
Elementos teóricos.
Proposición.
Demostración:
Actividades.
7.3.5.2. Si hay riego por inundación y hay riego por aspersión, entonces,
la compuerta A está cerrada.
http://ayura.udea.edu.co/logicamatematica/talleres/taller3.htm 26/26