Captulo 2: O CLCULO PROPOSICIONAL

2.1- Formas de argumento

Profa. Camila P. da Costa
2. O CLCULO PROPOSICIONAL


2.1- Formas de argumento

2.1.1) Conjunes, Disjunes, Condicionais, Bi Condicionais e Negao................27
2.1.1-1) Negao (~)...................................................................................................................27
2.1.1-2) Conjuno (^)................................................................................................................27
2.1.1-3) Disjuno (v).................................................................................................................28
2.1.1-4) Condicional ()............................................................................................................28
2.1.1-5) Bicondicional ().........................................................................................................28

2.1.2) Formalizao......................................................................................................................29
2.1.2.1) Formalizao de Sentenas.......................................................................................31
Lista de exerccios (9).............................................................................................................33
2.1.2.2) Formalizao de Argumentos.....................................................................................35

2.1.3) Escopo de um Operador - Operador Principal de uma Fbf................................36
Lista de exerccios (10).............................................................................................................37


Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

26
2.1) Formas de argumento:

Este captulo inicia o estudo da lgica formal. Lgica formal o estudo de formas de
argumentos, regras abstratas de raciocnio separadas em vrios argumentos diferentes. O
estudo de formas de argumentos facilita as generalizaes amplas e esclarecedoras
acerca de validade e tpicos relacionados.


Comeamos com trs argumentos que tm a mesma forma:

1) Hoje segunda-feira ou tera-feira.
Hoje no segunda-feira.
Hoje ________________.


2) Rembrandt pintou a Mona Lisa ou Michelngelo a pintou.
No foi Rembrandt quem a pintou.
___________________ pintou a Mona Lisa.


3) Ele menor de 18 anos ou ele jovem.
Ele no menor de 18 anos.
Ele _______________ .

A forma comum a esses trs argumentos :

________________________
________________________
________________________


Esta regra a forma de argumento conhecida como silogismo disjuntivo.

No clculo proposicional, as letras que representam sentenas (proposies), as
quais compem o argumento, so chamadas de letras sentenciais, sendo estas sempre
maisculas e nicas ou indexadas (no exemplo exposto as letras sentenciais so P e
Q).
As expresses no o caso que, e, ou, se ... ento, se e somente se,
que podem estabelecer ligaes entre sentenas, so chamadas de operadores lgicos ou
conectivos lgicos. Uma conveno para representao simblica desses operadores
apresentada na Tabela 1.

Operador Lgico Smbolo
No o caso que ~ ( )
E
Ou
Se... ento
Se e somente se
Tabela 1: Notao simblica dos operadores.
Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

27
2.1.1 Conjunes, Disjunes, Condicionais, Bi Condicionais e
Negao:

2.1.1-1) Negao (~ / ):

O operador no o caso que prefixa uma sentena para formar uma nova
sentena, a qual chamada negao da primeira. Assim, a sentena:
No o caso que ele fumante
a negao da sentena:
Ele fumante.
Existem muitas variaes gramaticais da negao. Por exemplo, as sentenas
Ele no-fumante,
Ele no fumante
so modos de expressar a negao de Ele fumante.

Exemplo:
Proposio Negao da proposio.
P: Ele fumante.
~P: Ele no fumante. (ou P)


Os outros quatro operadores ligam dois enunciados para formar um enunciado
composto. Esses operadores so chamados operadores binrios.

2.1.1-2) Conjuno (^):

Uma composio constituindo-se de duas sentenas ligadas por e chama-se
conjuno, e as suas duas sentenas componentes so chamadas conjunctos. A
conjuno tambm pode ser expressa por palavras: mas, todavia, embora, entre
outros, que desempenham, juntamente com e, a funo de ligar duas sentenas.
Assim, quando nos deparamos com um argumento que contenha essas expresses, e se
nosso objetivo for formaliz-lo, i.e., escrever o argumento por intermdio de letras
sentenciais e smbolos de operadores lgicos, representaremos os conectivos acima
citados por ( ).

Exemplo:
P: Hoje segunda-feira.
Q: Hoje est chovendo.
PQ: Hoje segunda-feira e est chovendo.


Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

28

2.1.1-3) Disjuno (v):

Um enunciado composto consistindo em dois enunciados ligados por ou
chama-se disjuno (da o nome silogismo disjuntivo para a forma de argumento
discutido acima). Os dois enunciados so chamados disjuntos. ( )

Exemplo:
P: Hoje segunda-feira.
Q: Hoje est chovendo.
PQ: Hoje segunda-feira ou est chovendo.


2.1.1-4) Condicional ():

Os enunciados formados por se ... ento chamam-se condicionais. O
enunciado subseqente a se chamado antecedente; o enunciado restante,
conseqente. Na sentena:

Se voc me tocar ento eu gritarei,

Voc me tocar o antecedente e
Eu gritarei o conseqente.

Exemplo:
P: 6 divisvel por 2. Antecedente
Q: 6 um nmero par. Conseqente
PQ: Se 6 divisvel por 2 ento 6 um nmero par.



A palavra ento pode ser omitida. Os condicionais tambm podem ser expressos em
ordem inversa; por exemplo, Eu gritarei se voc me tocar. Isso uma simples variante
gramatical da sentena anterior e seus antecedentes e conseqentes so os mesmos.
Somente se um outro modo de expressar um condicional.
Surpreendentemente, enunciados da forma P somente se Q significam Se P, ento
Q. (Num enunciado com somente se, o que segue se o conseqente e no o
antecedente.)

P somente se Q equivale a Se P ento Q.

2.1.1-5) Bi condicional ():

Os enunciados formados por se e somente se chamam-se bi condicionais. No
h nome especial para os seus componentes. Um bi condicional pode ser considerado
como uma conjuno de dois condicionais. Para ver isso, consideremos a sentena:

T um tringulo se e somente se T um polgono de trs lados.

Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

29
Obviamente, ela uma variante de:

Se T um polgono de trs lados, ento T um tringulo,
e, se T um tringulo, ento T um polgono de trs lados.

Como a ordem dos conjunctos no altera o significado, a sentena pode ser
reescrita como:

Se T um tringulo, ento T um polgono de trs lados;
e se T um polgono de trs lados, ento T um tringulo.

Este exemplo ilustra uma regra geral: os enunciados da forma:

P se e somente se Q

so equivalentes (isto , verdadeiros sob as mesmas condies) a enunciados da forma:

Se P, ento Q; e se Q, ento P;

esta a razo pela qual tais enunciados so chamados de bi condicionais.


Exemplo:
P: T um tringulo
Q: T um polgono de trs lados.

PQ (PQ) (QP)
T um tringulo se e somente se
T um polgono de trs lados.
Se T um tringulo, ento T um polgono de trs lados;
e se T um polgono de trs lados, ento T um tringulo.


2.1.2) Formalizao

As letras sentenciais e os operadores lgicos facilitam a identificao dos tipos
de argumentos. Um exemplo a seguinte representao:

PvQ
~ P
Q

Ou, escrito horizontalmente, com as premissas separadas por vrgulas:


P v Q, ~P Q

onde significa portanto e denominado trao de assero. Ele se apresenta como
um indicativo de concluso; ou seja, aquilo que o sucede a concluso da forma de
argumento.
Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

30

A linguagem consistindo nesta notao simblica juntamente com as regras a
serem empregadas chama-se clculo proposicional. O termo significa, simplesmente,
o sistema para executar clculos com proposies.


Observe o exemplo:

O Brasil foi uma colnia de explorao ou de povoamento.
O Brasil no foi uma colnia de explorao.
Logo, o Brasil foi uma colnia de povoamento.

Nesse argumento, a concluso falsa, mas isso ocorre pelo fato da segunda
premissa ser falsa. Mesmo assim o argumento vlido, pois se as premissas fossem
verdadeiras a concluso tambm seria. Agora, analisemos a seguinte forma de
argumento, conhecido como afirmando o conseqente:

Se voc est gripado, ento voc contraiu um vrus.
Voc contraiu um vrus.
Portanto, voc est gripado.

Tomemos as seguintes letras sentenciais: G = Voc est gripado e C = Voc
contraiu um vrus.

Logo, o argumento ser formalizado da seguinte maneira: GC, C G.

Esse tipo de argumento invlido, pois possvel que um indivduo tenha
contrado um vrus (por exemplo, HIV) e assim, a segunda premissa verdadeira. E
mesmo tomando a primeira premissa como verdadeira, poderamos ter uma concluso
falsa, j que nem todo o aidtico est gripado. Portanto, existe uma instncia dessa
forma que invlido.

Existem outros argumentos que podem ser representados por essa forma que
apresentam concluso verdadeira em decorrncia de premissas verdadeiras. Um
exemplo o seguinte:

Se a terra menor que o sol, ento o sol maior que a terra.
A terra menor que o sol e o sol maior que a terra.
Portanto, a terra menor que o sol.

Nesse argumento, a segunda premissa e a primeira premissa so verdadeiras, e
aqui temos uma concluso tambm verdadeira. Isso acontece pelo fato de a segunda
premissa fornecer todo o embasamento para a concluso proferida, j que podemos
observar que a primeira premissa no traz nenhum dado novo que ajude a concluso.

A essa linguagem estruturada, com essa notao simblica e seu conjunto de
regras (como a do silogismo, por exemplo) e os operadores, chamamos clculo
proposicional, clculo de enunciados ou clculo sentencial.

Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

31
2.1.2.1 - Formalizao de Sentenas

Neste momento, estamos interessados em estruturar os argumentos na forma
sentencial, isto , represent-los, utilizando letras sentenciais e operadores lgicos. Para
um melhor entendimento, desenvolvamos o seguinte exemplo:
Dadas as seguintes sentenas e as letras sentenciais:

S = Hoje sexta-feira;
B = Hoje sbado;
V = Hoje dia de vacinao.

Represente as seguintes proposies:

a) Hoje no sexta-feira.

b) Hoje no sbado.

c) Hoje no dia de vacinao.


d) Hoje no sexta-feira e no sbado.

e) Hoje sexta-feira ou sbado.

f) Se hoje dia de vacinao, ento hoje sbado.

g) Se hoje no sbado, ento hoje no dia de vacinao.

h) Hoje sexta-feira se, e somente se, hoje no dia de vacinao.


Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

32
Para uma formalizao das sentenas, no suficiente apenas dominarmos os
significados das letras sentenciais e dos operadores lgicos. Temos que utilizar outros
smbolos, como os parnteses, visando eliminar algumas ambigidades como as que
podemos verificar nos seguintes exemplos:

Valendo-se dos significados apresentados no exemplo anterior, escreva o significado da
seguinte sentena: S v BV

Observe que podemos ter mais de uma interpretao:

1) Hoje sexta-feira, ou hoje sbado e dia de vacinao. Isto , acontece uma
sentena ou a outra: (hoje, sexta-feira) ou (hoje sbado e dia vacinao, ao mesmo
tempo), no existindo uma terceira possibilidade.

2) Hoje sexta-feira ou sbado, e hoje dia de vacinao. Isto , acontecem as duas
sentenas ao mesmo tempo: (hoje sexta-feira ou sbado) e (hoje dia de vacinao).

Podemos verificar que as sentenas apresentam significados distintos, j que na
segunda sentena podemos afirmar que hoje dia de vacinao, ao passo que, a
primeira sentena apresenta a possibilidade de que no seja dia de vacinao, pois pode
ser sexta-feira.

Assim, se a inteno fosse expressar a primeira interpretao usaramos a
representao simblica S v (B V), mas, se a inteno fosse expressar a segunda
interpretao,a representao (S v B) V.


S v (B V):
Hoje sexta-feira, ou hoje sbado e dia de vacinao
(S v B) V:

Hoje sexta-feira ou sbado, e hoje dia de vacinao.


OBS:

A causa da ambigidade a presena de mais de um operador binrio na
sentena formalizada; para evitar isso, utilizamos os parnteses.

Os clculos executados com este sistema sero seqncias de inferncias, que
serviro para mostrar a validade de certas formas de argumentos.

Cabe frisar que uma forma de argumento vlida se todas as suas instncias
so vlidas e uma forma de argumento invlida se pelo menos uma de suas
instncias invlida.

Uma instncia de uma forma, ou seja, um argumento particular vlido somente
quando impossvel que a sua concluso seja falsa enquanto as suas premissas
so verdadeiras. Em caso contrrio, ela invlida. (NOLT, 1991)


Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

33
Lista de exerccios (9): Lista de exerccios (9): Lista de exerccios (9): Lista de exerccios (9):

1) Interprete a letra sentencial E como Marta est estudando a lio e a letra A
como Marta ser aprovada no teste, e expresse a forma de cada sentena na notao
do clculo proposicional (observe que estas frmulas so construdas a partir de trs
conjuntos de smbolos, que so elementos do vocabulrio do clculo proposicional)
(Nolt, 1991, p. 46):

a) Marta est estudando a lio.

b) Marta no ser aprovada no teste.

c) No o caso que se Marta est estudando a lio, ela ser aprovada no teste.

d) Se Marta no est estudando a lio, ento no o caso que Marta est
estudando a lio e tambm ser aprovada no teste.

e) Se Marta est estudando a lio e ser aprovada no teste, ento ela ser
aprovada no teste.

f) Marta est estudando a lio se e somente se ser aprovada no teste.

g) Ou Marta est estudando a lio e ser aprovada no teste, ou ela ser aprovada
no teste, mas no est estudando a lio.


Observe que nas formalizaes, devemos tomar muito cuidado. Exemplos:
na letra (c) do exerccio anterior, a negao ~ se refere ao condicional e
no apenas ao antecedente.
na letra (d), o no o caso que se refere s proposies Marta est
estudando a lio e Marta ser aprovada no teste, observe a representao
simblica: ~E ~(E A).
Podemos usar este mesmo exemplo para esclarecer a interpretao de
~(EA), que no pode ser confundida com ~EA ou como ~E~A.
De fato, possuem significados diferentes.

Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

34

2) Considere que P, Q, R e T representem as sentenas listadas na tabela a seguir.

P: Fumar deve ser proibido.
Q: Fumar deve ser encorajado.
R: Fumar no faz bem sade.
T: Muitos europeus fumam.

Dada as sentenas a seguir escritas na notao do clculo proposicional, escrever cada
uma dela em linguagem corrente.

a) P ~T



b) ~P ~R




c) R P




d) (R ~T) P




e) T (~R ~P)





Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

35

2.1.2.2 - Formalizao de Argumentos

A formalizao de argumentos consiste em representar os seus componentes
(premissas e concluso) atravs de letras sentenciais e dos smbolos que representam os
operadores lgicos. Esses caracteres juntamente com os parnteses constituem o
vocabulrio do clculo proposicional. Entretanto, nem toda a seqncia desses
caracteres apresenta significado lgico. Por exemplo, a seqncia ~( ( ) v R ), no
apresenta nenhum significado independente do que R represente .

Para evitarmos essa situao, temos certas regras de formao, chamadas regras
de formao, que constituem a gramtica do clculo proposicional. Uma frmula que
satisfaz as regras de formao dita uma frmula bem formada (fbf).
Regras de Formao distinguem trs: (na definio das regras so utilizadas letras
gregas, que no pertencem ao vocabulrio, como um padro para induzir a
generalizao): Nolt (1991)



1. Qualquer letra sentencial uma fbf.
2. Se uma fbf, ento ~ tambm o .
3. Se e so fbf, ento ( ), ( ), ( ) e ( ) tambm o so.

Assim, qualquer seqncia de letras sentenciais que obedea s regras de
formao escritas acima uma fbf:
~ ((A B) (CB))
uma fbf, pois:

1) A, B, C, D, so letras sentenciais e pela regra (1), A, B, C, D so fbfs.
2) (AB) e (C B), so fbfs pela regra ( ).
3) ((A B) (C B)), uma fbf pela regra ( ).
4) ~((A B) (C B)), uma fbf pela regra ( ).

Logo, ~((A B) (C B)) uma fbf pois segue as regras de formao.

Cabe observar que as fbf mais complexas so construdas a partir de aplicaes
repetidas das regras.
Cada letra sentencial dita uma fbf atmica. As partes de uma fbf que tambm
so fbf so chamadas de subfrmulas bem formadas (subfbf).
Assim, na explicao anterior, (AB), (CB) e (AB) (C B) so
subfbf da frmula ~((A B) (C B)) dada. As fbfs que no so atmicas so
ditas moleculares ou compostas.
Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

36
Quando utilizarmos apenas um operador binrio torna-se desnecessria a
utilizao de parnteses, pois, neste caso, no possvel ambigidade alguma, j que h
somente um conectivo na frmula.


2.1.3 Escopo de um Operador
Operador Principal de uma fbf

A palavra escopo, no vocabulrio brasileiro, significa intuito, alvo. No Clculo
proposicional, utilizaremos com o sentido de abrangncia ou mbito.

Por exemplo, em notao formal, distinguimos ((P v Q) R), de (P v (Q R)) -
onde P, Q e R so variveis proposicionais. O recurso aos parnteses, nesse caso,
tambm evita ambigidades, de modo que uma frmula complexa possa ser decomposta
de uma nica maneira em seus tomos, e pela atribuio de um valor de verdade aos
tomos resulte um nico valor de verdade para a frmula complexa.

Consideremos as formalizaes:

i) P (QR)
ii) (P Q) R
iii) P ~(Q R)
iv) ~(P (Q R))
v) ~P (Q R)

Na formalizao feita em (i), podemos observar que o operador est se
referindo a Q e R e, que o operador est se referindo a P e (Q R). Neste caso,
dizemos que o escopo de a frmula toda, ou ainda, que o escopo de
maior que o escopo do .

A utilizao dos parnteses se faz necessria para no haver confuso. Cada uma
das frmulas acima possui um operador que prefixa a frmula toda, a saber:

em (i) P (QR) o ___,
em (ii) (P Q) R o ___,
em (iii) P ~(Q R) o ____ ,
em (iv) ~(P (Q R)) o ____
e em (v) ~P (Q R) o ____.

A este operador damos o nome de operador principal da frmula. Cabe observar que
cada frmula possui apenas um operador principal.

Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

37
Lista de exerccios Lista de exerccios Lista de exerccios Lista de exerccios (10): (10): (10): (10):

1) Utilize as regras de formao para determinar quais das seguintes frmulas so fbfs
e quais no so. Justifique a sua resposta. (Nolt, 1991, p. 96)

a) ~ ~ ~ R

b) (~ R)

c) PQ

d) P Q

e) (P Q)

f) ~ (P Q)

g) ((P Q) R)

h) (P Q) R

i) ~ (~ P (R ~ S))

j) (P Q R)

k) ((P Q) R)


Lista retirada do livro Nolt (1991):

1) Formalizar as seguintes sentenas num formato horizontal, usando as letras
sentenciais indicadas. Utilize os indicadores de premissa e concluso para distinguir as
premissas das concluses. De acordo com nossa conveno, os parnteses externos
sero omitidos (os significados das letras sentenciais sugeridas entre parnteses devem
ser subentendidos quando no forem especificados) (Nolt, 1991, p. 99):

a) Se Deus existe, ento a vida tem significado. Deus existe. Portanto a vida tem
significado. (D, V)



Captulo 2: O CLCULO PROPOSICIONAL
2.1) Formas de argumento.
Profa. Camila P. da Costa

38
b) Se no houve um temporal naquela cidade hoje de madrugada, ele j teria chegado
aqui. Mas ele no chegou aqui ainda. Portanto, houve um temporal naquela cidade nesta
madrugada. (T, C)




c) Cludia ser aprovada se e somente se estudar muito. (A, E)



d) Se a vtima tinha dinheiro nos bolsos, ento roubo no foi o motivo do crime. Mas o
motivo do crime foi ou o roubo, ou a vingana. Portanto, o motivo do crime foi a
vingana. (D, R, V)



e) Ele pode ter muitos amigos, somente se os respeitar como indivduos. Se os respeita
como indivduos, ento no pode esperar que todos se comportem da mesma maneira.
Ele tem muitos amigos. Portanto, no espera que todos se comportem da mesma
maneira. (A, R, E)



f) Se o caixa e o tesoureiro tivessem apertado o boto do alarme, o cofre-forte ter-se-ia
fechado automaticamente, e a polcia teria chegado em trs minutos. Se a polcia tivesse
chegado em trs minutos, poderia ter alcanado o automvel dos assaltantes. Mas no
pde alcanar o automvel dos assaltantes. Portanto, o caixa no apertou o boto do
alarme. (C, T, F, P, A)