525
edits
Changes
no edit summary
* Relação de '''acarretamento''' (ou '''consequência semântica''', ou ''entailment'') associada a uma propriedade unária, e suas meta-propriedades fundamentais<!----><p>{{#ev:youtube|F66kTGCeB-c}}</p>* Acarretamento '''associado a uma semântica proposicional'''<!----><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>* Acarretamentos '''associados a uma semântica de primeira ordem'''<!----><p>{{#ev:youtube|8LKRvIX3KkY}}</p><!----><p>Também: classes globais e locais (relativas a uma estrutura de interpretação fixa) de modelos que satisfazem uma fórmula; ''validade global'' e ''validade local'' de um sequente.</p>
== Para reflexão ==
== Veja também ==
* [[Relação de consequência]]* [[Semântica formal para a lógica proposicional]]* [[Semântica formal para a lógica de primeira ordem]]* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*