- 数理論理学(数学基礎論) その12
64 :132人目の素数さん[sage]:2017/12/06(水) 07:46:18.16 ID:iPQYDDT1 - >>59
f(P,Q)⊃g(P,Q) だからと言って、f(P,Q)|=g(P,Q) とは限らないってことさ。
| - 数理論理学(数学基礎論) その12
65 :132人目の素数さん[]:2017/12/06(水) 07:49:22.17 ID:iPQYDDT1 - |=f(P,Q)⊃g(P,Q) だからと言って、f(P,Q)|=g(P,Q) とは限らないってことさ。
|
|