Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
Tag: 2017 source edit |
||
Line 8: | Line 8: | ||
== Veja também == | == Veja também == | ||
− | * [[Acarretamento]] (consequência semântica, entailment) | + | * [[Acarretamento]] (consequência semântica, EN: entailment) |
== Links externos == | == Links externos == | ||
* | * |