Difference between revisions of "Converses"
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. |