24/03/26 16:33:51.78 6Gb4+y1g.net
>>97
命題論理におけるP→Qの扱いはPからQが導かれたという流れを抽象化したものだよ
→EがModus Ponensで→Iがそれ
24/03/26 16:33:51.78 6Gb4+y1g.net
>>97
命題論理におけるP→Qの扱いはPからQが導かれたという流れを抽象化したものだよ
→EがModus Ponensで→Iがそれ
24/03/26 16:33:51.78 6Gb4+y1g.net
>>97
命題論理におけるP→Qの扱いはPからQが導かれたという流れを抽象化したものだよ
→EがModus Ponensで→Iがそれ