TRABAJO COLABORATIVO

Unidad???

Estudiante

Juliana Moreno

COD?????

Grupo del curso

???????

Presentado a

????????

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Cread ¿???

¿? De Junio de 2018

1
 Tarea 1
Ejercicio a. Silogismo Disyuntivo, Modus Tollendo Tollens y Adición.

Hola juliana este link me lo encontré en internet te puede servir para que te guíes
https://prezi.com/r_qdkzv99a8w/silogismo-disyuntivo/

SILOGISMO DISYUNTIVO
El silogismo es una forma de razonamiento deductivo que consta de
dos proposiciones como premisas y otra como conclusión, siendo la última
una inferencia necesariamente deductiva de las otras dos.

El silogismo disyuntivo es aquel cuya premisa mayor es un juicio disyuntivo y cuta

premisa menor es un juicio categórico en que se afirma o se niega una de las disyuntivas.

Según Jañez (1998), dice que existen dos clases de silogismos disyuntivos: el Exclusivo
y el Inclusivo

Exclusivo: aquel silogismo (argumento) en el cual una de sus premisas es disyuntiva

exclusiva, es decir, una disyuntiva completa, sus componentes son contradictorios o
incompatibles (pueden ser deónticos, excepto si son vacíos)

Ejemplo

“Juan o dice la verdad, o no.

Juan dice la verdad.
/. Luego no engaña”

Simbología- dos modos dobles: MPT y MTP

A, o es B o es C A, o es B o es C
Es B /. No es C. Es C /. No es B. Ponendo tollens

A o es B o es C A, o es B o es C
No es B /. Es C. No es C /. Es B. Tollendo ponens
2
Inclusivo: aquel silogismo en el cual una de sus premisas es una disyunción no
incompatible (Subcontrariedad - compatibilidad) entre sus términos

Ejemplo
“Mi amigo lleva franela roja o blanca”
Simbología (un solo modelo) formal:

A, o es B o es C A o es B, o C MTP-doble
No es B /. Es C No es C /. Es B

MODUS TOLLENDO TOLLENS

https://prezi.com/ueifgczjpz9s/modus-tollendo-tollens/ revisa este link te puede
ayudar

Para Zazueta (2009), es una forma de argumento válido y una regla de

inferencia en lógica proposicional. Es una aplicación de la verdad general de que, si una
declaración es válida, también lo es su contraposición. (Modo que negando niega)

La regla de inferencia modus Tollendo tollens establece que si una primera afirmación
implica una segunda afirmación; y la segunda afirmación no es verdadera; se puede inferir
que la primera no puede ser verdadera. Es decir, si p implica a q; y q no es verdadera;
entonces p tampoco es verdadera.

p→q y ¬q
/.
¬p

3
 Ejemplo 1
Si hay luz solar, entonces es de día
No es de día
Por lo tanto, no hay luz solar

Ejemplo 2
Si llueve coy al cine
No fui al cine
Por lo tanto, no llovió.

Tiene la siguiente
Representación en lógica proposicional
forma {(p →q) ᴧ ¬ q)} → ¬ p
Si A entonces B
Por lo tanto, no A

ADICIÓN
https://prezi.com/zxw9yjj-m9o2/reglas-de-inferencia/ esta presentación en prezi
esta muy completa puedes tomar ideas de hay

Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción)

acompañado por cualquier otro enunciado.
Ejemplo:
a "He comprado manzanas"
a V b "He comprado manzanas o he comprado peras"

Se puede adicionar proposiciones simples con el término de enlace disyunción,

aplicando la ley de la adición. Su abreviatura es LA (ley de adición)

Tarea 2

Ejercicio c. Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al

matricular el curso de Química General como electivo deben asistir al componente
práctico. Raúl hace el siguiente análisis de la situación que se le ha presentado al conocer
las fechas en que debe asistir. ``Si las prácticas de laboratorio son el próximo domingo
entonces asisto a la universidad. Si realizo los experimentos entonces entrego el informe

4
de laboratorio. Asisto a la universidad y entrego el informe de laboratorio, entonces
obtengo un puntaje sumativo para la nota. No obtengo un puntaje sumativo para la nota.
Por lo tanto, no realizo los experimentos o las prácticas de laboratorio no son el próximo
domingo. ´´

Solución
Coloreamos las proposiciones para tener una mejor claridad sobre los enunciados.

``Si las prácticas de laboratorio son el próximo domingo entonces asisto a la universidad.
Si realizo los experimentos entonces entrego el informe de laboratorio. Asisto a la
universidad y entrego el informe de laboratorio, entonces obtengo un puntaje sumativo
para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto, no realizo los
experimentos o las prácticas de laboratorio no son el próximo domingo. ´´

Debemos darle nombre a las proposiciones. Sea:

p: las prácticas de laboratorio son el domingo
q: asistir a la universidad
r: realizar los experimentos
s: entregar el informe de laboratorios
t: obtener un buen puntaje sumativo para la nota

Ahora empezamos a enlazar las proposiciones con sus respectivos conectores

Si las prácticas de laboratorio son el próximo domingo entonces asisto a la universidad

(p→q)

Si realizo los experimentos entonces entrego el informe de laboratorio

(r→s)
Asisto a la universidad y entrego el informe de laboratorio, entonces obtengo un puntaje
sumativo para la nota.
(q^s)→t

No obtengo un puntaje sumativo para la nota

¬t

No realizo los experimentos o las prácticas de laboratorio no son el próximo domingo.

(¬ r v ¬ p)

Ahora utilizamos las leyes de inferencia

Premisa 1: p → q
Premisa 2: r → s
Premisa 3: (q ᴧ s) →t
5
Premisa 4: ¬ t
Conclusión: ¬ r v ¬ p

Luego podemos pasar del lenguaje de escritura al lenguaje simbólico

{(p →q) ᴧ (r→s) ᴧ [(q ᴧ s) →r] ᴧ (¬ t)} → (¬ r v ¬ p)

Premisa 5: ¬ q ᴧ ¬ s por modus ponendo ponens de (3 y 4)

Premisa 6: ¬ q simplificación de (5)
Premisa 7: ¬ s simplificación de (5)
Premisa 8: ¬ p por modus ponendo ponens de (1 y 6)
Premisa 9: ¬ r por modus ponendo ponens de (2 y 7)
Premisa 10: ¬ r v ¬ p por adición de (8 y 9)

A continuación mostramos la tabla de verdad, hecha a mano utilizando la

herramienta Excel

6
Esta es la tabla de verdad utilizada por el simulador Truth

7
Al comparar ambas tablas podemos decir que tenemos una tautología, lo que indica
que el razonamiento hecho por Raúl es correcto.

Tarea 3

8
 Ejercicio c. De todos los seres que pueblan la Tierra, los seres humanos son los más
nocivos para el ecosistema. En efecto, ellos destruyen anualmente millones de hectáreas
de bosques y son los directos culpables de la desaparición masiva de fuentes de agua
potable.

Solución

El razonamiento anterior es deductivo, ya que se toma una premisa de carácter general:

“De todos los seres que pueblan la Tierra, los seres humanos son los más nocivos para
el ecosistema”; y a partir de ésta, se concluyen afirmaciones de carácter particular: “En
efecto, ellos destruyen anualmente millones de hectáreas de bosques” y “son los directos
culpables de la desaparición masiva de fuentes de agua”.

Referencias

Jañez, T. (1998). Lógica Jurídica: Argumentación e interpretación. Caracas: Universidad católica

Andrés Bello
Zazueta. L. (2009). Lógica II: Segundo semestre. . Culiacan: Universidad Autónoma de Sinaloa