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.
|
|
||
|
||
| Copyright 2004. All rights reserved. | ||
|
|
||
First-order predicateA first-order predicate is a predicate that takes only individual(s) as argument(s). Compare second-order predicate and higher-order predicate.
|
||
| Copyright 2004. All rights reserved. | ||
