165 名前：名無しさん＠お腹いっぱい。[sage] 投稿日：2011/07/08(金) 14:10:19.05 ID:J5C/wtQV0 [3/5]
>>160
大介さん、二人の関係が正しい事を私が論理的に証明して見せましょう！
条件：
１．もし親の子供が男の場合、それは息子とする。
２．もし親の子供が女の場合、それは娘とする。
３．息子の妻は親にとって娘とする。
４．娘の夫は親にとって息子とする。
５．妻と夫の関係を夫婦と呼称する。
状態：
京介は大介の子供であり、男である。
桐乃は大介の子供であり、女である。
問：
以上より、京介と桐乃の関係が夫婦であると証明しなさい。
解答：
式１．条件１および状態１より、京介は息子である。
式２．条件２および状態２より、桐乃は娘である。
仮定：
１．もし京介の妻が桐乃の場合、条件３より桐乃は大介の娘である。
式２よりこれは正である。
２．もし桐乃の夫が京介の場合、条件４より京介は大介の息子である。
式１よりこれは正である。
仮定１，２が共に正のため、京介の妻は桐乃であり、桐乃の夫は京介である。
条件５より京介と桐乃の関係は夫婦である。
Q.E.D.
-------------
最終更新：2011年07月10日 02:24
