0272132人目の素数さん垢版 | 大砲2024/05/14(火) 15:52:14.24ID:3zudoayv >>270 Pがトートロジー ⇔ ¬Pから矛盾が導ける は認めないの? 認めないとして反例示せる?