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