dyadic predicate

logic
Also known as: two-place predicate

Learn about this topic in these articles:

predicate calculus

  • Alfred North Whitehead
    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