Metadata
Author: ParaCrawl Corpus
Data
English[en]
Given a formula in a first-order language, a variable and a term that is substitutable for in, the formula is universally valid.
Spanish[es]
Para una fórmula en un lenguaje de primer orden, una variable y un término sustituible por en, la fórmula es válida universalmente.