Satisfaction/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Satisfaction

"Father" Relation

Consider the open statement:

$x$ was the father of $y$.

This is satisfied by the ordered pair:

$\tuple {\text {Laertes}, \text {Odysseus} }$

because Laertes was the father of Odysseus.

Retrieved from "https://proofwiki.org/w/index.php?title=Satisfaction/Examples&oldid=718144"