Changes

Jump to navigation Jump to search
m
: {{#ev:youtube|8LKRvIX3KkY|||||start=624&loop=1}}
== Validade de sequentes em uma interpretação fixa 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> ===

Navigation menu