N-Validity
A formula A of a first order language is n-valid iff it is true for every interpretation of that has a domain of exactly n members.
Read more about this topic: Validity
Main Site Subjects
Related Subjects
Related Phrases
Related Words