一階述語論理

一階述語論理＝明大論理＋「量化」