Directory
References
Discover
irreflexive relation
logic
Learn about this topic in these articles:
classification of dyadic relations
- In formal logic: Classification of dyadic relations
…ϕ is said to be irreflexive (example: “is greater than”). If ϕ is neither reflexive nor irreflexive—i.e., if (∃x)ϕxx · (∃x)∼ϕxx —then ϕ is said to be nonreflexive (example: “admires”).
Read More