Changes

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

114 bytes removed , 17:59, 7 October 2020

====<math>(\alpha \lor \beta) \to \gamma \vdash (\alpha \to \gamma) \land (\beta \to \gamma)</math>====

: {{#ev:youtube|yUejpYb2NgI|||||start=850}}

~~====<math>\alpha \lor \beta \not\vdash \alpha \land \beta</math>====~~

~~: {{#ev:youtube|yUejpYb2NgI|||||start=1231}}~~

====<math>\alpha \vdash \neg\neg\alpha</math>====

: {{#ev:youtube|-Exorelokdo|||||start=463}}

111

edits