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'''<!--
* '''Consequência semântica''' para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]{{#ev:youtube|sS-teSnboTU}}</p>
* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), pela via semântica<!--
--><p>{{#ev:youtube|HG0uRcIw11U}}</p>
== 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 ==
* [[Semântica formal para a lógica proposicional]]
* [[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]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]