一階述語論理 一階述語論理 1階述語論理 いっかいじゅつごろんり いっ'かい･<じゅつ'ご･ろん'り> 8

Logik Prädikatenlogik erster Stufe Prädikatenlogik der ersten Stufe