1

Regras de Inferência - Regras Básicas

1. Modus Ponens (MP): De um condicional e seu antecedente podemos
inferir seu conseqüente: A, A −→ B ` B.

Exemplos:

• Se aquele animal for um gato, então aquele animal é preguiçoso.

Aquele animal é um gato.
Logo, aquele animal é preguiçoso.
• Se Maria ou Juliana vier, então a festa será alegre e divertida.
Maria ou Juliana virão.
Logo, a festa será alegre e divertida.

Ex.: P, P −→ Q, Q −→ R ` R
Prova:
1 P P
2 P−→ Q P
3 Q−→ R P
4 Q 1,2 MP
5 R 3,4 MP

2. Eliminação da Negação (¬E): De uma fbf ¬¬A, podemos inferir A.

Exemplo:

• Não é o caso de que o lixo não está vazio.

Logo, o lixo está vazio.

Ex.: ¬P −→ ¬¬Q, ¬¬¬P ` Q

Prova:
1 ¬P −→ ¬¬Q P
2 ¬¬¬ P P
3 ¬P 2¬E
4 ¬¬ Q 3,1 MP
5 Q 3,4 ¬ E
2

3. Introdução da Conjunção (∧I): De quaisquer fbfs A e B, podemos in-

ferir A ∧ B.

Exemplo:

• Semana que vem tem feriado.

Quinta não terá aula.
Logo, Semana que vem tem feriado e quinta não terá aula.

Ex.: P, Q ` P ∧ Q
Prova:
1 P P
2 Q P
3 P ∧Q 1,2 ∧I

4. Eliminação da Conjunção (∧E): De uma conjunção podemos inferir

qualquer uma de suas sentenças.

Exemplo:

• João e Mário jogarão futebol no sábado.

Logo, Mário jogará futebol no sábado.

Ex.: P −→ (Q ∧ R), P ` P ∧ Q
Prova:
1 P −→ (Q ∧ R) P
2 P P
3 Q∧R 2,1 MP
4 Q 3 ∧E
5 P∧Q 2,4 ∧I
 3

5. Introdução da Disjunção (∨I): De uma fbf A, podemos inferir a dis-

junção de A com qualquer fbf.

Exemplo:

• A sala está vazia.

Logo, a sala está vazia OU o professor está dando aula.

Ex.: P ` (P ∨ Q) ∧ (P ∨ R)
Prova:
1 P P
2 P∨Q 1 ∨I
3 P∨R 1 ∨I
4 (P ∨ Q) ∧ (P ∨ R) 2,3 ∧I

6. Eliminação da Disjunção (∨E): De fbfs da forma A ∨ B, A −→ C e B

−→ C, podemos inferir C.

Exemplo:

• Eu OU meu irmão ficaremos em casa esta noite.

Se eu ficar em casa esta noite, então o computador estará ligado.
Se meu irmão ficar em casa esta noite, então o computador está
ligado.
Logo, o computador estará ligado.

Ex.: S ∨ D, S −→ F, D −→ F ` F
Prova:
1 S∨D P
2 S −→ F P
3 D −→ F P
4 F 1,2,3 ∨E
4

7. Introdução do Bicondicional (←→I): De quaisquer fbfs de formas (A

−→ B) e (B −→ A).

8. Eliminação do Bicondicional (←→E): De qualquer fbf da forma A ←→

B, podemos inferir A −→ B ou B −→ A.

Exemplo:

• Se houver um terremoto, então a cidade será destruı́da, E se a

cidade for destruı́da, então é porque houve um terremoto.
A cidade será destruı́da SE E SOMENTE SE houver um terre-
moto.

Ex.: P ←→ Q ` Q ←→ P
Prova:
1 P ←→ Q P
2 P −→ Q 1 ←→E
3 Q −→ P 1 ←→E
4 Q ←→ P 2,3 ←→I

9. Prova do Condicional (PC): Dada uma derivação de uma fbf A a partir

de uma Hipótese B, podemos descartar a hipótese e inferir B −→ A.

Ex: I, (I ∧ C) −→ ¬S, ¬S −→ ¬A ` C −→ ¬A
Prova:
1 I P
2 (I ∧ C) −→ ¬S P
3 ¬S −→ ¬A P
4 C H (hipótese)
5 I∧C 1,4 ∧I
6 ¬S 2,5 MP
7 ¬A 3,6 MP
8 C −→ ¬A 4,7 PC
 5

10. Redução ao Absurdo (RAA): Dada uma derivação de uma contradição

a partir de uma hipótese A, podemos descartar a hipótese e inferir ¬A.

Ex: P −→ Q, ¬Q ` ¬P
Prova:
1 P −→ Q P
2 ¬Q P
3 P H (hipótese)
4 Q 1,3 MP
5 ¬Q∧ Q 2,4 ∧I
6 ¬P 3,5 RAA

Exercı́cios:

1. Se há um jogo no estádio, então viajar de avião é difı́cil. Se eles chega-

rem no horário no aeroporto, então a viagem de avião não será difı́cil.
Eles chegaram no horário, portanto não houve jogo no estádio.
Sejam:

• P: Existe um jogo de futebol no estádio.

• Q: Viajar é difı́cil.
• R: Eles chegaram no aeroporto no horário.

Monte as cláusulas e resolva utilizando as regras de inferência.

2. Se este animal for um pássaro, então ele tem sangue quente.

Se este animal for um réptil, então ele terá sangue frio.
Este animal é um pássaro ou um réptil.
Logo, este animal é um pássaro ou um réptil.
(A) Monte as cláusulas. Verifique se o argumento é válido utilizando
as regras de inferência.