111
edits
Changes
Jump to navigation
Jump to search
#====<math>\varphi \land \psi \vdash \psi \land \varphi</math>====<!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=527&loop=1}}</p>
Exercícios de Dedução Natural (view source)
Revision as of 14:21, 15 September 2020
, 14:21, 15 September 2020→Dedução Natural para a Lógica Proposicional Intuicionista
==Dedução Natural para a Lógica Proposicional Intuicionista==
=== Derivabilidade de sequentes ===
#<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math><!--
--><p>{{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}</p>
