Fuzzy logic
命題論理から一階述語論理が生成されるように、上述のファジィ論理に全称量化子と存在量化子を追加すると述語ファジィ論理となる。量化された論理式のファジィ真理値について、全称量化では下限、存在量化では上限を意味する。