Esquemas de demonstração para proposições de álgebra linear com valor lógico verdade. RELIME. 2020;23(1). doi:10.12802/relime.20.2312