Predicate/Examples/Favourite Music

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

  • 2008: David Joyner: Adventures in Group Theory (2nd ed.) ... (previous) ... (next): Chapter $1$: Elementary, my dear Watson: $\S 1.1.1$: 'You talking to me?': Example $1.1.3$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.