1001コメント525KB

数学基礎論・数理論理学　その13

■ このスレッドは過去ログ倉庫に格納されています

0798１３２人目の素数さん

2012/09/18(火) 23:30:41.02

>述語論理の式なので恒真じゃない。
？

■ このスレッドは過去ログ倉庫に格納されています