Escolar Documentos
Profissional Documentos
Cultura Documentos
Eliminação da negação
Introdução do condicional
Modus tollens
Introdução da conjunção
Eliminação da conjunção
Introdução da disjunção
Eliminação da disjunção
Silogismo disjuntivo
Anexo:Lista de regras de inferência 3
Introdução do bicondicional
Eliminação do bicondicional
Introdução do universal
Eliminação do universal
Introdução do existencial
Eliminação do existencial
Repetição (R)
1. Premissa
2. 1 DN
3. 2 DN
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
1. Premissa
2. Hipótese
3. 1,2 CTR
4. 2,3
RPC
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
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
Licença
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/