| rdfs:comment
| - Modus tollendo tollens (del latín, modo que negando niega), también llamado razonamiento indirecto. En lógica, es el nombre formal para la prueba indirecta o inferencia contrapositiva. Usualmente se lo abrevia como "MTT". La tautología Modus Tollens toma las siguientes formas de ley lógica: Si P, entonces Q Q es falso Entonces P es falso. En una notación diferente, utilizando operadores lógicos: O también: ∴ donde representa la aserción logica. Un posible ejemplo es: Si llueve voy al cine No fui al cine Por lo tanto, no llovió Expresado según la Teoría de conjuntos: ∴
|
| abstract
| - Modus tollendo tollens (del latín, modo que negando niega), también llamado razonamiento indirecto. En lógica, es el nombre formal para la prueba indirecta o inferencia contrapositiva. Usualmente se lo abrevia como "MTT". La tautología Modus Tollens toma las siguientes formas de ley lógica: Si P, entonces Q Q es falso Entonces P es falso. En una notación diferente, utilizando operadores lógicos: O también: ∴ donde representa la aserción logica. Un posible ejemplo es: Si llueve voy al cine No fui al cine Por lo tanto, no llovió Expresado según la Teoría de conjuntos: ∴ Lo anterior se lee: "P es un subconjunto de Q. x no pertenece a Q. Por lo tanto, x no pertenece a P." El argumento tiene dos premisas. La primera es el condicional "P implica Q". La segunda premisa indica que Q es falsa. De estas dos premisas se deduce la conclusión de que P debe ser falsa. Si P fuera verdadera, entonces Q lo sería, por la primera premisa, pero no lo es, por la segunda. El silogismo Modus tollendo tollens llegó a ser algo famoso cuando fue utilizado por Karl Popper en su respuesta al problema de inducción, Falsacionismo.
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)