Extensional logic

Redirect to:

• Intensional logic#Overview