Você está na página 1de 13

Clculo Proposicional

Bruno Fernandes Bernardo

Introduo:
Vamos mostrar uma parte bsica da lgica neste trabalho: o clculo proposicional. Esta parte da lgica examina proposies e as conexes entre elas, com uma linguagem especfica com conectivos como e, ou, se...ento, etc. Linguagem: A linguagem bsica do clculo proposicional constituda de variveis proposicionais, ou seja, proposies atmicas, em que, usando-se conectivos, tornam-se frmulas mais complexas. Os conectivos bsicos so a negao e a conjuno. Outros conectivos sero derivados destas noes bsicas, mas alguns autores tomam por conectivos bsicos a negao, a conjuno e a disjuno. Outros comeam pela negao e implicao, e assim por diante. Mas as noes de negao e conjuno parecem ser mais simples. Tambm sero usados parnteses. Os parnteses so usados para no causar ambivalncias. Por exemplo, ~(pq) difere de ~pq. No primeiro caso, o operador principal a negao (~), no segundo, a conjuno (). Aqui esto os smbolos bsicos que sero usados: Negao: ~ Conjuno: Variveis proposicionais: p, q, r, s, p, q, r, s, p, q, r, ... Parnteses: (,) Frmula: A frmula do clculo proposicional definida pelas seguintes regras: 1 Cada varivel proposicional uma frmula 2 Se A uma frmula, ~A uma frmula 3 Se A e B so frmulas, (AB) uma frmula 4 Nada alm das clusulas acima uma frmula

Frmula arbitrria: Usaremos as primeiras letras do alfabeto grego para representar variveis para frmulas arbitrrias do clculo proposicional: , , , , ... No entanto no sero frmulas, apenas um mtodo didtico para a apresentao. , por exemplo, poder substituir p ou q ou (qp) ou ~(pq)r, etc. Variveis Proposicionais: As variveis proposicionais simplificaro proposies. Proposies sero usadas aqui como enunciados que tm determinados valores-de-verdade, ou seja, uma proposio uma sentena declarativa afirmativa que pode ter o valor de verdade ou falsidade, como, por exemplo, A neve branca. Portanto um enunciado do tipo Que horas so? no uma proposio, por ser impossvel afirmar um valor-de-verdade sobre ele. Uma proposio deve seguir o princpio da no-contradio, isto , no pode ser verdadeira e falsa ao mesmo tempo. Deve tambm seguir o princpio do terceiro excludo, isto , s pode ser verdadeira ou falsa, no podendo ser uma terceira alternativa.

Operadores bsicos
Negao: Uma frmula negativa toda frmula da forma ~, onde chamado negatum. A negao se aplica a apenas um elemento (o negatum). O sinal de negao lido como No o caso que ou simplesmente No. Apresentaremos agora a tabela de verdade da negao. Uma tabela de verdade mostra todas as combinaes de valores-de-verdade de cada componente envolvido. T representar verdade e F representar falsidade. T F ~ F T

Se falso, sua negao ser verdadeira, e se for verdadeiro sua negao, falsa.

Quando temos uma dupla negao (uma frmula da forma ~~) podemos simplesmente cortar a dupla negao, ou seja, ~~ equivale , como se pode ver na tabela de verdade: T F ~ F T ~~ T F

A tabela de verdade de idntica a de ~~. Os parnteses, na negao, s sero usados para excluir ambivalncia. O negatum ser o elemento mais prximo do sinal de negao, como em ~pq, o negatum p. Em ~(pq) o negatum (pq). Conjuno: A conjuno, como os prximos operadores que sero mostrados, relaciona dois elementos. Uma frmula conjuntiva toda frmula da forma (), onde e so chamados termos ou conjuctos. O sinal da conjuno lido como e. Sua tabela de verdade : T T F F T F T F () T F F F

O nico caso em que uma conjuno verdadeira em que seus termos so verdadeiros. O uso de parnteses em conjunes com diversos termos intil, como mostra o exemplo abaixo, com trs termos:

T F T F T F T F

T T F F T T F F

T T T T F F F F

T F F F T F F F

() T F F F F F F F

T T F F F F F F

() T F F F F F F F

No faz diferena escrever () ou (), pois os valores-de-verdade de ambos so idnticos, como se pode ver na tabela acima. Portanto, pode-se escrever simplesmente , se estendendo para qualquer nmero de termos.

Tabelas

complexas;

Tautologia;

Contradio;

Contingncia:
Com o conhecimento das tabelas de conjuno e negao pode-se formar qualquer tabela no clculo proposicional. Por exemplo, para (p~q)p: p T T F F q T F T F ~q F T F T (p~q) F T F F (p~q)p F T F F

Este exemplo simples, pois s usamos duas variveis. H 2 linhas quando h n componentes simples, ou seja, se h trs variveis ter oito linhas, quatro variveis sero dezesseis linhas e assim por diante. Mostrando um exemplo mais complexo: ~((p~q)~(~pr)) Para fazer tal tabela de verdade necessrio primeiro ver qual o operador principal

e quais os operadores principais das sub-frmulas (Se parte de , uma sub-frmula de


) desta frmula. O operador principal a negao primeira, ou seja, esta uma frmula da

forma ~. Depois temos uma conjuno da forma (onde (p~q), ~(~pr) ). Continua-se desse modo, indo dos parnteses exteriores aos interiores, chegando-se tabela:
p q r ~q (p~q) ~p (~pr) ~(~pr) (p~q)~(~pr) ~((p~q)~(~pr))

T T T T T F T F F F T F F F T F F F

F F

F F T F

F F F F T T T T

F F F F T F T F

T T T T F T F T

F F T T F F F F F F

T T

T F T T F T T F

T T F F T F T F

T T T T

Alterando a frmula para: ~((p~q)(~pr)), tem-se:


p q r ~q (p~q) ~p (~pr) (p~q)^(~pr) ~((p~q)^(~pr))

T T T T T F T F F F T F F F T F F F

F F

F F T F

F F F F T T T T

F F F F T F T F

F F F F F F F F

T T T T T T T T

T F T T F T T F

T T F F T F T F

Vemos que em todas as combinaes possveis de valores-de-verdade os valores para ~((p~q)(~pr)) so sempre verdadeiros. isso que chamamos tautologia. Exemplos mais simples de tautologias: pp ; ~(p~p)

J a frmula (p~q)(~pr) uma contradio, visto que todos os valores-de-verdade so falsos.


Outro exemplo de contradio: p~p A frmula inicial ~((p~q)~(~pr)) denominada contingente, pois os dois valores-de-verdade (T e F) aparecem ao menos uma vez.

Outros operadores:
Disjuno (inclusiva): A disjuno no seu sentido inclusivo diz que pelo menos um dos dois componentes envolvidos verdadeiro. Ser representada pelo smbolo , e lida como ou. A disjuno, como os prximos operadores que sero apresentados, derivada das noes de conjuno e negao, sendo definida em termo destes: pq=df ~(~p~q) A tabela de verdade para a disjuno : T T F F T F T F T T T F

O nico resultado falso para onde e so ambos falsos, o que o mesmo que j foi dito acima: pelo menos um dos termos verdadeiro. Numa disjuno , e so chamados termos ou disjunctos. Em trs ou mais disjunes o nmero de parnteses tambm intil, como na conjuno. Disjuno (exclusiva): A disjuno exclusiva diz que apenas um dos termos verdadeiro. Ser representada pelo smbolo e definida em termos de conjuno e negao: p q=df ~(pq)~(~p~q) Sua tabela de verdade :

T T F F

T F T F

F T T F

A disjuno exclusiva no to til quanto a disjuno inclusiva, pois acha-se muito mais facilmente exemplos daquela do que desta, ou exemplos em que no importa qual usar. Como < e > na matemtica, onde x<y, por exemplo, pode ser lido como x<y ou x=y. Apesar de um caso excluir o outro, Quine, em O Sentido da Nova Lgica, mostra que, como uma verdade conhecida que os dois casos no podem ser verdade ao mesmo tempo, podemos livremente inserir ou excluir tal conhecimento na frmula: Visto que as clusulas x<y e x=y j so de tal natureza de se exclurem reciprocamente, indiferente se entendermos ou como repetindo essa excluso ou no. (QUINE, W. O. O Sentido da Nova Lgica, p.47) Equivalncia material: A equivalncia material afirma que os elementos relacionados tm o mesmo valor de verdade. Ser representada pelo smbolo , e definida em termos de conjuno, negao e disjuno: pq=df (pq)(~p~q) L-se p materialmente equivalente a q ou p se e somente se q. Sua tabela de verdade : T T F T F T T F F

Note-se que os casos em que a equivalncia verdadeira so os casos em que e so ambos verdadeiros ou ambos falsos. Note-se ainda que a negao de . Implicao material: A implicao material usada como condicional. Ser usado o sinal para represent-la. Os seus componentes () chamam-se, respectivamente, antecedente () e conseqente (). Em termos de negao e conjuno definida como: pq=df ~(p~q) lido como p implica materialmente q ou se p logo q. Sua tabela de verdade : T T F F T F T F T F T T

Note-se que o nico caso em que a implicao material falsa o caso em que o antecedente verdadeiro e o conseqente falso. Isso causa um paradoxo: uma proposio falsa implica qualquer coisa, ou melhor, uma proposio ou frmula falsa implica qualquer proposio ou frmula, seja verdadeira ou falsa. Quine prefere traduzir a implicao apenas como se p logo q. Porque na linguagem, quando se usa este condicional se_logo, se quer dizer que, apenas se o antecedente for verdadeiro, o conseqente tambm ser. Se o antecedente no for verdadeiro, de fato nada se diz sobre o conseqente, ou seja, pode ser verdadeiro ou falso, e a implicao toda verdadeira, portanto. Mas o grande problema da implicao a falta de conexo ntima entre o conseqente e o antecedente, como em Se 2+2=4, logo a grama verde. uma

implicao verdadeira, mas no faz o menor sentido na linguagem. Ainda que no se tenha, no clculo proposicional, uma conexo ntima entre o antecedente e o conseqente, Quine no deixa de identificar ~(p~q) com se p logo q: Na prtica no se formam condicionais cujos componentes tm valores j conhecidos. Mas isso no impede a nossa identificao de se p logo q com ~(p~q), porque bvio igualmente que na prtica no usaramos um composto da forma ~(p~q), tampouco com se p logo q, sabendo j quais os valores dos componentes. A razo bvia: em lugar de afirmar ~(p~q), ou se p logo q, poderamos fornecer mais informaes em menos espao, se s afirmssemos q ou negssemos p. O nexo causal figura na razo para afirmar um enunciado da forma ~(p~q), mas no no seu contedo; o mesmo acontecendo forma verbal se p logo q. (QUINE, W. O. O Sentido da Nova Lgica, p.49,50)

Tautologias*:
Apresentamos aqui algumas tautologias interessantes: 1. () 2. ~()~ 3. ~() 4. () 5. 6. (Princpio da simplificao) (Princpio da adio) (Modus ponens) (Modus tollens) (Silogismo disjuntivo)

7. ()()() 8. ()(()) 9. (())() 10.(~)~ 11.()() 12.()() 13.()(()()) 14.()()() 15. 16.~~ (Lei da dupla negao) (Princpio de comutao) 17.()() (Lei de De Morgan)

18.()()() 19.()()() 20.()(~~) 21. (Princpio (Princpio de comutao) (Princpio (Princpio de associao) (Princpio de distribuio) (Princpio de distribuio) de associao) (Lei da contraposio) de comutao)

22.()() ()()

23.()()() ()()() 24. 25.~()(~~) (Lei 26.()(~) 27.()~(~) 28.()(~) 29.()~(~~) 30.()~(~) 31.()~(~~) 32.()(()())

de

De

Morgan)

~()(~~) (Lei de De Morgan)

* HEGENBERG, L. Lgica Simblica (p. 87, 88)

Bibliografia: - QUINE, W. O. O Sentido da Nova Lgica, 2. ed., Curitiba: Ed. Da UFPR, 1996. - HEGENBERG, L. Lgica Simblica. So Paulo: Ed. Herder, 1966. - SALMON, W. C. Lgica, trad. Leonidas Hegenberg e Octanny Silveira da Mota. Rio de Janeiro: Zahar Editores, 1973. - CARRION REJANE e COSTA, N. C. A. Introduo Lgica Elementar (com smbolo de Hilbert). Porto Alegre: Ed. Da Universidade/UFRGS, MEC/SESu/PROEDI, 1988.

UNIVERSIDADE DE SO PAULO FACULDADE DE FILOSOFIA, LETRAS E CINCIAS HUMANAS

Clculo Proposicional

Nome: Bruno Fernandes Bernardo

Nmero USP: 6476152 Lgica I FLF0258 Perodo: Noturno Professor: Rodrigo Bacellar Costa e Silva