Escolar Documentos
Profissional Documentos
Cultura Documentos
(^I) ^
(^E) ^ (vI) . v ^
(vE) v (E) , ()
~~ ^ ^ . v v ^
(E) , (MP) Modus Ponens - de um condicional e de seu antecedente, podemos inferir o seu conseqente. () (~E) Eliminao da Negao - de uma frmula da forma ~~, podemos inferir . ~~ (^I)Introducao de conjuno - de quaisquer frmulas e . podemos inferir a conjuno e . ^ (^E) de uma conjuno podemos inferir qualquer um dos seus componentes. ^ ^ (vI) Introduo da Disjuno - de uma frmula , podemos inferir a disjuno de com qualquer frmula . . v (vE) Eliminao de disjuno - De quaisquer frmulas da forma v , , , podemos inferir . v (E) Eliminao do Bicondicional:de qualquer frmula da forma , podemos inferir as frmulas ou . , () Introduo do Bicondicional : de quaisquer frmulas da forma e , podemos inferir .
~~
. v
Regras de Inferncia
Como gerar na Lgica Proposicional formas vlidas de argumento? Regras de Inferncia permitem gerar formas de argumentos numa srie de etapas simples e precisas de raciocnio chamada prova ou derivao. Cada etapa numa derivao uma instncia de uma das regras de inferncia. Existem 10 regras bsicas: uma para incluir e outra para excluir cada um dos operadores lgicos.
1. 2. 3. 4. 5.
C SA CS S A
P P P 1 e 3 MP 2 e 4 MP
Derivao
Uma derivao (prova) de uma forma de argumento uma seqncia de enunciados <e1, e2, .... en>, onde:
en a concluso Cada e1, e2, .... en pode ser: Uma premissa ou O resultado da aplicao de uma regra enunciados anteriores.
Derivao
No exemplo, temos que a seqncia de frmulas (que representam os enunciados). 1, 2, ....5 uma derivao ou uma prova da forma indicada.
A regra utilizada MP chama-se Modus Ponens (modo afirmativo).
~~
Ex:{P(Q^R), P} |-- P ^ Q
1. 2. 3. 4. 5.
P P 1 e 2 MP 3 ^E 2 e 4 ^I
Ex:{(P^Q)(R^S),~~P, Q} |-- S
1. 2. 3. 4. 5. 6. 7.
P P P 2 3 1 6
~E e 4 ^I e 5 MP ^E
. v
1. 2. 3. 4.
P 1 vI 1 vI 2 e 3 ^I
1. 2. 3. 4. 5.
P ~~(PQ) PQ Q (R^S)vQ
P P 2 e ~E 1 e 3 MP 4 e vI
Exemplo:
Hoje Sbado ou Domingo. Se hoje Sbado ento um fim de semana. Se hoje Domingo ento um fim de semana. Portanto, hoje um fim de semana.
Exemplos:
Hoje um fim de semana se e somente se hoje Sbado ou Domingo. Portanto, hoje um fim de semana, desde que hoje Sbado. {F(SvD), S} |-- F
{F(SvD), S} |-- F
1. 2. 3. 4. 5.
P P 2 vI 1 E 2 e 4 MP
1. 2. 3. 4.
PQ (PQ)(QP) QP PQ
P P 1 e 2 MP 1 e 3 I