Regras de inferncia lgica de predicados Quantificadores

Regra1: Particularizao Universal (pu) Podemos deduzir P(x), P(y), P(a) de (x)P(x), ou seja, retirar o quantificador Universal .

Todos os homens so mortais. Scrates humano. Portanto Scrates mortal. 1. (x) [H(x) M(x)] 2. H(s) hip hip

H(x) significa x humano S, constante: Scrates M(x) significa x mortal

3. H(s) M(s) 1,pu retiro o quantificador, ou seja, substituo o X pelo S, pois essa letra que preciso para obter a concluso 4. M(s) 2,3,mp

Retirar o quantificador seria inserir no lugar do X a letra que se precisa para obter a concluso. No nosso exemplo acima, seria substituir o X pelo S. Outro Exemplo: xyFxy |- Faa 1 xyFxy 2 yFay 3 Faa hip 1, pu 1, pu

No exemplo acima necessrio usar duas vezes o pu, pois necessrio remover os dois quantificadores (x e y).

Regra2: Particularizao Existencial (pe) A partir de (x) P(x) podemos deduzir P(x), P(y), P(a), desde que sejam nomes ou smbolos novos. Ento, retiramos o quantificador existencial. 1. (x)[P(x)Q(x)] hip 2. (y) P(y) 3. P(a) hip 2, pe

4. P(a)Q(a) 1,pu retirei o quantificador existencial, para isso substitui o X pelo A, pois A era 5. Q(a) 3,4,mp

Regra 3:Generalizao Universal (gu) Permite a insero de um quantificador universal, ento de P(x) ou P(a) podemos deduzir (x)P(x) . 1 x(Fx ^Gx) 2 Fa ^Ga 3 Fa 4 Ga hip 1, pu - retirar o quantificador universal 2, sp uso a regra bsica de deduo 2, sp

5 xFx 3, gu insiro o quantificador universal, ou seja, vou substituir a letra A por X, assim insiro o smbolo universal () e troco A por X. 6 xGx 7 xFx ^xGx 4, gu 5,6, cj

Regra4: Generalizao Existencial (ge) Permite a insero de um quantificador existencial. De P(x) ou P(a) podemos deduzir (x)P(x). Exemplo: x(Fx v Gx) |- x(Fx v Gx) 1 x(Fx v Gx) 2 Fa v Ga 1, pu hip

3 x(Fx v Gx) 2,ge observe que quando inserimos o quantificador existencial, temos que substituir todas as ocorrncias de A por X, assim, tanto Fa como Ga ficaram como Fx e Gx. Outro exemplo: x(Fx v Gx) |- xFx v x Gx 1 x(Fx v Gx) 2 Fa v Ga 3 |Fa 4 |xFx 5 | xFx v x Gx 4,ad 3-5, PC 1,gu hip-pc 3,ge hip

6 Fa->(xFx v x Gx) 7 |Ga 8| x Gx 9| xFx v x Gx 10 Ga->(xFx v x Gx) 11 xFx v x Gx hip-pc 7, ge

8,ad 7-9,PC 2,6,10,dc

Observe que podemos utilizar regras de deduo bsicas e derivadas (para lgica de proposicional) juntamente com as regras para os quantificadores.