Directory
References
dyadic predicate
logic
Learn about this topic in these articles:
predicate calculus
- In formal logic: The predicate calculus
…“John”) and a dyadic or two-place predicate (“is a son of”), of which they are the arguments; and the proposition is thus of the form ϕxy. Analogously, “… is between … and …” is a three-place predicate, requiring three arguments, and so on. In general, a predicate variable followed by…
Read More