Metadata
Author: WikiMatrix
Data
English[en]
Just as in first-order logic, second-order logic may include non-logical symbols in a particular second-order language.
Spanish[es]
De la misma manera en la lógica de primer orden, la lógica de segundo orden puede contener signos no-lógicos para construir un lenguaje de segundo orden específico.