525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 21:02, 3 September 2020
, 21:02, 3 September 2020no edit summary
== Interpretações ==
* Interpretações boolianas para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]</p>
* O algoritmo das tabelas de verdade<!--
--><p>[VIDEO]</p>
== Noção de acarretamento associada ==
* Consequência semântica para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]</p>