Esquemas de demonstração para proposições de álgebra linear com valor lógico verdade. RELIME [Internet]. 2020 Mar. 20 [cited 2025 Dec. 13];23(1). Available from: https://www.relime.org/index.php/relime/article/view/42