11/01/29 19:05:15
>>227 仮定無しでは成立しません。
Γ を空, A を px, B を ∀x px とする。条件がないとき, ⇒ の左側は正しい
が, 右側は正しくない。
11/01/29 19:05:15
>>227 仮定無しでは成立しません。
Γ を空, A を px, B を ∀x px とする。条件がないとき, ⇒ の左側は正しい
が, 右側は正しくない。
11/01/29 19:05:15
>>227 仮定無しでは成立しません。
Γ を空, A を px, B を ∀x px とする。条件がないとき, ⇒ の左側は正しい
が, 右側は正しくない。