Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Home > First-order predicate
A first-order predicate is a predicate that takes only individual(s) as argument(s). Compare second-order predicate and higher-order predicate.See also: First-order predicate calculus
Read more »