一次論理
【いちじろんり】
【ichijironri】
一阶逻辑