525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 23:16, 2 September 2020
, 23:16, 2 September 2020no edit summary
[VIDEO]
* Consequência semântica para a Lógica Proposicional Clássica
[VIDEO]
* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement")
[VIDEO]
* [[Poder expressivo dos operadores clássicos]]
* [[Acarretamento]] (consequência semântica, entailment)
* [[Correção e completudepara a Lógica Proposicional Clássica]]
* [[Exercícios de semântica formal para a Lógica Proposicional Clássica]]