111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 17:46, 13 September 2020
, 17:46, 13 September 2020→Dedução Natural para a Lógica Proposicional Clássica
-->
#Comutatividade de <math>\land</math>: <math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=527}}</p>#<math>\land</math>: <math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math>test
==Veja também==