525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 21:32, 5 October 2020
, 21:32, 5 October 2020→Noção de acarretamento associada
--><p>{{#ev:youtube|RTlRlxsRzjA}}</p>
== Noção de Satisfatibilidade, validade, verdade, acarretamento associada ==
* '''Satisfatibilidade''' vs '''validade''', e '''verdade'''/'''falsidade''' em uma interpretação<!--