関連ワード:  first order logic quantifiers    illustrate first order logic quantifiers with examples    first order logic universal quantifier    first order logic inference rules for quantifiers    quantifiers in first order logic in ai    first order predicate logic with generalized quantifiers    explain quantifiers in first order logic    define quantifiers in first order logic    explain quantifiers in first order logic in ai    what is a term in first order logic