525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 19:15, 28 October 2020
, 19:15, 28 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''?
* Uma questão terminológica: ''booleano'' ou ''booliano''? [https://tribunadoceara.com.br/blogs/orlando-nunes/gramatica-2/shakespeareano-ou-shakespeariano/].
* Outra questão terminológica: aparentemente o termo ''satisfatível'' [https://www.flip.pt/Duvidas-Linguisticas/Duvida-Linguistica/DID/1694 ainda não foi dicionarizado]. Vamos ter que esperar um pouco mais, mas não há que ficar parado por conta disso!
== Veja também ==