111
edits
Changes
Jump to navigation
Jump to search
Exercícios de Dedução Natural (view source)
Revision as of 11:49, 14 September 2020
, 11:49, 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>\alpha psi \vdash \alpha psi \land \alphapsi</math><!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=583&end=636&loop=1}}</p>#<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math><!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=637}}</p>
==Dedução Natural para a Lógica Proposicional Clássica==
