Metadata
Author: WikiMatrix
Data
English[en]
Then sequents signify conditional theorems in a first-order language rather than conditional tautologies.
Spanish[es]
Entonces los secuentes son teoremas condicionales en un lenguaje de primer orden, en vez de tautologías condicionales.