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.4. predicate variable ¶
5.2. predicate_register ¶
6. qualifying predicate ¶