22/06/05 02:19:07.04 72b1xwJa.net
>>296
>背理法って、設定した仮定から帰結された結論が誤っていれば、
>設定した仮定が誤っている、という論法のようだけど
それは違くて
(P→人)→￢P
は背理法でなくてただの否定の定義（￢P≡P→人）
背理法は
(￢P→人)→P
で二重否定の除去と同値
>誤った仮定から正しい結論を導くことも可能ではないでしょうか？
言いたいことが分からないので
論理式で書いて欲しい
22/06/05 02:19:07.04 72b1xwJa.net
>>296
>背理法って、設定した仮定から帰結された結論が誤っていれば、
>設定した仮定が誤っている、という論法のようだけど
それは違くて
(P→人)→￢P
は背理法でなくてただの否定の定義（￢P≡P→人）
背理法は
(￢P→人)→P
で二重否定の除去と同値
>誤った仮定から正しい結論を導くことも可能ではないでしょうか？
言いたいことが分からないので
論理式で書いて欲しい