Semântica formal para a Lógica Proposicional Clássica
Revision as of 20:30, 30 August 2020 by Jmarcos (talk | contribs) (Created page with "* == Para reflexão == * == Veja também == * Acarretamento (consequência semântica, entailment) == Links externos == * [https://pt.wikipedia.org/wiki/%C3%81lgeb...")