111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 11:50, 14 September 2020
, 11:50, 14 September 2020→Dedução Natural para a Lógica Proposicional Intuicionista
#<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math><!--
--><p>{{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}</p>
#<math>\psi varphi \vdash \psi varphi \land \psivarphi</math><!--
--><p>{{#ev:youtube|moh07B8dv2k|||||start=583&end=636&loop=1}}</p>
#<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math><!--