525
edits
Changes
Jump to navigation
Jump to search
* [[Exercícios de semântica formal para a Lógica Proposicional Clássica]]
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 23:34, 22 September 2020
, 23:34, 22 September 2020vídeo adicionado
* '''Interpretações boolianas''' para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]{{#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>[VIDEO]{{#ev:youtube|BszIcAW6ftQ}</p>
* O algoritmo das '''tabelas de verdade'''<!--
--><p>[VIDEO]{{#ev:youtube|k55iZI4by5Q}</p>
== Noção de acarretamento associada ==
== Para reflexão ==
* Você seria capaz de definir ''todas'' as funções auxiliares que sejam porventuras necessárias à implementação do algoritmo das tabelas de verdade?* Como comprovar que a relação de acarretamento associada à semântica da Lógica Clássica é ''invariante por substituição''?
== Veja também ==
* [[Poder expressivo dos operadores clássicos]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Exercícios de semântica formal para a Lógica Proposicional Clássica]]
* [[Correção e completude para a Lógica Proposicional Clássica]]
== Links externos ==
* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]
