4.1. predicate calculus ¶
predicate_calculus =,predicate_calculus =,predicate_calculus . predicate_calculus
predicate calculus
4.1.1. first-order predicate calculus ¶
first-order_predicate_calculus =,first-order_predicate_calculus =,first-order_predicate_calculus . first-order_predicate_calculus
first-order predicate calculus
"first-order predicate calculus"
4.1.2. second-order predicate calculus ¶
second-order predicate calculus
second-order_predicate_calculus =,second-order_predicate_calculus =,second-order_predicate_calculus . second-order_predicate_calculus
"second-order predicate calculus"
4.2. predicate logic ¶
predicate logic
predicate_logic =,predicate_logic =,predicate_logic . predicate_logic
"predicate logic"
predicate+logic
4.2.1. predicate functor logic (PFL) ¶
predicate functor logic (PFL)
predicate_functor_logic =,predicate_functor_logic . predicate_functor_logic |=,PFL PFL
4.4. predicate variable ¶
5.2. predicate_register ¶
6. qualifying predicate ¶