Metadata
Author: WikiMatrix
Data
Catalan[ca]
A la lògica formal, les demostracions són seqüències de fórmules ben formades amb certes propietats, on la darrera fórmula de la seqüència és allò que es demostra.
Spanish[es]
En la Teoría de la demostración, las demostraciones son secuencias de fórmulas bien formadas con ciertas propiedades, donde la última fórmula de la secuencia es aquello que se demuestra.