Changes

[AGUARDE#<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>#<math>\alpha \vdash \alpha \land \alpha</math>#<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math>

-->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.<!---->#<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>#<math>\alpha \vdash \alpha \land \alpha</math>#<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math>