525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 23:35, 22 September 2020
, 23:35, 22 September 2020no edit summary
* '''Interpretações boolianas''' para a Lógica Proposicional Clássica<!--
--><p>{{#ev:youtube|wK8E792poy4}}</p>
* '''Semântica de valorações''' para a Lógica Proposicional Clássica; noção de '''satisfação'''; e ''classe de modelos'' de uma dada fórmula, ou conjunto de fórmulas<!--
--><p>{{#ev:youtube|BszIcAW6ftQ}}</p>
* O algoritmo das '''tabelas de verdade'''<!--
--><p>{{#ev:youtube|k55iZI4by5Q}}</p>
== Noção de acarretamento associada ==