"logical consequence relation" -
related articles and key terms
Related terms:
Wikipedia sources:
First-order logic
Context for words:
logical
consequence
relation