Regras de Deduções Naturais no Estilo de Fitch

1 Regras de Deducao Natural no Estilo de Fitch 1 ϕ premissa 2 ψ premissa m α premissa a Premissas m ϕ n ϕ copie m b Regra Copie m ϕ n ψ p ϕ ψ i mn m ψ n ϕ p ϕ ψ i mn c Conjuncao introducao i m ϕ ψ p ϕ e m m ϕ ψ p ψ e m d Conjuncao eliminacao e m n ϕ hipotese ψ n 1 ϕ ψ i mn e Implicacao introducao i m ϕ ψ n ϕ p ψ e m n m ϕ n ϕ ψ p ψ e m n f Implicacao eliminacao e m ϕ p ϕ ψ i m m ψ p ϕ ψ i m g Disjuncao introducao i m ϕ ψ m1 n ϕ hipotese α n1 p ψ hipotese α p1 α e m m1n n1p h Disjuncao eliminacao e m n ϕ hipotese n 1 ϕ i mn i Negacao introducao i m ϕ n ϕ p e mn m ϕ n ϕ p e mn j Negacao eliminacao e m n ψ e m k Contradicao eliminacao e m n ϕ hipotese n1 ϕ raa mn l Reducao ao Absurdo raa m xφx p φxx0 e m a Para Todo eliminacao e m n x0 φx0 n1 xφxx0 i mn b Para Todo introducao i m φx0 p xφx i m a Existencial introducao i m xφx n p x0 φxx0 hipotese α p 1 α e m np b Existencial eliminacao e 1 NADIA Simbologia Sımbolo LaTeX lnot land lor rightarrow bot NADIA Sımbolo x x LaTeX forall x exists x NADIA Ax Ex Sımbolo premissa hipotese caixa LaTeX premissa hipotese caixa NADIA pre hip Page 2