525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 19:31, 5 October 2020
, 19:31, 5 October 2020no edit summary
== Noção de acarretamento associada ==
* Versões alternativas de '''consequência Satisfatibilidade''' vs '''validade''', e '''verdade'''/'''falsidade''' em uma interpretação<!----><p>[VIDEO]</p>* '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica<!--
--><p>[VIDEO]</p>