2 search results - page 1 / 1 » Reductio ad Absurdum: Planning Proofs by Contradiction |
100
Voted
BIRTHDAY
2006
Springer
15 years 4 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 ...
78
Voted
CORR
2008
Springer
15 years 14 days 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...