525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 14:16, 6 October 2020
, 14:16, 6 October 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; e noção de '''satisfação'''para a Lógica Proposicional Clássica; e ''classe de modelosque satisfazem'' de uma dada fórmula, ou conjunto de fórmulas<!--
--><p>{{#ev:youtube|BszIcAW6ftQ}}</p>
* O algoritmo das '''tabelas de verdade'''<!--
== Para reflexão ==
* Você seria capaz de definir ''todas'' as funções auxiliares que sejam porventuras porventura necessárias à implementação do algoritmo das tabelas de verdade?
* Por que podemos dizer, em geral, que cada linha de uma tabela de verdade representa uma ''classe''de valorações?
* Como comprovar que a relação de acarretamento associada à semântica da Lógica Clássica é ''invariante por substituição''?