Académique Documents
Professionnel Documents
Culture Documents
2) operadores lgicos: ~ , , , , .
e)
relao de equivalncia entre duas sentenas, e com freqncia tem a forma: ... se e
somente se..., como em o cu azul se e somente se a grama for verde, o que quer
dizer que uma informao condio e conseqncia, ao mesmo tempo, da outra
informao. Ou seja, as sentenas se equivalem (valem o mesmo). Tambm pode ser
expresso no portugus como o cu s azul se a grama for verde ou, ainda, o cu
azul equivale grama ser verde, entre outros.
3) sinais auxiliares: (, ).
Enfim, o terceiro grupo de sinais de nossa linguagem simblica inclui apenas dois
elementos: o parntese da esquerda e o parntese da direita. A rigor, no significam
nada sozinhos, diferente dos sinais anteriores; entretanto, tm um tremendo impacto no
significado das expresses de nossa linguagem formal, como veremos daqui a pouco.
Para estabelecer uma comparao com o portugus, eles corresponderiam aos sinais de
pontuao, cuja presena ou ausncia em uma frase podem alterar completamente o
sentido desta.
Ou seja, cada sinal sentencial sozinho (por exemplo, p) j uma fbf de nossa linguagem
formal. J dissemos antes que os sinais sentenciais corresponderiam s sentenas
simples do portugus e podem ser usados para represent-las. Temos, portanto, de
incio, onze fbfs, que sero chamadas de simples ou atmicas, por no conterem
nenhuma outra como parte delas.
c) Se a e b so fbfs, ento ( a b),( a b),( a b),( ab) so, cada uma, fbfs.
Portanto, qualquer arranjo de sinais dessa linguagem formal que inclua um sinal
estranho s listas apresentadas e/ou que no corresponda a um dos seis esquemas acima
no uma fbf. Por uma razo didtica, seguem alguns exemplos, escolhidos entre os
erros mais freqentes cometidos por iniciantes, do que no deve ser considerado como
fbf:
( p)
(~ a )
(nem o sinal a, nem b, so sinais de nossa linguagem, e somente esto sendo usados
nos esquemas sintticos como variveis para falar de quaisquer fbfs!)
(p ~ q )
(um erro muito comum! O operador lgico de negao unrio; ou seja, toma apenas
uma fbf de cada vez, e sempre a que lhe segue imediatamente. Dos cinco operadores
definidos, ele o nico que se comporta assim, j que os outros quatro classificados
como binrios por essa razo sempre tomam duas fbfs por vez, sendo colocados entre
elas para conect-las em uma s fbf)
(p)
(um erro similar ao anterior, desta vez com um operador binrio. A expresso no faz
sentido, por faltar uma fbf depois do operador de conjuno)
pq
(um erro pouco grave, mas que merece meno. O nico problema aqui a falta do par
de parnteses, um no incio e outro no final da expresso. Alguns autores at preferem
ensinar a construir fbfs sem os parnteses e depois apostarem na intuio do estudante
para colocarem os parnteses aonde for estritamente necessrio para evitar
ambigidades. Essa estratgia parece mais simples; entretanto, apela demais e
desnecessariamente para uma certa intuio lgica, quando o mais correto, do ponto
de vista cientfico-formal, providenciar uma estratgia recursiva e rigorosa na
composio de fbfs, como estamos fazendo neste curso. Seguindo-se cuidadosamente
essa estratgia, conforme prescrita nas regras sintticas, impossvel cometer erros.)
((~ p ))
(~ (p q )
Na possibilidade (a), a condio para estar havendo aula que tanto o professor
quanto os alunos estejam na sala, ao mesmo tempo. Na possibilidade (b), afirma-se que
o professor est na sala e que, independente disto, se os alunos estiverem na sala, ento
est havendo aula. Na primeira, no se chega a afirmar que o professor est na sala, nem
que os alunos esto na sala, nem que est havendo aula. A sentena condicional apenas
estabelece uma relao de condio e conseqncia, da seguinte forma: caso acontea
de o professor e os alunos estarem na sala, ento estar havendo aula. Na segunda
interpretao, contudo, afirma-se que o professor est na sala, e simplesmente junta-se a
isso uma outra informao: a de que caso acontea de os alunos estarem na sala, a
presena deles implicaria em estar havendo aula.
O comportamento dos parnteses, conforme previsto nas regras sintticas, evita o
surgimento dessa ambigidade, permitindo a construo de uma linguagem simblica
mais precisa do que a nossa linguagem cotidiana, para o estudo da Lgica e como
modelo para o discurso cientfico em geral.
S para efeito de comparao j que estudaremos a simbolizao de sentenas
com mais ateno no prximo mdulo , as duas interpretaes examinadas para aquela
expresso ambgua seriam simbolizadas da seguinte maneira, respectivamente:
a) (( p q ) r )
b) ( p ( q r ))
No deve ser difcil perceber a qual dos seis esquemas possveis apresentados no
incio corresponde cada um dos exemplos acima. Conferindo, respectivamente:
a) (~ a ) onde a p.
b) (~ a ) onde a (p q ).
c) ( a b) onde a p e onde b (~ q).
d) ( a b) onde a ( p q ) e onde b r.
e) (~ a ) onde a ((p (~ q)) q).
f) ( a b) onde a (~ (p (~ q))) e onde b q.
g) ( a b) onde a ((~ (p (~ q))) q) e onde b (( p q ) r ).
Uma vez familiarizados com as noes apresentadas at agora, podemos passar
com segurana para uma conveno que simplificar consideravelmente a notao das
fbfs de nossa linguagem simblica, o que ser estudado no prximo mdulo.
Tarefa: Aps receber a tarefa anterior devidamente corrigida pelo tutor, tente
identificar, repetindo separadamente, para cada fbf, quais as fbfs que esto compondo a
fbf inteira, e enviar para a anlise do tutor. Por exemplo, na fbf seguinte:
(((~ (p (~ q))) q) (( p q ) r )), possvel identificar as seguintes fbfs, em
ordem de complexidade (a ordem no to importante por enquanto, servindo apenas
para facilitar a enumerao): p , q , (~ q) , ( p q ), (p (~ q)) , (~ (p (~ q))) , (( p
q ) r ) , ((~ (p (~ q))) q) , e, finalmente, a fbf inteira: (((~ (p (~ q))) q)
(( p q ) r )). Essa habilidade ser muito til depois, quando procedermos aos testes
de validade para as fbfs.
Ou seja, basta arranjar uma seqncia qualquer de sinais, dentre os listados nas
trs categorias sintticas (sinais sentenciais, operadores lgicos, sinais auxiliares) como
sinais da linguagem, para se obter uma expresso. Naturalmente, a maioria das
expresses sero inteis, por no se adequarem s regras sintticas, as quais definem o
que gramaticalmente correto ou no na linguagem.
c) p ~
acrescentado a esta expresso a deixaria de acordo com as regras sintticas, por causa da
posio estranha do operador de negao!
Pode at parecer ao estudante que algumas regras sejam rigorosas demais, mas
justamente esse rigor que garante formalmente (e quase mecanicamente) a
construo de uma linguagem simblica perfeita para o clculo lgico.
Pois bem, se fssemos representar graficamente a nossa linguagem formal,
poderamos fazer o seguinte:
frmulasbemformadas
fbfs
abreviadas:
a
b
g
...
fbfs:
d
e
f
...
Ou seja, cada fbf abreviada, por corresponder exatamente a uma fbf propriamente
dita, pode ser usada como uma expresso gramaticalmente til ou significativa.
(Importante: at possvel, como veremos nos exemplos, que vrias fbfs abreviadas
correspondam mesma fbf, mas nunca ocorrer de uma fbf abreviada corresponder a
mais de uma fbf, o que implicaria em ambigidade. , portanto, um comportamento
estritamente funcional, no meramente relacional, como diramos na matemtica...)
2.
3.
4. 5.
Sendo assim, para encontrarmos a nica fbf que corresponda a uma fbf abreviada
qualquer, devemos proceder da seguinte forma:
(p q )
c) p ~ q q
d) ~ (p ~ q) q
pq
~ (p (~ q)) q p q r
(~ (p (~ q))) q p q r
(~ (p (~ q))) q
(p q) r
((~ (p (~ q))) q)
(pq)r
((~ (p (~ q))) q)
(( p q ) r )
(( p q ) r ))
a) p
qr
representa ((p
q)
r) ou (p
(q
q)
(Fim da conveno para atribuir a cada fbf abreviada uma nica fbf.)
1. Encontrar, de acordo com a conveno, a nica fbf que corresponde a cada fbf
abreviada abaixo; ou seja, colocar, do modo correto, todos os pares de parnteses que
faltam nas fbfs abreviadas a seguir, de modo a transform-las em fbfs.
a) p ( p q r ( r q)) r
b) t x t s s
c) p p p p p p
d) q q ( q q ) q
sentena em portugus
fbf
Aristteles filsofo.
Comentrio: como explicamos, uma sentena simples deve sempre ser simbolizada por
uma fbf simples (no-composta). Naturalmente, cada vez que essa sentena simples
ocorrer no interior de uma sentena composta, a fbf simples que a representa deve ser
repetida no interior da fbf composta, como veremos nos prximos exemplos.
Aristteles grego.
Aristteles no filsofo.
~p
~p
Comentrio: muito importante entender que a mesma informao pode ser escrita, em
portugus, de vrias formas, sem alterar seu contedo lgico. No presente exemplo, a
sentena foi escrita de modo diferente, mas se trata do mesmo contedo, e a estrutura
lgica tambm idntica do exemplo anterior. Que isto fique bem claro: devido
flexibilidade das lnguas naturais, possvel dizer de vrias formas a mesma
informao; numa linguagem lgico-formal, entretanto, h exatamente uma maneira de
expressar a mesma informao, devido busca da preciso e da ausncia de
ambigidades.
~~p
~p
Comentrio: o propsito deste exemplo chamar a ateno para o seguinte fato: nem
sempre a estrutura gramatical da linguagem natural corresponde fielmente sua
estrutura formal. Ou seja, a aparncia gramatical de uma sentena pode ser enganosa!
Isto acontece o tempo todo: pedidos disfarados de perguntas (voc se incomodaria de
apagar seu cigarro?), saudaes disfaradas de perguntas (tudo bem?), etc. No
exemplo acima, aparentemente, temos uma dupla operao de negao; porm, uma
rpida anlise revela que no se est negando que Aristteles no seja filsofo, mas que
um dos advrbios de negao est sendo usado como mero realce para enfatizar a
negao, um recurso possvel na lngua portuguesa. Uma situao assim no deve, pois,
ser confundida com o exemplo anterior.
pq
pq
pq
Comentrio: um caso fcil de disjuno das duas sentenas simples fornecidas no incio.
Devemos prestar ateno ao detalhe de que, em portugus, costumamos iniciar uma
sentena contendo disjuno, repetindo duas vezes o indicador de disjuno, o que
resulta em uma estrutura mais ou menos assim: ou... ou.... Entretanto, isso um
recurso de estilo da lngua, para anunciar desde o comeo que as duas sentenas em
questo estaro sendo contrapostas uma outra como alternativas, e no querem dizer
que a disjuno foi feita duas vezes. Observemos o prximo exemplo.
pq
pq
pq
pq
Comentrio: o termo ento, do exemplo anterior, pode ser omitido (na verdade,
subentendido), sem prejuzo para a compreenso da informao. O mais importante aqui
o indicador de condio se (que tambm pode ser substitudo por caso, e at por
quando onde este significar um anncio de condio). A simbolizao, obviamente,
permanece inalterada.
pq
pq
qp
qp
qp
~qp
~q~p
~(qp)
Regras semnticas
0. Primeiro, consideremos f uma funo que, para qualquer fbf a tomada como
argumento, gera ou o verdadeiro ou o falso como valor. Ou seja, o domnio da funo
o conjunto das fbfs, e a imagem o conjunto dos valores semnticos. Isso pode ser
representado assim:
{V, F}
A tabela acima coloca na primeira linha a fbf cujo valor queremos calcular, e nas
linhas logo abaixo, as possibilidades, respectivamente, de a ser verdadeira e de a ser
falsa, j que no possvel decidir nesse caso qual o seu valor, e s existem essas duas
possibilidades, por definio. O primeiro trao horizontal, abaixo de a, separa a
expresso sinttica de seus valores semnticos, calculados pela funo f. Sendo assim:
a ~a
V F
F
a b
ab
V V V
V F
V F
a b
ab
V V V
V F
V V
a b
ab
V V V
V F
V V
ab
a b
V V V
V F
V F
a) uma fbf negada tem sempre o valor oposto ao da mesma fbf sem estar negada;
b) uma fbf conjuntiva s verdadeira se ambas as fbfs que a compem tambm o
forem;
c) uma fbf disjuntiva s falsa se ambas as fbfs que a compem tambm o forem;
e) uma fbf condicional s falsa se, ao mesmo tempo, sua fbf antecedente for
verdadeira e sua fbf conseqente for falsa;
f) uma fbf bicondicional s verdadeira se as duas fbfs que a compem tiverem o
mesmo valor.
Outro ponto que no pode ser esquecido que o clculo do valor de uma fbf
composta sempre feito a partir dos valores das fbfs que a compem, e assim por
diante, at partir dos valores das fbfs simples (atmicas) que entraram na composio
de todas as outras. Na prtica, comeamos a resolver uma tabela enumerando os valores
possveis para cada sinal sentencial (fbf simples) presente na fbf cuja tabela queremos
construir; depois, seguimos progressivamente calculando os valores das fbfs mais
1. ~ ~ p
~p ~~p
2. ~ q ~ p
p
~p ~q ~q~p
V V F
V F
V V
3. ~ ( q p )
p
qp ~(qp)
V V V
V F
V F
~q ~qp
V V F
V F
V F
Ateno com a tabela acima, para evitar um erro muito freqente. A coluna do
antecedente (~ q), no clculo, apareceu aps a do conseqente p, obrigando-nos a tomar
cuidado na aplicao da tabela do operador condicional.
5. p ~ q q
p
~q p~q p~qq
V V F
V F
V F
6. t s s t
t s s t t ss t
V V V
V F
V V
Como podemos perceber pela tabela-de-verdade, a fbf acima faz parte do seleto
grupo de frmulas que so sempre verdadeiras, no importa a atribuio de valores aos
seus sinais sentenciais. Voltaremos a esse importante assunto depois.
Continuaremos estudando as tabelas no prximo mdulo, com instrues sobre
como resolver qualquer exerccio envolvendo uma tabela-de-verdade.
Tarefa: Construir a tabela-de-verdade para cada fbf abaixo e encaminhar ao tutor para
correo. (Para uniformizar as correes de exerccios e as prximas explicaes,
distribuir os sinais sentenciais nas primeiras colunas de cada tabela seguindo a ordem
alfabtica, como fizemos nos exemplos deste mdulo).
a) p q p
b) p ( q p )
c) p p
d) q r q
e) ~ q p q
f) q r q r
g) q ( r q ) r
h) t s s t
i) p q p ~ q
j) ~ ( p ~ ( p q ) q )
~p
p~p ~(p~p)
V F
pq ~(pq)
V V V
V F
V F
qr pqr
V V V V
V V F
V F
V F
V F
V V V
V F
V F
~p
pq
V V
V F
~ ( p q)
~ (p q)
F
V V
~ (p ~ p)
F V
F F
F F
F V F
~ (p q)
F
V V
V V
V F
V F
V V
V V V
V F
V F
V F
V F
V V V
V F
Tautologia: dizemos que uma fbf tautolgica se e somente se, para qualquer
atribuio de valores aos sinais sentenciais que a compem, o valor resultante para
aquela fbf inteira sempre V.
Contradio: dizemos que uma fbf contraditria se e somente se, para qualquer
atribuio de valores aos sinais sentenciais que a compem, o valor resultante para
aquela fbf inteira sempre F.
Alm disso, uma concluso bvia das definies acima que todas as negaes
de fbfs tautolgicas so contradies, e todas as negaes de fbfs contraditrias so
tautologias.
Quando se trata de demonstrar qualquer tese em uma teoria formal, seja lgica ou
matemtica, existem, de modo genrico, pelo menos duas estratgias possveis, cada
uma das quais podendo ser efetivada de numerosas maneiras dependendo da situao.
Essas estratgias genricas podem ser chamadas de prova direta (ou construtiva) ou
prova indireta (ou por reduo ao absurdo).
Uma prova direta acontece sempre que construmos passo a passo aquele
resultado que queremos demonstrar; por isso, tambm chamada de construtiva,
porque constri efetivamente a tese em questo. Por sua vez, uma prova indireta no
demonstra exatamente a tese que pretendemos; mas prova que a negao daquela tese
acarreta algum tipo de absurdo lgico, o que inadmissvel. Em conseqncia,
demonstramos indiretamente aquela tese, uma vez que sua negao no pode acontecer.
Esse procedimento demonstrativo (por absurdo) se apia fortemente em um
princpio lgico fundamental, chamado de lei do terceiro excludo, segundo o qual, dada
uma tese qualquer, ou essa tese vale, ou vale a sua negao, no podendo haver uma
terceira possibilidade. Representado simbolicamente, seria (a ~ a).
A ttulo de informao: tanto a lgica clssica como a matemtica clssica
obedecem a esse princpio. Derrub-lo, ou mesmo enfraquec-lo, significa construir
uma lgica (ou uma matemtica) alternativa (no-clssica), o que j foi feito por
diversas razes metodolgicas e filosficas. Essas lgicas e matemticas so chamadas
de intuicionistas ou construtivistas (quando enfraquecem o princpio do terceiro
excludo), ou so chamadas de paracompletas (quando derrubam aquele princpio).
Em ambos os casos, no se pode mais usar raciocnios por absurdo.
V V V
V V F
F
V V
p q
F
p q
F
F
F
V V V
V V F
F
V V
F
F
(q
p)
V V
V V
Para provar a mesma coisa por absurdo, comeamos supondo que a fbf inteira pode ser
falsa, e indicamos isso colocando o valor F abaixo do operador principal, como
aprendemos nas tabelas abreviadas:
p (q
p)
Como se trata de uma fbf condicional, s h uma possibilidade dessa frmula inteira ser
falsa: seu antecedente tem que ser V e seu conseqente tem que ser F.
(q
F
F
p)
(q
V
p)
F
F
F
O que um absurdo, pois o valor de p, j encontrado, era V. Como possvel que p seja
V e F ao mesmo tempo? Portanto, se p V, ento, q p tem que ser V tambm; e, em
conseqncia, a fbf inteira tambm tem que ser V:
(q
p)
F(V)
F(V)
F(V)
Ou seja, supor que p (q p) podia ser falsa gerou um absurdo (p com valores
contraditrios) e isso aconteceu porque ns supomos que existia uma linha na tabelade-verdade que continha F como valor para essa fbf, o que no acontecia de fato, como
se pode observar na tabela abreviada do incio do exemplo. Como a fbf no pode ser
falsa (sob pena de incorrer num absurdo lgico!), ela sempre verdadeira; sendo sempre
verdadeira, por definio, ela uma tautologia.
Uma vez compreendidos os exemplos comentados acima, s nos resta examinar,
logo a seguir, algumas situaes que podem induzir ao erro, e que devem ser estudadas
com bastante ateno. Os exemplos foram cuidadosamente escolhidos para destacar
aspectos especficos do procedimento. Em qualquer caso, entretanto, as diretrizes so as
mesmas. Infelizmente, esse mtodo no to automtico como o das outras tabelasde-verdade; exigindo, s vezes, um pouco de criatividade e esprito lgico, alm de uma
grande familiaridade com o comportamento semntico de cada operador lgico.
p)
F(V)
V(F)
V(F)
F(V)
b) p q r
P
q r
F
V
F
Explicao: para p q r ser F, necessariamente p tem que ser V e q r tem que ser
F (nica condio de falsidade para uma fbf condicional). Para q r ser F, por outro
lado, temos trs possibilidades na tabela associada ao operador de conjuno: o caso em
que q V e r F, o caso em que q F e r V, e o caso em que ambos so F. Quando
c) p q p
p
q p
F
F(V)
F
Explicao: esse exemplo contm um erro muito freqente! Como aprendemos, para a
fbf p q p ser F, necessariamente p tem que ser V e q p tem que ser F. Para q p
ser F, existem trs possibilidades, como vimos tambm no exemplo anterior. Entretanto,
diferente do outro exemplo, escolhemos aqui a possibilidade em que tanto q quanto p
so F, o que gerou um conflito ou contradio com o valor j encontrado para p no
passo anterior (V). Isso foi um descuido, e pode ser percebido quando tentamos corrigir
(em vermelho) o clculo, pois nada se altera no restante ao se corrigir o valor de p. Esse
um tpico sintoma de que algum erro foi cometido.
Isto muito importante: ns s podemos nos deparar com a contradio de valores se
formos forados a isso, na tentativa de preservar os valores j encontrados! No
exemplo em questo, p no precisava necessariamente ser F no ltimo passo. Se
escolhssemos o valor V, preservaramos todos os valores j encontrados (inclusive o de
p) e conseguiramos nosso objetivo: falsificar a fbf. Como nosso interesse nos
esforarmos ao mximo para garantir que a fbf inteira continue falsa, temos que zelar
para que os valores j encontrados sejam mantidos a todo custo!
Em vez da tabela acima, que est errada, a construo da tabela indireta para a fbf em
questo deveria ficar assim:
q p
F
V
F
d) p q p q
p
F(V)
F(V)
F(V)
F(V)
pq
p q
F
V
F
V
V
Ou seja, a fbf no tautologia. Mas, as duas tabelas no precisavam ser feitas. Bastava
ter feito esta segunda, que, sozinha, j mostrava um caso de falsidade daquela fbf!
e) p q q p
p
F(V)
F(V)
F(V)
F(V)
F(V)
F(V)
p
V
V
F(V)
Explicao: dessa vez, o teste est completo e, diferente do exemplo anterior, as duas
tabelas foram necessrias para se provar que a fbf , de fato, uma tautologia. Para que p
q
tinha que ser V. Aqui precisamos ser espertos: qual lado da tabela resolvemos
primeiro? Ora, p q, para ser F, admite trs possibilidades, e q p, para ser V, s
admite uma! evidente que resolvemos logo q p! Pois bem, para q p ser V,
necessariamente q tem que ser V e p tambm tem que ser V. J temos os valores de q e
de p. Passamos para o outro lado do bicondicional: para p q ser F, h trs
f) (p q) (( q r) (p r))
(p q) ((q r) (p r))
V
V
F
F
F
F
(p q) ((q r) (p r))
F
F
F
F
F
(p q) ((q r) (p r))
F
F
F
F
q)
((q r) (p r))
F
F(V)
V(F)
F
F
F
F(V)
a) (p q) r
b) (p ~ p) ~ p
c) (p q r) p
d) p ~ p q ~ q