Difference between revisions of "Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| Line 16: | Line 16: | ||
: {{#ev:youtube|8LKRvIX3KkY|||||start=624&loop=1}} | : {{#ev:youtube|8LKRvIX3KkY|||||start=624&loop=1}} | ||
| − | == Validade de sequentes em | + | == Validade de sequentes em interpretações particulares == |
=== <math> w \approx x \mathsf{f} (y \mathsf{g} z) </math> ▷<math>^{\mathfrak{I}} w \approx (x \mathsf{f} y) \mathsf{g} (x \mathsf{f} z) </math> === | === <math> w \approx x \mathsf{f} (y \mathsf{g} z) </math> ▷<math>^{\mathfrak{I}} w \approx (x \mathsf{f} y) \mathsf{g} (x \mathsf{f} z) </math> === | ||
