17/12/30 19:51:12.10 t8/AOqf4.net
述語R(x)を次のように定義します
R(x)=P(x)→Q(x)
R(x)の議論世界は定義可能ですか？
17/12/30 19:51:12.10 t8/AOqf4.net
述語R(x)を次のように定義します
R(x)=P(x)→Q(x)
R(x)の議論世界は定義可能ですか？
17/12/30 19:51:12.10 t8/AOqf4.net
述語R(x)を次のように定義します
R(x)=P(x)→Q(x)
R(x)の議論世界は定義可能ですか？