17/12/05 17:06:19.22 pN+3SAFY.net
>>58
何言ってるか分からないんですが、
P,Qが存在して、
|=F(P,Q)⊃g(P,Q) かつ |=F(P,Q) かつ |=￢g(P,Q)
が成り立つ
と言いたいのですか？
17/12/05 17:06:19.22 pN+3SAFY.net
>>58
何言ってるか分からないんですが、
P,Qが存在して、
|=F(P,Q)⊃g(P,Q) かつ |=F(P,Q) かつ |=￢g(P,Q)
が成り立つ
と言いたいのですか？
17/12/05 17:06:19.22 pN+3SAFY.net
>>58
何言ってるか分からないんですが、
P,Qが存在して、
|=F(P,Q)⊃g(P,Q) かつ |=F(P,Q) かつ |=￢g(P,Q)
が成り立つ
と言いたいのですか？