背理法っておかしくないですか？

>>105
じゃあ簡単に図説すると
P であって Q でないものは存在しないとは
こういう場合もあるから

http://www.uploda.org/file/uporg108694.jpg

P ならば Q であるとは限らない
という解釈でよろしいでしょうか？