Difference between revisions of "Acarretamento"

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
Line 1: Line 1:
 
* Relação de '''acarretamento''' (ou '''consequência semântica''', ou ''entailment'') associada a uma propriedade unária, e suas meta-propriedades fundamentais<!--
 
* 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>
 
--><p>{{#ev:youtube|F66kTGCeB-c}}</p>
* Acarretamento ''associado a uma dada semântica proposicional''<!--
+
* Acarretamento '''associado a uma dada semântica proposicional'''<!--
 
--><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>
 
--><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>
* Acarretamentos ''associados a uma dada semântica de primeira ordem''<!--
+
* Acarretamentos '''associados a uma dada semântica de primeira ordem'''<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
  

Revision as of 14:05, 6 October 2020

  • Relação de acarretamento (ou consequência semântica, ou entailment) associada a uma propriedade unária, e suas meta-propriedades fundamentais

  • Acarretamento associado a uma dada semântica proposicional

  • Acarretamentos associados a uma dada semântica de primeira ordem

    [VIDEO]

Para reflexão

Veja também

Links externos