Science  People  Locations  Timeline
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 »

Non User