0098132人目の素数さん垢版 | 大砲2024/03/26(火) 16:33:51.78ID:6Gb4+y1g >>97 命題論理におけるP→Qの扱いはPからQが導かれたという流れを抽象化したものだよ →EがModus Ponensで→Iがそれ