525
edits
Changes
Jump to navigation
Jump to search
m
Exercícios de Dedução Natural (view source)
Revision as of 16:31, 26 September 2020
, 16:31, 26 September 2020→Derivabilidade de regras
===Derivabilidade de regras===
====Raciocínios Raciocínio por casos e : <math>\Gamma_1, \neg\varphi\vdash\psi; \Gamma_2, \varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \psi</math>==== ====Raciocínio por redução ao absurdo: <math>\Gamma_1, \neg\varphi\vdash\neg\psi; \Gamma_2, \neg\varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \varphi</math>====<!---->Confira [[Estratégias de demonstração]].
==Para reflexão==
