Converses: Difference between revisions
Jump to navigation
Jump to search
Volker gast (talk | contribs) Created page with 'Two predicates are '''converses''' iff they describe the same relation from opposing perspectives. :For any pair of predicates ''P'', ''Q''<br>''P'' and ''Q'' are converses iff ...' |
Marked as {{ref}} and removed a typo |
||
| Line 1: | Line 1: | ||
Two predicates are '''converses''' | Two predicates are '''converses''' if they describe the same relation from opposing perspectives. | ||
:For any pair of predicates ''P'', ''Q''<br>''P'' and ''Q'' are converses iff | :For any pair of predicates ''P'', ''Q''<br>''P'' and ''Q'' are converses iff | ||
| Line 13: | Line 13: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
{{dc}} | {{dc}}{{ref}} | ||
Latest revision as of 16:44, 27 June 2014
Two predicates are converses if they describe the same relation from opposing perspectives.
- For any pair of predicates P, Q
P and Q are converses iff- for all x, y,
- P(x,y) ↔ Q(y,x)
- for all x, y,
Examples
- 'above' vs. 'below'
- 'in front of' vs. 'behind'
- 'before' vs. 'after'
- 'parent of' vs. 'child of'
- 'huest' vs. 'host'
| REF | This article has no reference(s) or source(s). Please remove this block only when the problem is solved. |