Demostración Formal: Suma y Silogismo Aristotélico Operaciones Cognitivas Fundamentales 1. SUMAR (Demostrar que A + B = C) Ejemplo concreto: 2 + 2 = 4 Queremos demostrar formalmente que: A (el conjunto/propiedad «2») unido con B (otro conjunto/propiedad «2») es igual a C (el conjunto/propiedad «4») Paso Demostración Justificación 1 A ⊆ C Premisa inicial 2 B ⊆ C Premisa…