Você está na página 1de 4

17 REGRAS DE INFERNCIA

Sejam P1, P2, P3, ... Pn, e Q proposies tais que (P1 P2 P3 Pn) Q, isto (P1 P2 P3 Pn) Q uma tautologia, dizemos que (P1 P2 P3 Pn) um argumento que tem como conseqncia a proposio Q. As proposies P1, P2, P3, ... Pn so denominadas PREMISSAS e Q denominada CONCLUSO. As premissas so proposies consideradas verdadeiras. Um argumento de premissas P1, P2, P3, ..., Pn e concluso Q indicado por P1, P2, P3, ..., Pn Q, e que se l: (1) P1, P2, P3, ..., Pn acarretam Q; ou (2) Q decorre de P1, P2, P3, ..., Pn; ou (3) Q se deduz de P1, P2, P3, ..., Pn; ou (4) Q se infere de P1, P2, P3, ..., Pn; ou (5) de P1, P2, P3, ..., Pn se conclui Q. Definio 1: Um argumento P1, P2, P3, ..., Pn Q vlido se e somente se a concluso Q verdadeira todas as vezes que as premissas P1, P2, P3, ..., Pn forem verdadeiras. Definio 2: Um argumento no vlido denominado sofisma.

18 ARGUMENTOS BSICOS VLIDOS


Na demonstrao de um argumento devem ser usadas regras denominadas regras de inferncia. Estas regras j foram demonstrados atravs de tabelas verdade ou por deduo. A seguir so apresentadas as principais regras de inferncia. (Para fins de referncias em solues de problemas usaremos as abreviaturas indicadas entre parnteses.)

Exemplo: Da premissa "Maria bonita" pode-se concluir que "Maria bonita ou Maria estudiosa" ou que "Maria estudiosa ou Maria bonita". Conforme j foi dito, a premissa "Maria bonita" suposta verdadeira bem como, na disjuno, basta que uma das proposies seja verdadeira que a proposio composta ser verdadeira.

Exemplo: possvel concluir, de "eu canto e dano" que "eu canto", como tambm se pode concluir que "eu dano". Pois, para que a conjuno seja verdadeira, necessrio que ambas as proposies sejam verdadeiras.

Exemplo: Das premissas, "hoje tem aula" e "amanh domingo" pode-se concluir que "hoje tem aula e amanh domingo" ou ento que "amanh domingo e hoje tem aula".

Exemplo: De "Se o co late ento o pinto pia" pode-se concluir que "se o co late ento o co late e o pinto pia".

Exemplo: Premissa (1): Se Pedro jornalista ento Janice historiadora. Premissa (2): Pedro jornalista. Concluso: Janice historiadora. importante nota que se a premissa (2) fosse "Janice historiadora" no se poderia concluir que "Pedro jornalista" pois a condicional verdadeira toda vez que a proposio conseqente for verdadeira, independente da proposio antecedente ser falsa ou verdadeira.

Exemplo: Premissa (1) Se o ru tem um libi ento o ru inocente. Premissa (2) O ru no inocente. Concluso: o ru no tem um libi. No vale o argumento: Premissa (1) Se o ru tem um libi ento o ru inocente. Premissa (2) O ru no tem um libi. Concluso: o ru no inocente. Isto um sofisma. Quando a proposio antecedente for falsa, a proposio conseqente pode ser falsa ou verdadeira para que a condicional seja verdadeira.

Exemplo da primeira forma: Premissa (1): O galo canto ou o gato mia. Premissa (2): o gato no mia. Concluso: o galo canta.

Exemplo da segunda forma: Premissa (1): O galo canto ou o gato mia. Premissa (2): o galo no canta. Concluso: o gato mia. Basta lembrar que basta uma das proposies ser verdadeira para que a conjuno seja verdadeira.

Exemplo: Premissa (1): Se eu presto ateno s aulas ento eu aprendo. Premissa (2): Se eu aprendo ento eu sou promovido. Concluso: Se eu presto ateno s aulas ento eu sou promovido. O silogismo hipottico a transitividade da condicional.

Exemplo: Proposio (1): Se Pedro engenheiro ento Joo mdico. Proposio (2): Se Carlos professor ento Luiz advogado. Proposio (3): Pedro engenheiro ou Carlos professor. Concluso: Joo mdico ou Luiz advogado.

Exemplo: Proposio (1): Se Pedro engenheiro ento Joo mdico. Proposio (2): Se Carlos professor ento Luiz advogado. Proposio (3): Joo no mdico ou Luiz no advogado. Concluso: Pedro no engenheiro ou Carlos no professor.

19 - DEMONSTRAES USANDO AS REGRAS DE INFERNCIAS


As demonstraes de um argumento podem ser feitas atravs de tabelas verdades. Entretanto, medida que aumenta o nmero de proposies, o mtodo de tabelas pode-se tornar bastante trabalhoso. O uso das regras de inferncias podem tornar estas demonstraes bem mais simples. Na verificao da validade de um argumento comum utilizar procedimentos como os descritos nos itens (i) e (ii) .

Para demonstrar a validade de um argumento: (i) Inicialmente escrevem-se as premissas em coluna e insere-se aps elas um trao horizontal. As premissas devem ser numeradas para que possam ser citadas na demonstrao (ii) Aps o trao, usam as regras de inferncia at obter o que se quer demonstrar. Numerar tambm cada concluso obtida aps a aplicao da regra de inferncia. Para que a demonstrao fique completa obrigatria a indicao da regra utilizada.

Vejamos alguns exemplos: Exemplo 1 - demonstrar a validade do argumento: p (q r), p q, p (I) Numerando as premissas e inserindo o trao aps elas: (1) p (q r) (2) p q (3) p r:

(II) Usando as regras de inferncia: De (1) e (3) usando MP, conclui-se (4) q r De (2) e (3) usando MP, conclui-se (5) q De (4) e (5) usando MP, conclui-se (6) r. O argumento ento vlido pois no item (6) se chegou concluso "r". Exemplo 2 - demonstrar a validade do argumento: Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta. Ora, o passarinho canta. Portanto: "o gato mia". Simbolizando as proposies: p: o jardim florido. q: o gato mia. ~p: o jardim no florido. r: o passarinho canta. ~r: o passarinho no canta. Demonstrando: Premissa (1): ~p q Premissa (2): p ~r Premissa (3): r De (3) e (2) usando MT, conclui-se (6) ~p De (6) e (1) usando MP, conclui-se (7) q. Ficou provado ento que q: "o gato mia".