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 se pode 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 a 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)

$\phi ⊢\psi$

$\underset{\_}{\phi ⊢\mathrm{\neg }\psi }$

$\mathrm{\neg }\phi$

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

$\mathrm{\neg }\phi ⊢\psi$

$\underset{\_}{\mathrm{\neg }\phi ⊢\mathrm{\neg }\psi }$

$\phi$

Eliminação da negação

$\phi$

$\underset{\_}{\mathrm{\neg }\phi }$

$\psi$

Eliminação da dupla negação

$\underset{\_}{\mathrm{\neg }\mathrm{\neg }\phi }$

$\phi$

Introdução da dupla negação

$\underset{\_}{\phi }$

$\mathrm{\neg }\mathrm{\neg }\phi$

---

Regras de inferência para condicionais

Introdução do condicional

$\underset{\_}{\phi ⊢\psi }$

$\phi \to \psi$

Modus ponens (ou Eliminação do condicional)

$\phi \to \psi$

$\underset{\_}{\phi }$

$\psi$

Modus tollens

$\phi \to \psi$

$\underset{\_}{\mathrm{\neg }\psi }$

$\mathrm{\neg }\phi$

---

Regras para conjunções

Introdução da conjunção

$\phi$

$\underset{\_}{\psi }$

$\phi \wedge \psi$

Eliminação da conjunção

$\underset{\_}{\phi \wedge \psi }$

$\phi$

$\underset{\_}{\phi \wedge \psi }$

$\psi$

---

Regras para disjunções

Introdução da disjunção

$\underset{\_}{\phi }$

$\phi \vee \psi$

$\underset{\_}{\psi }$

$\phi \vee \psi$

Eliminação da disjunção

$\phi \vee \psi$

$\phi \to \chi$

$\underset{\_}{\psi \to \chi }$

$\chi$

Silogismo disjuntivo

$\phi \vee \psi$

$\underset{\_}{\mathrm{\neg }\phi }$

$\psi$

$\phi \vee \psi$

$\underset{\_}{\mathrm{\neg }\psi }$

$\phi$

---

Regras para bicondicionais

Introdução do bicondicional

$\phi \to \psi$

$\underset{\_}{\psi \to \phi }$

$\phi \leftrightarrow \psi$

Eliminação do bicondicional

$\phi \leftrightarrow \psi$

$\underset{\_}{\phi }$

$\psi$

$\phi \leftrightarrow \psi$

$\underset{\_}{\psi }$

$\phi$

---

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

Regras para universais

Introdução do universal

$\underset{\_}{\phi (\alpha :=\beta )}$

$\mathrm{\forall }\alpha \phi$

Restrição: $\beta$ não pode ocorrer livre em $\mathrm{\forall }\alpha \phi$ ou em qualquer hipótese vigente.

Eliminação do universal

$\mathrm{\forall }\alpha \phi$

$\overline{\phi (\alpha :=\beta )}$

---

Regras para existenciais

Introdução do existencial

$\underset{\_}{\phi (\alpha :=\beta )}$

$\mathrm{\exists }\alpha \phi$

A esta regra coloca-se a restrição de que $\beta$ deve ser substituível por $\alpha ,$ em $\phi$.

Eliminação do existencial

$\mathrm{\exists }\alpha \phi$

$\underset{\_}{\phi (\alpha :=\beta )⊢\psi }$

$\psi$

Restrição: $\beta$ não pode ocorrer livre em $\mathrm{\exists }\alpha \phi$, em $\psi$ ou em qualquer hipótese vigente.

---

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ínios, 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)

$\alpha ⊢\alpha$

1.   $\alpha$   Premissa 2.   $\mathrm{\neg }\mathrm{\neg }\alpha$   1 DN 3.   $\alpha$   2 DN

Modus Tollens (MT)

$\{\alpha \to \beta ,\mathrm{\neg }\beta \}⊢\mathrm{\neg }\alpha$

1.   $\alpha \to \beta$   Premissa 2.   $\mathrm{\neg }\beta$   Premissa   3.     $\alpha$   Hipótese 4.     $\beta$   1,3 MP 5.     $\beta \wedge \mathrm{\neg }\beta$   2,4 C 6.   $\mathrm{\neg }\alpha$         3,5 RAA

Prefixação (PRF)

$\alpha ⊢\beta \to \alpha$

1.   $\alpha$   Premissa   2.     $\beta$   Hipótese 3.     $\alpha$   1 R 4.   $\beta \to \alpha$   2,3 RPC

Contraposição (CT)

Utilizaremos o Modus Tollens como regra de inferência.

$\alpha \to \beta ⊢\mathrm{\neg }\beta \to \mathrm{\neg }\alpha$

1.   $\alpha \to \beta$   Premissa   2.     $\mathrm{\neg }\beta$   Hipótese 3.     $\mathrm{\neg }\alpha$   1,2 MT 4.   $\mathrm{\neg }\beta \to \mathrm{\neg }\alpha$   2,3 RPC

Contradição (CTR)

$\{\alpha ,\mathrm{\neg }\alpha \}⊢\beta$

1.   $\alpha$   Premissa 2.   $\mathrm{\neg }\alpha$   Premissa 3.   $\alpha \vee \beta$   1 E 4.   $\beta$   2,3 SD

Lei de Duns Scotus (DS)

$\mathrm{\neg }\alpha ⊢\alpha \to \beta$

1.   $\mathrm{\neg }\alpha$   Premissa   2.     $\alpha$   Hipótese 3.     $\beta$   1,2 CTR 4.   $\alpha \to \beta$   2,3 RPC

Lei de De Morgan I (DM)

$\mathrm{\neg }(\alpha \vee \beta )⊢\mathrm{\neg }\alpha \wedge \mathrm{\neg }\beta$

01.   $\mathrm{\neg }(\alpha \vee \beta )$   Premissa   02.     $\alpha$   Hipótese 03.     $\alpha \vee \beta$   2 E 04.     $(\alpha \vee \beta )\wedge \mathrm{\neg }(\alpha \vee \beta )$   1,3 C 05.   $\mathrm{\neg }\alpha$                               2,4 RAA 06.     $\beta$   Hipótese 07.     $\alpha \vee \beta$   6 E 08.     $(\alpha \vee \beta )\wedge \mathrm{\neg }(\alpha \vee \beta )$   1,7 C 09.   $\mathrm{\neg }\beta$                       6,8 RAA 10.   $\mathrm{\neg }\alpha \wedge \mathrm{\neg }\beta$                 5,9 C

Lei de De Morgan II (DM)

$\mathrm{\neg }(\alpha \wedge \beta )⊢\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta$

01.   $\mathrm{\neg }(\alpha \wedge \beta )$        Premissa   02.     $\mathrm{\neg }(\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta )$       Hipótese     03.       $\mathrm{\neg }\alpha$   Hipótese   04.       $\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta$   3 E 05.       $(\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta )\wedge \mathrm{\neg }(\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta )$   5,2 C 06.     $\mathrm{\neg }\mathrm{\neg }\alpha$                                             3,5 RAA 07.     $\alpha$                                             6 DN 08.       $\mathrm{\neg }\beta$   Hipótese   09.       $\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta$   8 E 10.       $(\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta )\wedge \mathrm{\neg }(\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta )$   9,2 C 11.     $\mathrm{\neg }\mathrm{\neg }\beta$                     8,10 RAA 12.     $\beta$                     11 DN 13.     $\alpha \wedge \beta$                     7,12 C 14.     $(\alpha \wedge \beta )\wedge \mathrm{\neg }(\alpha \wedge \beta )$                     13,1 C 15.   $\mathrm{\neg }\mathrm{\neg }(\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta )$                         2,14 RAA 16.   $\mathrm{\neg }\alpha \vee \mathrm{\neg }\beta$                         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

Tabela: Regras de Inferência

As regras acima podem ser colocadas na seguinte tabela. A coluna de "Tautologias" mostra como interpretar a notação de determinada regra.

Regras de Inferência	Tautologias	Nomes
$\begin{array}{c}p\\ p\to q\\ \therefore \bar{q}\\ \end{array}$	$((p\wedge (p\to q))\to q$	Modus ponens
$\begin{array}{c}\mathrm{\neg }q\\ p\to q\\ \therefore \overline{\mathrm{\neg }p}\\ \end{array}$	$((\mathrm{\neg }q\wedge (p\to q))\to \mathrm{\neg }p$	Modus tollens
$\begin{array}{c}(p\vee q)\vee r\\ \therefore \overline{p\vee (q\vee r)}\\ \end{array}$	$((p\vee q)\vee r)\to (p\vee (q\vee r))$	Associativa
$\begin{array}{c}p\wedge q\\ \therefore \overline{q\wedge p}\\ \end{array}$	$(p\wedge q)\to (q\wedge p)$	Comutativa
$\begin{array}{c}p\to q\\ q\to p\\ \therefore \overline{p\leftrightarrow q}\\ \end{array}$	$((p\to q)\wedge (q\to p))\to (p\leftrightarrow q)$	Introdução do bicondicional
$\begin{array}{c}(p\wedge q)\to r\\ \therefore \overline{p\to (q\to r)}\\ \end{array}$	$((p\wedge q)\to r)\to (p\to (q\to r))$	Exportação
$\begin{array}{c}p\to q\\ \therefore \overline{\mathrm{\neg }q\to \mathrm{\neg }p}\\ \end{array}$	$(p\to q)\to (\mathrm{\neg }q\to \mathrm{\neg }p)$	Transposição da contrapositiva
$\begin{array}{c}p\to q\\ q\to r\\ \therefore \overline{p\to r}\\ \end{array}$	$((p\to q)\wedge (q\to r))\to (p\to r)$	Silogismo hipotético
$\begin{array}{c}p\to q\\ \therefore \overline{\mathrm{\neg }p\vee q}\\ \end{array}$	$(p\to q)\to (\mathrm{\neg }p\vee q)$	Implicação material
$\begin{array}{c}(p\vee q)\wedge r\\ \therefore \overline{(p\wedge r)\vee (q\wedge r)}\\ \end{array}$	$((p\vee q)\wedge r)\to ((p\wedge r)\vee (q\wedge r))$	Distributiva
$\begin{array}{c}p\to q\\ \therefore \overline{p\to (p\wedge q)}\\ \end{array}$	$p\to (p\wedge q)$	Absorção
$\begin{array}{c}p\vee q\\ \mathrm{\neg }p\\ \therefore \bar{q}\\ \end{array}$	$((p\vee q)\wedge \mathrm{\neg }p)\to q$	Silogismo disjuntivo
$\begin{array}{c}p\\ \therefore \overline{p\vee q}\\ \end{array}$	$p\to (p\vee q)$	Introdução da disjunção
$\begin{array}{c}p\wedge q\\ \therefore \bar{p}\\ \end{array}$	$(p\wedge q)\to p$	Eliminação da conjunção
$\begin{array}{c}p\\ q\\ \therefore \overline{p\wedge q}\\ \end{array}$	$((p)\wedge (q))\to (p\wedge q)$	Introdução da conjunção
$\begin{array}{c}p\\ \therefore \overline{\mathrm{\neg }\mathrm{\neg }p}\\ \end{array}$	$p\to (\mathrm{\neg }\mathrm{\neg }p)$	Dupla negação
$\begin{array}{c}p\vee p\\ \therefore \bar{p}\\ \end{array}$	$(p\vee p)\to p$	Simplificação da disjunção
$\begin{array}{c}p\vee q\\ \mathrm{\neg }p\vee r\\ \therefore \overline{q\vee r}\\ \end{array}$	$((p\vee q)\wedge (\mathrm{\neg }p\vee r))\to (q\vee r)$	Resolução

Todas as regras usam operadores lógicos básicos. A tabela completa de "operadores lógicos" é mostrada por uma tabela verdade, dando valoração verdade a todas as possíveis (16) funções verdade para 2 variáveis booleanas (p,q):

p	q		0	1	2	3	4	5	6	7		8	9	10	11	12	13	14	15
T	T		F	F	F	F	F	F	F	F		T	T	T	T	T	T	T	T
T	F		F	F	F	F	T	T	T	T		F	F	F	F	T	T	T	T
F	T		F	F	T	T	F	F	T	T		F	F	T	T	F	F	T	T
F	F		F	T	F	T	F	T	F	T		F	T	F	T	F	T	F	T

Ver também

• Regra de inferência
• Axioma
• Axioma esquemático

Ligações externas

• https://web.archive.org/web/20070911103236/http://pucrs.campus2.br/~annes/inflog_aula6.html
• http://www.mathpath.org/proof/proof.inference.htm