Esquemas De demonstração Para proposições De álgebra Linear Com Valor lógico Verdade. RELIME 2020, 23 (1). https://doi.org/10.12802/relime.20.2312.