Changes

Exercícios de Dedução Natural (view source)

6 bytes added , 14:21, 15 September 2020

==Dedução Natural para a Lógica Proposicional Intuicionista==

=== Derivabilidade de sequentes ===

#====<math>\varphi \land \psi \vdash \psi \land \varphi</math>====<p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=527&loop=1}}</p>

#<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math><!--

--><p>{{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}</p>

111

edits