21/06/22 10:58:52.05 V0RrpQTA.net
変換手順の定義ぐらい教えて欲しいけど？
∃0P(0)を公理
Q(0)を公理としたい場合は
∃0(P(0)→Q(0))
で良いんじゃないの？
21/06/22 10:58:52.05 V0RrpQTA.net
変換手順の定義ぐらい教えて欲しいけど？
∃0P(0)を公理
Q(0)を公理としたい場合は
∃0(P(0)→Q(0))
で良いんじゃないの？
21/06/22 10:58:52.05 V0RrpQTA.net
変換手順の定義ぐらい教えて欲しいけど？
∃0P(0)を公理
Q(0)を公理としたい場合は
∃0(P(0)→Q(0))
で良いんじゃないの？