Escolar Documentos
Profissional Documentos
Cultura Documentos
- Veo un cuervo de
color negro
- Veo un segundo
cuervo de color
negro
- Veo un tercer
cuervo de color
negro
- Todos los cuervos
son negros..
Estudiante: Venlly Alexander Bernal Gaitan
Método de Razonamiento Características (4) Ejemplos (2)
Método deductivo - La conclusión deriva 1.
necesaria mente de - El hombre es un ser
las premisas vivo.
- Tradicionalmente este - Los seres vivos
método es el más necesitan el agua.
usado en la - El hombre necesita el
educación. agua.
- Es sistemático, se 2.
sustenta en un - Los reptiles son de
procedimiento son animales de
metódico. sangre fría.
- Es inflexible no - La serpiente es un
suministra animal de sangre fría.
información nueva. - La serpiente es un
reptil.
- Mauricio y Andrea
tienen tres hijos, José,
Carlos y Valentina.
- José es rubio.
- Carlos es rubio.
- Valentina es rubia.
Por lo tanto todos los
hijos de Mauricio y
Andrea son rubios.
5.
- Marina vive en bogota
y es paisa
- Martha vive en
Manizales y es paisa
- Alfredo vive en pasto
y es paisa
- Todos los
colombianos son
paisas
6.
- Juanes es cantante
- Shakira es cantante
- Juanes y Shakira son
Colombianos
- Por lo tanto Juanes y
Shakira son cantantes
Colombiano
7.
- Juan trabaja por
dinero
- Ramón trabaja por
dinero
- Todos trabajan por
dinero
8.
- En el desierto del
Sahara hay arena
- En el desierto de
Arabia hay arena
- En el desierto de
Australia hay arena
- Por lo tanto en todos
los desiertos hay
arena.
PROBLEMA DE APLICACIÓN
Analice la validez de la conclusión: “La población de Italia es fuerte Física y mentalmente”. Para
ello debemos hacer los siguientes componentes, los cuales deben estar consignados en el trabajo
colaborativo partiendo de las siguientes premisas:
Premisa 4: Italia se ubica en una zona meridional norte entonces La población de Italia es fuerte
Física y mentalmente
[((pˆq)^r)ˆ( r→ s)] →s
Demostraciones:
p q r s 1 2 3 4 5
V V V V V V V V V
V V V F V V F F V
V V F V V F V F V
V V F F V F V F V
V F V V F F V F V
V F V F F F F F V
V F F V F F V F V
V F F F F F V F V
F V V V F F V F V
F V V F F F F F V
F V F V F F V F V
F V F F F F V F V
F F V V F F V F V
F F V F F F F F V
F F F V F F V F V
F F F F F F V F V
Se puede inferir que este argumento es una tautología porque todos sus valores son verdaderos.
1. (𝑝 ∧ 𝑞) ∧ 𝑟 (premisa)
2. (𝑟 → 𝑠) (premisa)
3. (𝑝 ∧ 𝑞) ∧ 𝑟 → (𝑟 → 𝑠) (silogismo hipotético en 1 y2)
4. (𝑟 → 𝑠) → 𝑠
5. (𝑝 ∧ 𝑞) ∧ 𝑟 → 𝑠 (modus ponens 5 y 1)
6. s (conclusión)
[((pˆq)^r)ˆ( r→ s)] →s
Premisa 1 q→n
Premisa 2 p V q
Premisa 3 ⌐n
Demostraciones:
1. q→n (premisa)
2. p V q (premisa)
3. ⌐n (premisa)
4. ⌐p (negación de la tesis)
5. q(modus tollendo ponens en 2 y 4)
6. n (modus ponens en 1 y 5)