一階論理

一階論理の質問 (1)