Anexo:Lista de regras de inferência 1

Anexo:Lista de regras de inferência

Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir
de uma premissa, para criar um argumento. Um conjunto de regras pode ser usada para inferir qualquer conclusão
válida, se esta conclusão for completa. Entretanto nunca pode-se inferir uma conclusão inválida, se isto for
assegurado. Um completo e seguro conjunto de regras não precisa incluir cada regra da listagem à seguir, já que
muitas delas são redundantes, e podem ser provadas com o uso de outras regras.

Regras de Inferência Para Cálculo Proposicional Clássico

Regras para negações

Redução ao absurdo (ou Introdução da Negação)

Redução ao absurdo (Relacionada à lei do terceiro excluído)

Eliminação da negação

Eliminação da dupla negação

Introdução da dupla negação

Regras de inferência para condicionais

Introdução do condicional

Modus ponens (ou Eliminação do condicional)

Anexo:Lista de regras de inferência 2

Modus tollens

Regras para conjunções

Introdução da conjunção

Eliminação da conjunção

Regras para disjunções

Introdução da disjunção

Eliminação da disjunção

Silogismo disjuntivo
Anexo:Lista de regras de inferência 3

Regras para bicondicionais

Introdução do bicondicional

Eliminação do bicondicional

Regras de Inferência para Lógica Clássica de Primeira Ordem

Regras para universais

Introdução do universal

Restrição: não pode ocorrer livre em ou em qualquer hipótese vigente.

Eliminação do universal

Regras para existenciais

Introdução do existencial

A esta regra coloca-se a restrição de que deve ser substituível por em .

Eliminação do existencial

Retrição: não pode ocorrer livre em , em ou em qualquer hipótese vigente.

Anexo:Lista de regras de inferência 4

Regras de Inferência Derivadas

Por meio das regras de inferência diretas e hipotéticas podemos demonstrar vários raciocínios bastante recorrentes.
Estes raciocíonios, uma vez demonstrados, podem ser usados como regras de inferência diretas. Elas não são
necessárias, mas são bastante úteis, tornando nossas derivações muito mais sucintas.
Agora ampliaremos nossa lista de regras de inferência, além de fazer suas respectivas demonstrações.

Repetição (R)

1. Premissa

2. 1 DN

3. 2 DN

Modus Tollens (MT)

1. Premissa

2. Premissa

3. Hipótese

4. 1,3 MP

5. 2,4 C

6. 3,5
RAA

Prefixação (PRF)

1. Premissa

2. Hipótese

3. 1R

4. 2,3
RPC
Anexo:Lista de regras de inferência 5

Contraposição (CT)
Utilizaremos o Modus Tollens como regra de inferência.

1. Premissa

2. Hipótese

3. 1,2 MT

4. 2,3
RPC

Contradição (CTR)

1. Premissa

2. Premissa

3. 1E

4. 2,3 SD

Lei de Duns Scotus (DS)

1. Premissa

2. Hipótese

3. 1,2 CTR

4. 2,3
RPC

Lei de De Morgan I (DM)

Anexo:Lista de regras de inferência 6

01. Premissa

02. Hipótese

03. 2E

04. 1,3 C

05. 2,4
RAA

06. Hipótese

07. 6E

08. 1,7 C

09. 6,8
RAA

10. 5,9
C

Lei de De Morgan II (DM)

01. Premissa

02. Hipótese

03. Hipótese

04. 3E

05. 5,2 C

06. 3,5
RAA

07. 6 DN
Anexo:Lista de regras de inferência 7

08. Hipótese

09. 8E

10. 9,2 C

11. 8,10
RAA

12. 11 DN

13. 7,12 C

14. 13,1 C

15. 2,14
RAA

16. 15 DN

Legendas
DN - Dupla Negação
SD - Sislogismo Disjuntivo
C - Conjunção
S - Separação
E - Expansão
MP - Modus Ponens
BC - Bicondicionais para bicondicionais
RAA - Redução ao absurdo
RPC - Regra de prova condicional

Ver também
• Regra de inferencia
• Axioma
• Axioma esquemático

Ligações externas
• http://pucrs.campus2.br/~annes/inflog_aula6.html [1]
• http://www.mathpath.org/proof/proof.inference.htm [2]

Referências
[1] http:/ / pucrs. campus2. br/ ~annes/ inflog_aula6. html
[2] http:/ / www. mathpath. org/ proof/ proof. inference. htm
Fontes e editores do artigo 8

Fontes e editores do artigo

Anexo:Lista de regras de inferência  Source: http://pt.wikipedia.org/w/index.php?oldid=15919858  Contributors: Lijealso, Master, OS2Warp, Randellschneider, Reynaldo, Thiagomedeiros.rn,
2 edições anónimas

Licença
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/