111
edits
Changes
Jump to navigation
Jump to search
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 10:43, 17 October 2020
, 10:43, 17 October 2020no edit summary
=== Regras para o símbolo de igualdade ===
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
=== <math>\Gamma \vdash (\forall x)\varphi / \Gamma \vdash \varphi[x \mapsto t]</math> ===
: {{#ev:youtube|zRZmfBlAiv0|||||start=490&loop=1}}
== Para reflexão ==
