Predicate/Examples/Favourite Music

From ProofWiki
Jump to navigation Jump to search

Examples of Predicates

The string Prime.mover is a constant.

The statement:

$x$ is one of Prime.mover's favourite pieces of music

is a predicate which involves a variable and a constant.


Sources