Professional Documents
Culture Documents
Tutor:
ALVARO JAVIER ROJAS BARACALDO
Objetivo general
Con esta actividad se busca que el estudiante identifique y utilice en forma clara las reglas
de inferencia por inducción y deducción en formulaciones y demostraciones de
razonamientos validos en situaciones específicas.
Objetivos específicos
Donde la regla es que cada vez que las instancias de " P→Q " y "Q→R " aparecen en las
líneas de demostración " P→R se puede colocar en una línea posterior.
Notación formal
La regla de silogismo hipotético puede escribirse
(𝑃 → 𝑄), (𝑄 → 𝑅) ⊢ (𝑃 → 𝑅)
Donde ⊢ es un símbolo meta lógico que significa que 𝑃 → 𝑅 es una consecuencia sintáctica
de 𝑄 → 𝑅 y ¬𝑃 en algún lógico; y expresado como una tautología verdad-funcional
o teorema de la lógica proposicional:
((𝑃 → 𝑄) ∧ (𝑄 → 𝑅)) → (𝑃 → 𝑅)
Donde 𝑃, 𝑄 𝑌 𝑅 son proposiciones expresadas en algún sistema formal.
Ejemplos
1.
.Si tú estudias lógica, conocerás formas de deducir argumentos válidos.
.Si conoces formas de deducir argumentos válidos, entonces puedes aprender a plantear
argumentos válidos.
-Por lo tanto, si estudias lógica, entonces puedes aprender a plantear argumentos validos
2.
.Si llueve durante la noche, al día siguiente hará frio.
.Si al día siguiente hace frio, entonces necesitarías usa ropa abrigadora.
-Por lo tanto, si llueve durante la noche, entonces puede que necesites ropa abrigadora
mañana.
3.
.Si el perro ladra durante la noche, un desconocido puede estar merodeando cerca.
.Si un desconocido está merodeando cerca, entonces es mejor colocar la cerradura.
-Por lo tanto, si el perro ladra durante la noche, entonces es mejor colocar la cerradura.
Silogismo Disyuntivo
Esta regla parte de, al menos, tres premisas: una disyuntiva y dos condicionales. La
disyuntiva encierra dos opciones, las cuales serán los antecedentes de ambas condicionales,
de tal modo que sus consecuentes podrán conformar una disyunción. En otras palabras esto
significa que si dos posibilidades conllevan dos condiciones a cumplir, los efectos serán en
última instancia las posibilidades que se estarán escogiendo en última instancia.
Ejemplo:
Admite también dos modos: modus ponendo tollens (afirmativo negativo) y modus
tollendo ponens (negativo afirmativo).La estructura formal del modus ponendo tollens es la
siguiente: A es B o C Ahora bien, es B Luego, no es C
p→q
~p
\q
1. En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del cual
Juan Arroyo y María Aguirre hacen parte; en cierta ocasión se generó una discordia laboral
por diferentes puntos de vista en el proceso de acompañamiento legal a una persona
sindicada de varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de
discordia con María. María ha decidido tomar acciones radicales frente a lo ocurrido con
Juan: “Si el cliente de Juan gana la apelación, entonces María se retira del buffet de
abogados. María se retira del buffet de abogados si y sólo si Alberto el cliente de Juan no es
llevado a prisión. Por lo tanto, si el cliente de Juan gana la apelación, entonces no es
llevado a prisión”. Determinar con el uso de las dos formas de la tabla de verdad la validez
del razonamiento que hace María y hacerlo también con el uso de las leyes de inferencia.
Sea el razonamiento:
“Si el cliente de Juan gana la apelación, entonces María se retira del buffet de abogados.
María se retira del buffet de abogados si y sólo si Alberto el cliente de Juan no es llevado a
prisión. Por lo tanto, si el cliente de Juan gana la apelación, entonces no es llevado a
prisión”.
POR LO TANTO
⟶
Simulador Truth
1. 𝑝 ⟶ 𝑞 Premisa 1
2. 𝑞 ↔∼ 𝑟 Premisa 2
1. 𝑝⟶𝑞
3. 𝒒 ⟶ ~ 𝒓
𝑝⟶ ~𝒓
CONCLUSIONES