2: Razonamiento y Prueba
( \newcommand{\kernel}{\mathrm{null}\,}\)
- 2.12: Declaraciones Conversadas, Inversas y Contrapositivas
- Declaraciones condicionales extraídas de una declaración if-then.
Miniaturas: Uno de los fragmentos más antiguos que sobreviven de los Elementos de Euclides. (Dominio público; Euclides vía Wikipedia)