# data[].attributes.body
3:26

# data[].attributes.attachment_link.title
SILOGISMO DISYUNTIVO (REGLAS DE INFERENCIA) CON EJEMPLOS

# data[].attributes.body
Argumento modus ponens
- Si está soleado, entonces es de día.

Está soleado.

Por lo tanto, es de día.

Tomado de: https://fr.scribd.com/doc/53808974/3-Ejemplos-de-Modus-Ponens-Buscar

# data[].attributes.attachment_link.readable_text
En lógica, el modus Ponendo ponens (MPP o MP) es el razonamiento en el cual, en la primera

premisa se plantea un condicional, en la segunda se afirma el antecedente y, como conclusión,
se afirma el consecuente.
Ej.: 1a. premisa: Si tengo dinero entonces compro una bicicleta.
2a. premisa: Tengo dinero
Conclusión: Compro una bicicleta.

Es un modo válido de razonamiento.

Modus ponendo ponens

De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda

En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también
llamado modus ponens y generalmente abreviado MPP o MP, es una regla de
inferencia que tiene la siguiente forma:

Si A, entonces B
A
Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:

Si está soleado, entonces es de día.

Está soleado.
Por lo tanto, es de día.

Otro ejemplo sería

Si Javier tiene rabia, es una nube.

Javier tiene rabia.
Por lo tanto, Javier es una nube.

Otra manera de presentar el modus ponens con el condicional es:

Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:

En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el

modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de
la discusión en torno al problema de la justificación de la deducción se haya centrado en
la justificación del modus ponens.

////////////////////////////////

Inferencia formal: modus ponens y resolución

 Una visión tradicional en la psicología (Inhelder, Piaget) es que obtenemos

conclusiones con un sistema lógico formal. Usamos reglas de inferencia formal, por
ejemplo Modus Ponens
Si ganan el partido, entonces se clasifican
Ganaron el partido
Concluimos: Se clasifican

 El mecanismo, aunque correcto (sound), es puramente sintáctico

 Hay distintos formalismos. La gente puede razonar con cuantificadores. La lógica de
predicados sería una mejor candidata para lógica mental
 resolución

o de forma equivalente

 Resolución requiere que las sentencias se trasladen a forma normal

 La importancia de la resolución viene dada por la semidecidibilidad de la lógica de
predicados: Si una sentencia es una consecuencia lógica de una Base de Conocimiento
se puede encontrar una prueba pero si no lo es no hay procedimiento que pueda
demostrarlo.

resolución es completa por refutación: si un conjunto de sentencias es no

verificable, entonces la resolución probará una contradicción. La resolución no
puede generar todas las consecuencias lógicas de un conjunto de sentencias, pero
puede establecer si una determinada sentencia es una consecuencia lógica del
conjunto

 No parece muy factible la conversión a forma normal y la resolución como inferencia

3 ejemplos de modus pollens

En lógica, el modus tollendo tollens (en latín, modo que negando niega), también
llamado modus tollens y generalmente abreviado MTT o MT, es una regla de
inferencia que tiene la siguiente forma:

si A entonces B

No B
Por lo tanto, no A

Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:

si está soleado entonces es de día.

No es de día.

Por lo tanto, no está soleado.

Es importante evitar caer en el razonamiento incorrecto de:

Si tiene permiso de conducir entonces es mayor de edad

No tiene permiso de conducir

Por lo tanto, no es mayor de edad.

Es incorrecto puesto que podría ser mayor de edad y no tener permiso de conducir, de
ahí la importancia de no confundir el condicional (si p, entonces q) con el bicondicional
(p si y solo si q).

Otra manera de presentar el modus tollens es:

Y aún otra manera es a través de la notación del cálculo de secuentes:

En lógica proposicional su representación sería la siguiente :

[editar] Falsacionismo

El modus tollens es central al modelo falsacionista de la ciencia propuesto por Karl

Popper en su libro La lógica de la investigación científica. Según Popper, la ciencia
nunca puede confirmar definitivamente una hipótesis, pero sí puede refutarla
definitivamente deduciendo una consecuencia observable de la misma y mostrando que
dicha consecuencia no se cumple. Este procedimiento de refutación sigue la forma de un
modus tollens:

La hipótesis H implica la consecuencia observable O.

La consecuencia observable O no es el caso.

Por lo tanto, la hipótesis H tampoco es el caso.

La validez de este razonamiento contrasta con la invalidez de los intentos de
confirmación de una hipótesis:

La hipótesis H implica la consecuencia observable O.

La consecuencia observable O es el caso.

Por lo tanto, la hipótesis H también es el caso.

Este razonamiento es un caso de afirmación del consecuente, y por lo tanto no es un

razonamiento válido. En consecuencia, mientras las refutaciones tienen la forma de un
argumento deductivamente válido, las confirmaciones tienen la forma de un argumento
deductivamente inválido, y a lo sumo tienen la fuerza de un razonamiento inductivo.

Ejemplo: Por modus tollens, de las fórmulas (p ^ q) → r y ¬r obtenemos ¬(p ^ q). En lenguaje
ordinario: Si es domingo y hace buen tiempo, seguro que nos vamos a la playa; no nos vamos a
la playa; por tanto, no es verdad que sea domingo y que haga buen tiempo.
Las dos formas correctas del argumento condicional

Un argumento condicional se puede, pues, resolver de dos maneras, es decir,

con dos tipo de premisa menor: afirmar el antecedente o negar el consecuente.

a. Si se afirma el antecedente, (si se cumple la condición suficiente),

puede afirmarse el consecuente (lo que se afirmaba sub conditione).

Si pide coñac, nos suelta un discurso.

Ha pedido coñac.

Dios nos asista.

Si A, entonces B

Se da A

Luego, afirmo B

Si un hombre es sabio, puede dar un buen consejo.

Juan es sabio.

Luego, Juan puede dar un buen consejo.

Tradicionalmente, esta variedad de argumento condicional se conoce como Modus ponens o

Modus ponendo ponens (modo en el que afirmando, afirmo). Al afirmar el antecedente, se afirma el
consecuente. Los argumentos condicionales fueron sistematizados por la escuela estoica cuando
Atenas era la capital educativa del mundo romano. No debe sorprender, pues, que conserven
una terminología clásica. La hemos respetado porque forma parte de la cultura lógica más
elemental.

b. Si se niega el consecuente, falta la condición necesaria para afirmar

su antecedente, luego podemos negarlo.

Si no hay acuerdo, cesará la huelga

No cesa la huelga

Luego no se ha producido el acuerdo.

Si A, entonces B

no se da B

Luego, puedo afirmar que no se ha dado A.

Negar que se cumpla el consecuente, nos autoriza para rechazar el

antecedente.

Si un hombre es sabio, puede dar un buen consejo.

Juan no puede dar un buen consejo,

Luego, Juan no es sabio.

Tradicionalmente, esta variedad de argumento condicional se conoce como Modus tollens o

Modus tollendo tollens (el modo en que negando, niego). Al negar el consecuente, se niega el
antecedente. Tollere significa sacar, quitar, es decir, negar.
Ejemplo ponens: de los datos descubrimos que un segmento "es paralela a la base y pasa por
el punto medio de un lado del triángulo" (descubrimos que p se cumple), entonces podemos
concluir que "pasa por el punto medio del otro lado" apelando al teorema de la línea media.

# data[].attributes.attachment_link.description
premisa se plantea un condicional, en la segunda se afirma el antecedente y, como conclusión,se afirma el consecuente.Ej.: 1a. premisa: Si tengo dinero entonces compro una bicicleta.2a. premisa: Tengo dineroConclusión: Compro una bicicleta.

# data[].attributes.body
Argumento de reducción al absurdo:

El derecho a la vida es inviolable. Negación: el derecho a la vida es violable ya que, en ciertos casos, acabar con la vida de otro individuo es permitido como ocurre en el caso de la pena de muerte. Por lo tanto, la primera premisa es falsa o incorrecta debido a que su negación es aceptable.

# data[].attributes.body
si el cielo es azul, entonces no llueve.

Esta lloviendo

Por lo tanto, el cielo no es azul.

Tipo de argumento/ Modus Tollens

# data[].attributes.body
Silogismo Disyuntivo
El clima de Bogotá puede variar entre soleado, nublado, lluvioso o tormenta, hoy no está lloviendo y hay claridad en el cielo. Por lo tanto, el clima de Bogotá es soleado.

Explicación:

Este argumento es un silogismo disyuntivo porque es una forma de argumentación lógica que utiliza dos proposiciones que se relacionan mediante una disyunción, es decir, que una de las dos proposiciones es verdadera o falsa (las dos no pueden ser verdaderas o las dos no pueden ser falsas).

La primera premisa sería: El clima de Bogotá puede variar entre soleado, nublado, lluvioso o tormenta;

La segunda premisa: hoy no está lloviendo y hay claridad en el cielo

Conclusión: Por lo tanto, el clima de Bogotá es soleado.

En este caso, como es falso que el clima esté nublado, lluvioso o que haya tormenta, entonces es verdadero que el clima está soleado.

# data[].attributes.body
Argumento dilema: Los documentos requeridos para declarar la nacionalidad colombiana pueden ser tomados en serio o podrían ser interpretados y alterados por el Juez. Si se toman en serio tal y como están estipulados, el juez no le podría dar la nacionalidad a alguien que no tenga estos documentos. Si estos pueden ser interpretados y alterados por el juez, él decidirá bajo que términos otorgarle la nacionalidad colombiana a alguien que no tenga estos documentos.

# data[].attributes.headline
Elizabeth Labarces 202313672 - argumento de ejemplificación

# data[].attributes.subject
Elizabeth Labarces 202313672 - argumento de ejemplificación

# data[].attributes.body
Antes solo existía la física clásica. Este se dividió en dos grupos de leyes: Leyes de Newton y Leyes de Maxwell.

El primer grupo de leyes describe el movimiento y la dinámica de los cuerpos mecánicos, mientras que el segundo grupo describe la tendencia y los vínculos entre los sujetos que forman parte de un campo electromagnético: la luz y las ondas de radio, por ejemplo.

https://okdiario.com/curiosidades/que-fisica-cuantica-403028

# data[].attributes.attachment_link.title
Qué es la física cuántica, propiedades, para qué sirve y ejemplos

# data[].attributes.attachment_link.description
La Física Cuántica o Mecánica Cuántica es la rama de la Física que estudia la materia a escalas muy pequeñas, Vamos a despejar algunas dudas.

# data[].attributes.headline
JUAN ROMÁN BAYONA AMARILLO 202316961 ARGUMENTO DE AUTORIDAD

# data[].attributes.subject
JUAN ROMÁN BAYONA AMARILLO 202316961 ARGUMENTO DE AUTORIDAD

# data[].attributes.body
-El ministro de Sanidad considera que el principal problema de la salud pública son los alimentos ultraprocesados y el tabaquismo.

# data[].attributes.body
Argumento por analogía:

La estructura de nuestro sistema solar es como la estructura de un átomo, el sol es el núcleo y los planetas que giran a su alrededor serian sus electrones.

# data[].attributes.headline
Santiago Carreño Martinez 202214496 Argumento a contrario sensu:

# data[].attributes.subject
Santiago Carreño Martinez 202214496 Argumento a contrario sensu:

# data[].attributes.body
Es obligación del estado proteger los derechos humanos, por lo que el delito de tortura por parte de un funcionario es algo a contrario sensu de tales derechos.

# data[].attributes.headline
Antonia Correa (202020916) Argumento a fortiori: a maiori ad minus. 

# data[].attributes.subject
Antonia Correa (202020916) Argumento a fortiori: a maiori ad minus. 

# data[].attributes.body
Si está permitido entrar perros a este restaurante, entonces está permitido entrar mascotas. Si está permitido entrar mascotas, entonces puedo entrar a mi mini pig.

# data[].attributes.body
Si mi papá me dice que puedo ir voy a la fiesta.
Mi papa me dejó ir.
Por eso voy a ir a la fiesta.

# data[].attributes.headline
Excel: asignación de los tipos de argumentos 

# data[].attributes.subject
Excel: asignación de los tipos de argumentos 