About: dbkwik:resource/OXUQw2GyRFkh6mh65zJs5A==

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbkwik:resource/OXUQw2GyRFkh6mh65zJs5A== Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Attributes	Values
rdfs:label	Reductio ad absurdum
rdfs:comment	Reductio ad absurdum, expresión latina que significa literalmente reducción al absurdo, es un método lógico de demostración. Es usado para demostrar la validez de proposiciones categóricas; se parte por suponer como hipotética la negación o falsedad de la tesis de la proposición a demostrar, y mediante una concatenación de inferencias lógicas válidas se pretende derivar una contradicción lógica, un absurdo; de derivarse una contradicción, se concluye que la hipótesis de partida (la negación de la original) ha de ser falsa, y la original es verdadera y la proposición o argumento es válido.
dbkwik:es.pseudoci...iPageUsesTemplate	dbkwik:resource/i0PGo7n9ahQF6vjoZvds8Q== dbkwik:resource/p2ZvlUadZmyo8Ot_V2TgLQ==
abstract	Reductio ad absurdum, expresión latina que significa literalmente reducción al absurdo, es un método lógico de demostración. Es usado para demostrar la validez de proposiciones categóricas; se parte por suponer como hipotética la negación o falsedad de la tesis de la proposición a demostrar, y mediante una concatenación de inferencias lógicas válidas se pretende derivar una contradicción lógica, un absurdo; de derivarse una contradicción, se concluye que la hipótesis de partida (la negación de la original) ha de ser falsa, y la original es verdadera y la proposición o argumento es válido. En la reducción al absurdo examinamos las consecuencias de la afirmación del adversario. Si fuera cierto lo que se afirma, serían ciertas sus consecuencias. Como éstas son falsas (o estúpidas, o inconcebibles, o indeseables, o contradictorias con lo que se afirma o con lo que se sabe), se concluye que no es verdad el supuesto (porque sostenerlo conduce al absurdo), y que la verdad es lo contrario, lo que se trataba de demostrar.

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software