2 search results - page 1 / 1 » Reductio ad Absurdum: Planning Proofs by Contradiction |
BIRTHDAY
2006
Springer
13 years 8 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
13 years 4 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...