Changes

Exercícios de Dedução Natural (view source)

37 bytes added , 17:31, 13 September 2020

--><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.

# Comutatividade de <math>\land</math>: <math>\varphi \land \psi \vdash \psi \land \varphi</math><!--

--><p>{{#ev:youtube|moh07B8dv2k}}</p>

111

edits