2 search results - page 1 / 1 » Reductio ad Absurdum: Planning Proofs by Contradiction |
84
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...