Damas Beites, P.; Rosas Pereira Peixoto da Costa, M. C.; Frazão Rodrigues Branco, M. L. ESQUEMAS DE DEMONSTRAÇÃO PARA PROPOSIÇÕES DE ÁLGEBRA LINEAR COM VALOR LÓGICO VERDADE. RELIME 2020, 23.