III. Lógica Proposicional - 2

11 Novembro 2019, 18:00 • António José Teiga Zilhão

Derivação de substituibilidades na álgebra das proposições.