CursoRaciocinioLogico Trecho

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!
UNIDADE II - UMA LINGUAGEM SIMBLICA PARA O CLCULO LGICO DE

SENTENAS
MDULO 02 Regras sintticas: as frmulas-bem-formadas
Objetivos: ao final deste mdulo, o estudante dever:

a) ser capaz de descrever a diferena entre sintaxe e semntica de uma linguagem;
b) saber diferenciar entre sentenas simples e compostas na lngua portuguesa;
c) conseguir explicar as trs categorias de sinais sintticos da linguagem simblica
empregada, relacionando-os com categorias similares na lngua portuguesa;
d) saber identificar e criar frmulas-bem-formadas a partir da aplicao das regras
sintticas.
Uma das grandes vantagens da lgica contempornea sobre a tradicional foi a

adoo de uma linguagem simblica para estudar as inferncias. Para se entender a
importncia de uma linguagem assim para o clculo formal, basta lembrar novamente
da matemtica. quase impraticvel tentar demonstrar um teorema sem empregar
smbolos matemticos. Ou, ainda, podemos tentar descrever uma simples equao de
segundo grau sem uma notao formal apropriada e observar o efeito. 2x 2 + 3x 1 = 0
soaria algo como: o dobro do quadrado de um nmero somado ao triplo de um outro
nmero menos um igual a zero. Se isso j pareceu complicado de visualizar,
imaginemos aplicar a frmula de Bhskara para encontrar as razes dessa equao,
usando-se apenas a lngua portuguesa...
De modo geral, podemos dizer que um sistema de lgica inclui dois elementos:
uma linguagem (com seus sinais e regras de formao) e regras de inferncia (para
demonstrar concluses). Pois bem, nossa primeira providncia, no estudo da lgica,
deve ser adotar uma linguagem formal apropriada. Embora diferentes autores possam
admitir pequenas variaes em sua notao simblica, a conveno que usaremos
bastante difundida.
Antes de descrever nossa linguagem simblica, tambm precisamos lembrar que
uma linguagem, em geral, admite uma sintaxe e uma semntica. A sintaxe de uma
linguagem tem a ver com os sinais e a maneira de combin-los para formar palavras ou
expresses, mais ou menos como a mecnica da linguagem. Por exemplo, a sintaxe da
lngua portuguesa estuda a estrutura da sentena, as conjugaes, as declinaes, etc.

Por outro lado, a semntica estuda o sentido das estruturas sintticas, e as regras
para se combinar ou transformar o sentido dessas estruturas. Por exemplo, na
semntica da lngua portuguesa, so estudadas propriedades como a sinonmia e a
antonmia, ou ainda a construo de palavras a partir de radicais gregos ou latinos.
A sintaxe e a semntica da linguagem simblica que estudaremos sero muito
simples e, ao mesmo tempo, rigorosas, diferentemente da sintaxe e semntica das
lnguas naturais (como o portugus ou o ingls), que, por terem se formado
espontaneamente ao longo dos sculos, acabaram admitindo muitos casos confusos,
excepcionais ou abundantes.
Para facilitar, entretanto, a aprendizagem, e, alm disso, mostrar como a lgica
pode ser facilmente aplicada, faremos muitas comparaes com a estrutura da lngua
portuguesa, medida que apresentamos definies ou regras.
Primeiro, vamos conhecer todos os sinais de nossa linguagem simblica. Eles
esto divididos em trs categorias (sinais sentenciais, operadores lgicos e sinais
auxiliares), cujos elementos so explicados logo a seguir:
1) sinais sentenciais: p, q, r, ..., z.
Os sinais sentenciais (s vezes, tambm chamados sinais proposicionais, variveis

proposicionais, etc.) correspondem ao que seriam as sentenas mais simples de nossa
linguagem simblica, se nossa linguagem simblica tivesse sentenas. Voltaremos a
esse ponto daqui a pouco.
Dissemos que a lgica tem a ver com o estudo das inferncias. Como uma breve
anlise pode constatar, a matria-prima das inferncias so as sentenas assertivas (ou
declarativas), ou seja, aquelas sentenas que declaram algo por exemplo, hoje
domingo, o assunto no difcil, nem tudo que reluz ouro, etc. Somente esse tipo
de sentenas expressa um pensamento completo, e pode ser considerado verdadeiro ou
falso. Para eliminar qualquer dvida, comparemos com sentenas no-assertivas, como
qual o seu nome?, abra a porta, por favor... ou que saudades da minha terra!.
Perguntas, ordens, pedidos ou expresses similares no declaram nada explicitamente,
nem podem ser verdadeiras ou falsas. Portanto, no so informaes que podem ser
usadas para se obter rigorosamente concluses por meio de inferncias tpicas. Por isso,
subentenda-se, de agora em diante, ao falarmos de sentenas, que estamos sempre nos
referindo a sentenas assertivas.

De modo geral, podemos distinguir dois tipos de sentenas em nossa linguagem
cotidiana: as simples (ou atmicas) e as compostas (ou moleculares).
Sentenas simples so aquelas que no so compostas por outra(s) sentena(s).

Por exemplo: o cu azul. Se decompusermos essa sentena, no
encontraremos outra como parte dela.
Sentenas compostas so aquelas compostas por outra(s) sentena(s).

Por exemplo: o cu no azul. fcil perceber que essa sentena foi obtida a
partir da sentena mais simples o cu azul mediante o acrscimo do advrbio de
negao no. Naturalmente, sentenas compostas podem ser empregadas para
construir outras sentenas compostas: no ocorre que o cu no seja azul.
Em nossa linguagem simblica, os sinais sentenciais representam sentenas
simples da lngua portuguesa (ou qualquer lngua), mas no so eles mesmos sentenas
porque nossa linguagem formal. O mais exato seria dizer que os sinais sentenciais
simbolizam estruturas sentenciais simples (ou esquemas de sentenas simples), sem
representar nenhuma sentena especfica (como o cu azul); mais ou menos como
as variveis numricas, na lgebra, no representam nenhum nmero especfico,
podendo, a depender do contexto, ser qualquer nmero.
2) operadores lgicos: ~ , , , , .
As sentenas compostas so obtidas a partir de outras sentenas (e estas, em ltima

instncia, a partir de sentenas simples) por meio de operaes lgicas. Essas operaes
tomam sentenas e geram novas sentenas, da mesma forma que as operaes
aritmticas tomam nmeros e geram outros nmeros. Reconhecemos o emprego de
operaes lgicas por meio da presena dos operadores lgicos, que denunciam o
processo em questo.
Por exemplo, consideremos a sentena simples a lgica uma cincia. Se
efetuarmos a operao lgica de negao nessa sentena, obtemos o seguinte: a lgica
no uma cincia. O advrbio de negao no caso, a palavra no funcionou
como o operador lgico que gerou a nova sentena a partir daquela outra mais simples.

Em nossa linguagem simblica, como na linguagem cotidiana, tambm usaremos
operaes lgicas; contudo, os operadores lgicos correspondentes estaro simbolizados
assim:
a) ~ (operador de negao): corresponde aos advrbios no, nem, nunca, etc. ou

a expresses como no o caso que ou no ocorre que, entre outras; como em o
cu no azul ou a formulao alternativa: no o caso que o cu seja azul.
b) (operador de conjuno) : corresponde conjuno e, como em o cu azul e a

grama verde.
c) (operador de disjuno): corresponde ao uso do ou na linguagem ordinria, como

em ou o cu azul ou a grama verde. Um detalhe importante a ser destacado que
embora, devido especificidade de nossa lngua portuguesa, o advrbio ou aparea
com freqncia duas vezes na mesma sentena disjuntiva, somente uma operao de
disjuno foi realizada. Isso fica mais claro quando comparamos as duas formulaes
gramaticais possveis para a mesma informao: ou o cu azul ou a grama verde
o mesmo que o cu azul ou a grama verde. A primeira ocorrncia do ou na
primeira frase um realce gramatical, para anunciar a disjuno desde o comeo.
Outro detalhe importante: esse operador o que normalmente chamamos de disjuno
inclusiva, que corresponde mais exatamente ao e/ou de nossa linguagem corrente, e
diferente da disjuno exclusiva (simbolizada como ), que tem o sentido mais restrito
de ou isto ou aquilo, mas no os dois. No exemplo acima, queremos dizer que ou o
cu azul ou a grama verde ou as duas coisas acontecem. Se estivssemos usando a
disjuno exclusiva, o sentido seria que ou o cu azul ou a grama verde, mas no
acontecem as duas coisas. Os sistemas de lgica quase sempre adotam a disjuno
inclusiva por ser um operador mais interessante; alm disso, a outra disjuno pode
ser facilmente definida a partir de uma restrio na disjuno inclusiva.
d) (operador condicional): s vezes, chamado de implicao, ele corresponde

relao de condio e conseqncia entre duas sentenas, e usualmente tem a forma:
se..., ento, ..., como em se o cu azul, ento a grama verde. importante

prestar ateno, ao identificar uma sentena condicional, em qual a sentena
antecedente (que indica a condio) em nosso exemplo, o cu azul e qual a
sentena conseqente (que indica a conseqncia) em nosso exemplo, a grama
verde; pois, devido flexibilidade da linguagem natural, podemos inverter a ordem de
aparecimento do antecedente e do conseqente, sem alterar a relao lgica entre eles.
Ou seja, se o cu azul, ento a grama verde tem exatamente a mesma estrutura
lgica de a grama verde se o cu for azul, porque a condio para a grama ser verde
continua sendo o cu ser azul. S a aparncia gramatical variou. Reconhecer casos
assim ser importante no momento de aplicar a lgica na anlise da linguagem.
e)
(operador bicondicional): s vezes, chamado de equivalncia, ele corresponde
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.
Uma vez que conhecemos todos os sinais de nossa linguagem simblica,

apresentaremos agora as regras para combin-los na construo das frmulas-bemformadas (abreviadas como fbfs), as quais corresponderiam, no portugus, s
sentenas construdas de acordo com as regras gramaticais.

Regras sintticas
a) Cada sinal sentencial uma frmula-bem-formada (fbf).
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.
b) Se a uma fbf, ento (~ a ) uma fbf.
Ou seja, se estivermos diante de uma fbf qualquer a , e acrescentarmos o operador de

negao e os respectivos parnteses da forma acima definida, a expresso resultante
tambm ser considerada uma fbf. Por exemplo: de acordo com a regra (a) acima, q
uma fbf, porque um sinal sentencial. Ora, aplicando-se a regra (b), temos que (~ q)
tambm uma fbf. Aqui, a varivel a foi substituda por q.
Naturalmente, essa regra de formao recursiva; isto , pode ser aplicada ao seu
prprio resultado e gerar automaticamente outra frmula. Aproveitando o exemplo
anterior: j vimos que (~ q) uma fbf de acordo com a regra (b); como a uma varivel
para qualquer fbf, aplicando-se novamente a mesma regra (b), temos que (~(~q))
tambm uma fbf! Desta vez, a varivel a foi substituda pela fbf (~ q).
Como pode ser facilmente percebido, com apenas essas duas regras iniciais, j
possvel construir um nmero infinito de fbfs: p, q, r, s, t, u, v, w, x, y, z, (~ p),
(~(~p)), (~(~(~p))), ... , (~ q), (~(~q)), (~(~(~q))), ..., (~ r), (~(~r)), (~(~(~r))), ...,
etc., etc.
c) Se a e b so fbfs, ento ( a b),( a b),( a b),( ab) so, cada uma, fbfs.
Ou seja, se tivermos duas fbfs quaisquer a e b , e as combinarmos em qualquer uma

das quatro formas descritas pela regra (c), teremos outras fbfs. As quatro possibilidades
em questo foram enumeradas juntas por terem basicamente a mesma estrutura: um

operador unindo as duas fbfs componentes, e os parnteses externos. Aqui tambm
temos de novo uma definio recursiva, e mais uma expanso no nosso conjunto
infinito de fbfs. Exemplos de aplicao da regra (c): como p e q so fbfs de nossa
linguagem formal, ento, (p q), (p q), (p q), (pq) tambm so, cada uma,
fbfs, e lem-se, respectivamente, como p e q, p ou q, se p, ento q e p se e
somente se q. Tambm sero fbfs, pelos mesmos critrios: (p (p q)), (p (p (p
q))),..., ((p q) q), (((p q) q) q),... , etc, etc.
Naturalmente, operadores lgicos diferentes podem entrar em cena para compor
fbfs, como em ((p q) q), ((p q)(p q)), (~(p q)), etc. O mais importante
a se considerar o estrito cumprimento das regras sintticas. Continuaremos o assunto
no prximo mdulo.
Tarefa: Chamaremos de comprimento de uma fbf a quantidade de sinais que ocorrem

nessa fbf. Por exemplo, o comprimento da fbf (p (p (p q))) 13. Considerandose isto, construir, de acordo com as regras sintticas, dez fbfs, cada uma de
comprimento igual ou maior a vinte, e encaminhar sua lista ao tutor do curso, no prazo
indicado (antes de estudar o prximo mdulo). Procurar diversificar as possibilidades de
arranjo, empregando, eventualmente, todos os operadores lgicos.

SENTENAS
MDULO 03 Regras sintticas: reconhecendo os operadores principais

a) saber explicar a importncia dos parnteses na construo de frmulas-bemformadas;
b) conseguir identificar o operador lgico principal em qualquer frmula-bem-formada.
No presente mdulo, prosseguiremos com a apresentao da sintaxe de nossa

linguagem simblica, complementando o mdulo anterior com alguns esclarecimentos.
Inicialmente, vamos repetir as seis estruturas possveis para fbfs, tais como
definidas pelas regras sintticas estudadas:
1. um sinal sentencial isolado

2. (~ a )
3. ( a b)
4. ( a b)
5. ( a b)
6. ( ab)
(onde a e b so duas fbfs quaisquer).
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)
(um sinal sentencial isolado no vem com parnteses)
(~ 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 ))
(o exemplo anterior omitiu parnteses e o atual excedeu-se neles. Um par desnecessrio

que fez a estrutura no corresponder a nenhum dos seis esquemas listados no incio...)
(~ (p q )
(faltou um parntese ao final da expresso, impossibilitando-a de se enquadrar em

algum dos seis esquemas.)
Os erros acima no so os nicos, mas so os mais tpicos. A regra de ouro ao se

construir qualquer fbf obedecer estritamente s regras sintticas ou, o que resulta na
mesma coisa, fazer cada fbf (inclusive as que compem uma fbf composta)
corresponder a um dos seis esquemas apresentados.
Por exemplo, a expresso ((p (~ q)) q) somente ser uma fbf se (p (~ q)) e
q forem ambas fbfs. Por sua vez, (p (~ q)) s ser fbf se p e (~ q) forem tambm
fbfs, e (~ q) s fbf se q tambm for. Ora, como p e q so fbfs pela regra (a), ento

(~q) tambm fbf por causa da regra (b), e assim tambm ( p ( ~ q)) e, finalmente,
((p (~ q)) q), ambas pela regra (c). Ou seja, as fbfs maiores sempre so
construdas com fbfs menores, e assim por diante, at chegarmos nas fbfs mais
simples ou atmicas (os sinais sentenciais), que so as menores de todas. Ns
chamamos essa propriedade de composicionalidade.
Analisando a mesma fbf da outra maneira (comparando-se com os esquemas),
temos que:
((p (~ q)) q) corresponde ao esquema 5: ( a b), onde a (p (~ q)) e b q . J
sabemos que q fbf, faltando verificar (p (~ q)), que corresponde ao esquema 3:
(a b), onde a p e b (~ q). J sabemos que p fbf, faltando verificar (~ q), que
em seguida constatamos corresponder ao esquema 2: (~ a ), onde a q, que sabemos
ser fbf. Em resumo, como, pelo esquema 1, p e q so fbfs, segue-se que a frmula
inteira ((p (~ q)) q) tambm uma fbf.
Outro esclarecimento importante nesta etapa de nossa exposio diz respeito
importncia dos parnteses. Tentaremos explicar por meio de exemplos. Consideremos,
por um momento, que fosse possvel construir a seguinte expresso como fbf, a partir
das regras sintticas:
pqr
Essa expresso seria ambgua, e, portanto, inapropriada para o clculo lgico.
Nesse caso, haveria a necessidade de, primeiro, eliminar a ambigidade para, em
seguida, considerar seu significado preciso.
Caso no tenha ficado evidente onde est a ambigidade, consideremos que a
expresso acima seja a representao de uma sentena composta na lngua portuguesa,
construda a partir das sentenas simples representadas por p, q e r. Por exemplo, p
poderia ser o professor est na sala, q poderia significar os alunos esto na sala, e r
seria est havendo aula. A expresso inteira poderia simbolizar duas informaes bem
distintas:
a) Se o professor estiver na sala e os alunos estiverem na sala, ento est havendo

aula.
b) O professor est na sala, e, se os alunos estiverem na sala, ento, est havendo
aula.
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 ))
Na fbf (a), o operador lgico mais importante o condicional, porque determina

de modo claro a qual esquema a fbf corresponde no caso, ao esquema 5. Na fbf (b), o
operador mais importante a conjuno, o que faz a fbf em questo corresponder ao
esquema 3. Chamaremos esses operadores lgicos de operadores principais, porque,
embora sejam os ltimos a serem colocados na construo da fbf inteira, por outro lado,
eles determinam a estrutura lgica mais geral desta fbf. Isso ser importante depois,
como veremos.
O operador lgico principal , portanto, aquele que determina a estrutura da fbf
inteira. Alguns exemplos podem ser muito teis:
a) (~ p ) - apenas um operador (negao) est presente; obviamente, o principal.

b) (~ (p q )) - o operador principal (para a fbf inteira) a negao.
c) (p (~ q)) - o operador principal a conjuno.
d) (( p q ) r ) - o operador principal o condicional.
e) (~ ((p (~ q)) q)) - o operador principal a primeira ocorrncia da negao.
f) ((~ (p (~ q))) q) - o operador principal o condicional.
g) (((~ (p (~ q))) q) (( p q ) r )) - o operador principal a segunda
ocorrncia do condicional, contando-se da esquerda para a direita normalmente.
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.

SENTENAS
MDULO 04 Regras sintticas: uma conveno para abreviar fbfs

a) ser capaz de explicar a diferena entre fbfs e fbfs abreviadas;
b) saber encontrar sempre a nica fbf que corresponda a cada fbf abreviada, a partir da
conveno para abreviao de fbfs;
c) conseguir apresentar corretamente fbfs abreviadas que correspondam a uma fbf, a
partir da conveno para abreviao de fbfs.
Dissemos anteriormente que alguns autores preferem ensinar a construir fbfs

apelando mais para uma certa intuio lgica e somente fazendo paralelismos com a
lngua portuguesa. Esse mtodo pode funcionar at certo ponto; porm, em situaes
mais complexas, o estudante pode se encontrar sem um referencial seguro para
solucionar problemas. Por isso, adotamos uma estratgia um pouco mais lenta e
detalhada, a qual, por outro lado, garante um aprendizado mais slido. De todo modo,
esta a maneira mais correta, do ponto de vista do rigor lgico e cientfico; enquanto a
outra abordagem termina vulgarizando demais o contedo sem preparar adequadamente
o estudante.
Uma das principais diferenas entre as duas abordagens a apresentao das
regras sintticas mais rigorosas na colocao de parnteses, o que permite uma
composio passo a passo mais segura (e quase mecnica) de fbfs mais complexas.
Repetimos: impossvel errar nessa composio, ao se obedecer rigorosamente s
regras sintticas.
Entretanto, uma vez garantida a familiaridade com esse processo, podemos, sem
maiores preocupaes, adotar uma conveno para lidar com expresses de nossa
linguagem simblica que sejam mais econmicas no emprego de sinais, sem prejuzo da
clareza ou do rigor. Essa conveno permitir incluir toda uma nova classe de
expresses gramaticalmente significativas, alm das frmulas-bem-formadas.
Antes, algumas definies inclusive, uma definio resumida para fbf, levandose em considerao as regras sintticas j estudadas.

Definio 1: Uma expresso da linguagem simblica qualquer seqncia finita de
sinais dessa linguagem.
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.
Definio 2: Uma frmula-bem-formada da linguagem simblica qualquer

expresso dessa linguagem construda de acordo com as suas regras sintticas.
Essa definio acima dispensa maiores explicaes, pois estivemos estudando as

fbfs da nossa linguagem formal nos ltimos dois mdulos.
Definio 3: Uma frmula-bem-formada abreviada qualquer expresso da

linguagem simblica cujo nico impedimento para ser considerada uma fbf a
ausncia de um ou mais pares de parnteses nos lugares apropriados.
Aqui est a novidade e onde precisamos de ateno. Uma fbf abreviada no

exatamente uma fbf, porque lhe faltam parnteses nos lugares certos, e apenas isto lhe
falta. Vejamos os seguintes exemplos:
a) ~ p - aqui se trata de uma fbf abreviada, porque se colocarmos um par de parnteses

(um parntese no incio e outro no final), temos uma fbf propriamente dita: (~ p) .
b) p ~ q - tambm uma fbf abreviada, porque a colocao de um par de parnteses

envolvendo a expresso com a negao e depois outro par envolvendo a expresso
inteira, de acordo com as regras sintticas, temos uma fbf: (p (~ q)) .
c) p ~
- no se trata de uma fbf abreviada, porque nenhum par de parnteses
acrescentado a esta expresso a deixaria de acordo com as regras sintticas, por causa da
posio estranha do operador de negao!
d) p ~ q - tambm no fbf abreviada, pela mesma justificativa do exemplo anterior.
e) p q r - uma fbf abreviada, que admite inclusive duas maneiras diferentes de

colocar parnteses (veremos logo mais que h apenas uma maneira correta de
acrescentar os pares de parnteses que estiverem faltando; mas, por enquanto,
admitiremos as duas possibilidades), resultando em duas fbfs distintas: (( p q ) r )
e ( p ( q r )) .
f) p - obviamente, no uma fbf abreviada, porque nenhum acrscimo de pares de

parnteses far essa expresso se adequar s regras sintticas, por causa da falta de uma
fbf depois do operador de conjuno!
g) (~ (p q ) - um caso curioso. No uma fbf abreviada, porque, embora falte apenas

um parntese no final para a expresso ser uma fbf, no foi a ausncia de um par de
parnteses que causou o problema. Ou seja, no h como se acrescentar um par de
parnteses e resolver o problema. Aprenderemos a colocar (ou retirar, quando for o
caso) parnteses sempre aos pares. A cada parntese que abre uma fbf ( esquerda
desta), outro deve fech-la ( direita, no final). O exemplo em questo foi to mal
construdo, que nem para ser considerado fbf abreviada serve, e constitui um erro muito
comum, quase sempre causado pela desateno ao se colocar parnteses na expresso
que se pretende transformar em fbf.
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:

Figura 2. Diagrama das categorias de expresses da linguagem simblica
expresses da linguagem formal

fbfs
abreviadas
frmulasbemformadas
Fonte: elaborao prpria, 2007
Cada conjunto (inclusive os dois subconjuntos) acima inclui uma quantidade

potencialmente infinita de elementos, sendo que tanto as fbfs como as fbfs abreviadas
so expresses da linguagem simblica, embora nem toda expresso seja fbf ou mesmo
fbf abreviada. Alm disso, o conjunto das fbfs totalmente disjunto (distinto) do
conjunto das fbfs abreviadas, o que pode ser facilmente compreendido com um pouco
de reflexo.
Mas, qual a utilidade de definir mais essa categoria: as fbfs abreviadas?
O que apresentaremos a seguir consiste numa conveno, bastante utilizada, que
estabelece uma estratgia para fazer corresponder, a cada fbf abreviada, uma nica fbf
da nossa linguagem simblica. Dessa maneira, expandimos infinitamente o conjunto das
expresses que podem ser significativas nessa linguagem, porque passamos a considerar
cada fbf abreviada como uma apresentao normalmente mais curta de outra fbf.
Alm disso, passamos a dispor de uma maneira mais simplificada e descongestionada
(com menos sinais) de construir frmulas.
Deixam de existir, por conseguinte, ambigidades na fbfs abreviadas, porque,
depois que explicarmos essa conveno, no teremos dvidas, ao nos depararmos com
qualquer fbf abreviada, de qual fbf lhe corresponde, e, como j sabemos, nenhuma fbf
ambgua.
Nosso esquema anterior receberia o seguinte acrscimo (onde cada letra grega
uma varivel tanto para fbfs como para fbfs abreviadas):

Figura 3. Diagrama da relao entre fbfs e fbfs abreviadas
fbfs
abreviadas:
a
b
g
...
fbfs:
d
e
f
...
Fonte: elaborao prpria, 2007
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...)
Conveno para fbfs abreviadas
Consideremos a seguinte precedncia hierrquica entre os operadores lgicos:

1. ~
2.
3.
4. 5.
Sendo assim, para encontrarmos a nica fbf que corresponda a uma fbf abreviada
qualquer, devemos proceder da seguinte forma:
1. Acrescentar, quando necessrio, o par de parnteses mais externo fbf abreviada,

bem como os pares de parnteses envolvendo fbfs abreviadas (no interior daquela) cujo
operador principal seja a negao. Por exemplo:
a) p q simplesmente acrescentar o par de parnteses mais externo e se obtm a fbf:
(p q )

b) ~ p acrescentar o par de parnteses que falta na expresso negada, que, neste caso,
tambm o mais externo: (~ p ).
c) p ~ q - acrescentar primeiro o par da expresso negada: p (~ q), e depois o par
mais externo: (p (~ q)).
d) p ( q r ) aqui, falta apenas o par mais externo: ( p ( q r )).
2. Acrescentar cada par de parnteses necessrio para transformar a fbf abreviada em

fbf, respeitando a ordem de precedncia entre os operadores lgicos, conforme definida
acima, na ausncia de parnteses indicando de outro modo. Por exemplo:
a) p q r o exemplo utilizado no mdulo anterior para explicar a importncia dos

parnteses. Na ocasio, mostramos que dois arranjos de parnteses so possveis,
resultando em duas fbfs diferentes: (( p q ) r ) e ( p ( q r )) , o que representa
uma ambigidade. Agora, com a presente conveno, apenas uma fbf deve corresponder
quela fbf abreviada. Analisando com ateno a estrutura da expresso, percebemos que
a dvida est em se conectamos primeiro a fbf q com p pela conjuno ou se
conectamos q com r pelo condicional. De acordo com a presente conveno, a
conjuno tem precedncia sobre o condicional (ver acima). Portanto, como no tem
parnteses nos obrigando a considerar de outro jeito, primeiro colocamos esse par de
parnteses:
( p q ) r , e ento o par mais externo: (( p q ) r ).
Ateno: a fbf obtida a nica que corresponde quela fbf abreviada. A nfase na
possibilidade de parnteses indicando de outro modo quer dizer que a nica maneira de
considerar primeiro q implicando r por meio do condicional seria se j houvesse um par
de parnteses conectando q e r, da seguinte forma: p ( q r ). Esta fbf abreviada, ao
receber o (nico) par de parnteses que lhe falta o mais externo, resultaria
automaticamente na outra possibilidade de fbf: ( p ( q r )).
b) ~ p q - outra situao bastante ilustrativa para explicar a questo da precedncia

entre operadores e da presena ou ausncia de parnteses. Sem a conveno, essa fbf
abreviada poderia representar duas fbfs muito diferentes, aps colocados os parnteses
nos lugares apropriados: ((~ p) q ) e (~ (p q )). H uma diferena grande entre as

duas fbfs. Faamos um paralelo com sentenas da lngua portuguesa, como fizemos no
ltimo mdulo com a fbf do exemplo anterior. Suponhamos que p represente a sentena
Helena fala grego e q represente Helena fala latim. Assim:
((~ p) q ) significa que Helena no fala grego, mas fala latim;

(~ (p q )) significa que no acontece que Helena fale grego e tambm fale latim (ou
seja, no acontece que ela fale as duas lnguas).
Um pouco de leitura cuidadosa suficiente para mostrar que so duas informaes

bastante distintas. Pois bem, qual fbf corresponde exatamente quela fbf abreviada?
Simples: primeiro, colocamos o par de parnteses da expresso negada (o operador de
negao tem precedncia sobre todos os outros, a no ser que haja parnteses indicando
de outro modo, como logo mostraremos): (~ p) q ; e depois os parnteses mais
externos: ((~ p) q ).
Ateno: caso a inteno fosse dizer a segunda leitura (ou seja, de que Helena no sabe
falar as duas lnguas), necessariamente deveria haver um par de parnteses na fbf
abreviada, garantindo que o operador de negao abrangesse a conjuno das duas
sentenas: ~ (p q ). Para conhecer a fbf que lhe corresponde, faltaria apenas
acrescentar o par mais externo: (~ (p q )).
c) p ~ q q
- conforme j aprendemos, colocamos os parnteses na seguinte
ordem: p (~ q) q.........(p (~ q)) q.........((p (~ q)) q).
d) ~ (p ~ q) q
pq
r observemos a colocao de parnteses, passo a
passo, de acordo com as duas clusulas convencionais at agora apresentadas:
~ (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))) q)
(( p q ) r ))
A ordem de colocao, passo a passo, de parnteses precisa respeitar a conveno. Uma

maneira bastante segura seguir colocando os parnteses primeiro nas fbfs com
negao (se houver), depois naquelas com conjuno (tambm se houver), em seguida,
de modo similar nas disjunes, e assim por diante, como foi feito no exemplo acima,
obedecendo-se ordem convencionada entre os operadores lgicos.
Outro ponto a ser destacado que, medida que os parnteses iam sendo colocados,
estvamos diante de outra fbf abreviada (por assim dizer, menos abreviada, ou com
mais parnteses que a anterior), e todas as fbfs abreviadas que foram aparecendo no
processo tambm correspondem quela nica fbf que aparece no final.
3. Quando trs ou mais fbfs aparecerem conectadas por seguidas ocorrncias do

mesmo operador lgico, e na ausncia de parnteses indicando de outro modo,
consideraremos as ocorrncias mais esquerda como tendo precedncia sobre as
demais. Por exemplo:
a) p
qr
representa ((p
- sem esta ltima clusula, ficaramos na dvida se esta fbf abreviada
q)
r) ou (p
(q
r)). Contudo, sabemos agora que a
primeira ocorrncia do operador bicondicional tem precedncia sobre a segunda, por

ocorrer mais esquerda da expresso; portanto, a colocao feita assim: (p q)
r, e depois o par mais externo: ((p
q)
r). Se a inteno fosse outra,
necessariamente a fbf abreviada deveria apresentar-se com o seguinte par de parnteses:

p (q r).
b) p p q r - de acordo com o que aprendemos, a conjuno tem precedncia

sobre o operador condicional; por isso, primeiro, colocamos parnteses da seguinte
forma: p ( p q ) r , e, ento, temos a situao prevista nesta ltima regra (trs
fbfs conectadas por repetidas ocorrncias do mesmo operador: p, (p q) , r).
Novamente, o condicional mais esquerda tem precedncia sobre o segundo, e os

parnteses devem ser colocados assim: ( p ( p q )) r ; para, em seguida,
acrescentar os mais externos: (( p ( p q )) r).
c) p (q r) (s t) (u v) - o presente exemplo visa destacar a importncia

dos parnteses, e sua precedncia sobre as estratgias dessa conveno. Nossa
conveno pretende estabelecer um parmetro para que mesmo as fbfs abreviadas no
produzam ambigidades na linguagem simblica, e isso aconteceria se no soubssemos
incluir parnteses nessas fbfs abreviadas seguindo um padro nico. Naturalmente,
quando os parnteses j estiverem presentes em algum trecho da fbf abreviada, eles
devem ser considerados, tendo preferncia total. Da, a insistncia das regras na
ressalva: na ausncia de parnteses indicando de outro modo.
Neste exemplo, as expresses entre parnteses, por acaso, j so fbfs (esto de acordo
com as regras sintticas), e se as substituirmos, apenas para efeito de visualizao, por
variveis, da seguinte forma: (q r) por a, (s t) por b, e (u v) por g; teremos a
seguinte estrutura geral para a fbf abreviada inteira: p a b g. Assim, fica mais
fcil percebermos que se trata de quatro fbfs conectadas seguidamente pelo operador
condicional. Da, s acrescentarmos os parnteses da maneira indicada: (p a) b
g......... ((p a) b) g......... (((p a ) b ) g). As letras gregas foram
usadas apenas para facilitar a visualizao da estrutura. A fbf encontrada , portanto:
(((p (q r)) (s t)) (u v)).
(Fim da conveno para atribuir a cada fbf abreviada uma nica fbf.)
Tarefa: resolver as questes abaixo e encaminh-las ao tutor para correo.
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

e) p q q ~ r
f) p q p ~ q q r
g) ~ ~ (~ p ~ ( p q ) q )
h) (((p (q ~ q)) q) q)
i) p ((~ q) p q ) (q r)
j) p q p q q r q r
2. Encontrar, de acordo com a conveno, a fbf abreviada de menor comprimento que

corresponde a cada fbf abaixo; ou seja, retirar, do modo correto, o mximo possvel de
parnteses nas fbfs a seguir, sem alterar a estrutura lgica da informao pretendida.
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)))
e) ((p (q q)) ( ~ r))
f) (((p (q p)) (( ~ q) q)) r)
g) (~ (~ ((~ p) ((~ ( p q )) q))))
h) (((p (q (~ p))) q) q)
i) (p ((((~ q) p) q ) (q r)))
j) (((p q) (p (q q))) ( r (q r)))

SENTENAS
MDULO 05 Estratgias para simbolizao de sentenas da linguagem natural

a) ser capaz de simbolizar corretamente, na linguagem simblica do clculo sentencial,
sentenas da lngua portuguesa;
b) saber apresentar corretamente sentenas da lngua portuguesa que correspondam a
fbfs do clculo sentencial.
Tendo adquirido, por meio de explicaes e exerccios, uma certa familiaridade

com as frmulas da linguagem simblica, estamos em condies de aprender agora
como simbolizar sentenas da linguagem natural. A utilidade dessa simbolizao deve
ser evidente, em se tratando de reconhecer as estruturas lgicas por trs de nossa
conversao cotidiana, e lembrando da importncia, j discutida, de uma linguagem
simblica para o clculo lgico de concluses. Alm disso, o emprego de uma
linguagem simblica, rigorosamente construda e isenta de ambigidades, permitir
esclarecer o prprio uso da linguagem ordinria, e naturalmente nos estimular a pensar
e falar com mais clareza.
importante ainda recordar outro ponto j explicado: somente as sentenas
assertivas (declarativas) da lngua portuguesa (ou outra linguagem natural qualquer)
podero ser adequadamente simbolizadas no tipo de lgica que estamos estudando.
Perguntas, ordens, pedidos e similares no nos interessam no presente estudo, uma vez
que no entram em cena na realizao de inferncias tpicas. Eles no expressam um
sentido completo, e, por isso, no podem ser considerados verdadeiros ou falsos. (S
para constar: existe uma lgica muito avanada, desenvolvida no sculo XX, e chamada
de lgica ilocucionria, que capaz de simbolizar e lidar com sentenas noassertivas, mas cujo estudo ultrapassaria nossos objetivos e o tempo destinado ao
presente curso).
No h exatamente um conjunto de regras rigorosas para a simbolizao de
sentenas, uma vez que se trata de aplicao da lgica e no de uma teoria lgica
propriamente dita; contudo, alguns exemplos ilustraro bastante como devemos
proceder com segurana em cada caso.

Um aviso: para efeito de simplificao, sem prejuzo do rigor, lidaremos tanto
com fbfs (propriamente ditas) como com fbfs abreviadas, chamando-as de agora em
diante pelo rtulo genrico de fbfs. A rigor, existe uma diferena entre as duas
categorias; mas, considerando-se que, mesmo que nos deparemos com uma fbf
abreviada, sempre ser possvel encontrar a fbf correspondente, segue-se que estaremos
em todos os casos lidando com fbfs, seja direta seja indiretamente.
Sendo assim, o primeiro ponto a ser destacado que sentenas simples devem ser
representadas por fbfs simples. Em seguida, cada operao lgica efetuada nas
sentenas em portugus deve ser adequadamente simbolizada por um operador lgico
na respectiva fbf. Acompanhemos com ateno os exemplos comentados a seguir, que
foram cuidadosamente escolhidos para explorar diversas possibilidades e prevenir
contra as confuses mais freqentes:
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.
Comentrio: outra sentena simples. Sentenas simples diferentes, obviamente, so

simbolizadas com sinais sentenciais diferentes para evitar confuses.
Aristteles no filsofo.
~p
Comentrio: a sentena acima resultado da operao lgica de negao sobre a

sentena Aristteles filsofo, e a fbf correspondente mostra isso claramente.
No o caso que Aristteles seja filsofo.
~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.
No ocorre que Aristteles no seja filsofo.
~~p
Comentrio: aqui vemos um exemplo de como simbolizar a negao de uma sentena

que j contenha uma negao. Ao mesmo tempo, mostramos outra maneira de expressar
a operao de negao na lngua portuguesa: no ocorre que....
Aristteles no nem filsofo.
~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.
Aristteles filsofo e Aristteles grego.
pq
Comentrio: um caso de conjuno, empregando as duas sentenas simples do incio.

Aristteles filsofo e grego.
pq
Comentrio: a mesma sentena do exemplo anterior, expressa de modo abreviado. Isso

ilustra novamente a diferena entre a aparncia gramatical e a estrutura lgica da
sentena. No uso cotidiano, ningum costuma expressar a conjuno entre duas
sentenas com o mesmo sujeito (ainda mais se possurem o mesmo verbo!) repetindo a
parte da sentena que idntica primeira, como fizemos no exemplo anterior.
Normalmente, por uma questo de economia ou eufonia, omitimos trechos da sentena
(ou, s vezes, os trocamos por pronomes pessoais ou demonstrativos, dependendo do
caso), quando esse trecho j apareceu como parte da sentena anterior; contudo, isso
no pode acontecer em uma linguagem simblica que pretende permitir um clculo do
raciocnio. Devemos ficar atentos para, quando formos simbolizar as sentenas da
lngua portuguesa, reconhecer correta e completamente as informaes expressas,
mesmo que estejam abreviadas, e consider-las, para efeito de simbolizao, como se
estivessem enunciadas explicitamente.
Ou Aristteles filsofo ou Aristteles grego.
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.
Aristteles filsofo ou Aristteles grego.
pq
Comentrio: a mesma sentena disjuntiva do exemplo anterior pode ser perfeitamente

escrita em portugus da forma acima, omitindo-se a primeira ocorrncia do ou. A
simbolizao feita do mesmo modo que antes, porque se trata exatamente da mesma
informao.

Aristteles ou filsofo ou grego.
pq
Comentrio: ainda analisando a mesma informao, outra maneira de express-la em

portugus.
Se Aristteles for filsofo, ento Aristteles grego.
pq
Comentrio: um exemplo de enunciado condicional em portugus e sua respectiva

simbolizao. A primeira sentena condio para a segunda, que conseqncia da
primeira. Observar essa ordem lgica ser muito importante para evitar confuses,
como mostraremos nos prximos exemplos.
Se Aristteles for filsofo, grego.
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.
Aristteles ser filsofo condio para Aristteles ser grego. p q
Comentrio: outra maneira de expressar, em portugus, a mesma informao. A

simbolizao denuncia que se trata da mesma informao dos exemplos anteriores.
Aristteles ser filsofo implica em Aristteles ser grego.
pq
Comentrio: outra maneira, um pouco mais erudita, mas gramaticalmente correta, de

expressar a mesma informao, empregando-se a conjugao infinitiva dos verbos.
Aristteles grego, se Aristteles for filsofo.
pq

Comentrio: ateno para essa possibilidade, que pode facilmente induzir ao erro!
Apesar de enunciarmos primeiro a sentena Aristteles grego, ela continua sendo
conseqncia da condio Aristteles filsofo, o que denunciado pela colocao
do se. A ordem de aparecimento das sentenas mudou em relao aos exemplos
anteriores, mas no a ordem lgica da implicao condicional. Por isso, a simbolizao
permanece a mesma. Esta mais uma ilustrao de como a aparncia gramatical pode
ser enganosa. Muitas vezes, por motivos de estilo retrico, enunciamos primeiro a
conseqncia e depois a condio, como tambm podemos dizer o efeito antes da causa,
ou comear um argumento pela concluso. De maneira nenhuma, isto significa que o
efeito preceda a causa, ou que a conseqncia preceda sua condio, ou que a concluso
gere as hipteses de um argumento.
Aristteles grego se e somente se Aristteles for filsofo.
qp
Comentrio: a operao lgica de equivalncia ou bicondicional estabelece que uma

sentena equivale a outra; ou seja, uma s pode acontecer se a outra ocorrer tambm, e
vice-versa. Cada uma condio e conseqncia, ao mesmo tempo, da outra; da, a
denominao bicondicional.
Aristteles ser grego equivale a Aristteles ser filsofo.
qp
Comentrio: uma construo erudita, em portugus, com a forma infinitiva conjugada

dos verbos para a mesma informao.
Aristteles s grego se for filsofo.
qp
Comentrio: uma apresentao da mesma informao, mais aproximada do uso

cotidiano.
Aristteles no grego, mas filsofo.
~qp

Comentrio: um exemplo fcil de combinao de operadores. Ateno para a
possibilidade de a conjuno ser realizada, em portugus, com a expresso adversativa
mas, que embora signifique na linguagem natural mais do que uma mera conjuno,
deve ser tratada como tal em nossa linguagem simblica, que bem mais simples do
que o portugus, naturalmente.
Aristteles no grego, nem filsofo.
~q~p
Comentrio: nossos dois ltimos exemplos visam ilustrar como a simbolizao de

sentenas pode tornar mais preciso o pensamento. Aqui, estamos negando que
Aristteles seja grego, e tambm negamos que ele seja filsofo. Comparemos com o
prximo caso.
No o caso que Aristteles seja grego e filsofo.
~(qp)
Comentrio: j neste ltimo exemplo, enunciamos de forma clara que no pode

acontecer de Aristteles ser grego e filsofo, ao mesmo tempo o que indicado pela
negao da conjuno daquelas informaes. No se est negando nem tampouco
afirmando nada acerca de ele ser grego (mas no ser filsofo), ou de ele ser filsofo
(mas no ser grego), ou mesmo de ele no ser nem grego nem filsofo. A restrio diz
respeito to somente a ele ser grego e filsofo, simultaneamente. Queremos chamar a
ateno para a preciso da sentena como foi construda em portugus. No uso corrente,
nem sempre assim, e muitas construes soam de modo ambguo, permitindo
simbolizaes diferentes (ou incompatveis), o que pode ser corrigido com um cuidado
maior na elaborao das sentenas em portugus. Essa uma das vantagens colaterais
de se estudar lgica.
Um ltimo comentrio importante e geral: a linguagem simblica que estamos

utilizando, devido a sua simplicidade, no permite reconhecer diferenas envolvendo
tempos ou modos verbais das sentenas em portugus. Por exemplo, para todos os
efeitos, a sentena Aristteles filsofo simbolizada da mesma maneira que
Aristteles foi filsofo, Aristteles ser filsofo, Aristteles seja filsofo, etc.
Para considerar essas variaes gramaticais, que tm seu respectivo impacto semntico

em alguns contextos bem especficos, precisaramos estudar linguagens simblicas bem
mais avanadas e complexas, como as empregadas pelas assim chamadas lgicas
intensionais, o que foge ao propsito deste curso, que tem carter introdutrio. Como
em toda cincia, existem muitos nveis de aprofundamento, e, para usar de uma
comparao, ningum precisa estudar clculo infinitesimal, na matemtica, para
aprender a calcular seu troco no caixa do supermercado!
Tarefa: resolver os exerccios abaixo e encaminh-los ao tutor para correo. A

criatividade ser bem-vinda, desde que se respeite o rigor na simbolizao.
1. Considerando-se p: Scrates fala grego, q: Scrates fala latim, r: Scrates fala

egpcio e s: Scrates poliglota, simbolizar as sentenas seguintes:
a) Scrates no fala nem grego.
b) Scrates no fala grego nem latim.
c) Scrates no fala nem grego nem latim.
d) No o caso que Scrates fale grego ou latim.
e) Scrates fala grego, mas no fala latim nem egpcio.
f) Ou Scrates fala grego, ou fala latim e egpcio.
g) Ou Scrates fala grego e latim, ou fala grego e egpcio.
h) Se Scrates fala grego, latim e egpcio, ento poliglota.
i) Scrates poliglota se fala grego e egpcio.
j) Scrates no poliglota, se falar grego mas no falar egpcio.
k) Scrates s poliglota se falar grego e egpcio.
2. Considerando-se p: A lgica cincia, q: A lgica arte, r: A lgica fcil e

s: A lgica importante, construir sentenas em portugus que correspondam s fbfs
seguintes:
a) ~ ( p q )
b) ~ q p
c) ~ p ~ q ~ r ~ s
d) p q s
e) ( p s ) ( q ~ p )
f) ( p s ) ( q r )

g) ~ ( ~ p ~ q )
h) ~ ( q ~ s )
i) ~ ( p ~ r )
j) ( p ~ q ) ( r ~ s )
k) p ~ r s

SENTENAS
MDULO 06 Regras semnticas: as tabelas-de-verdade
Objetivo: ao final deste mdulo, o estudante dever:

a) ser capaz de calcular corretamente a tabela-de-verdade para qualquer fbf construda
com at dois sinais sentenciais distintos.
Conforme explicado no mdulo 02, o estudo de uma linguagem normalmente

inclui uma sintaxe e uma semntica. A sintaxe tem a ver com os sinais que ocorrem
naquela linguagem e as regras para se combin-los em expresses legtimas. A
semntica, por sua vez, estuda os sentidos dos sinais e expresses sintticas, e as regras
associadas a esses sentidos.
At agora, em se tratando de nossa linguagem simblica, estivemos conhecendo
alguns de seus aspectos sintticos mais fundamentais, e prosseguiremos depois com
esse estudo. No presente mdulo, iremos explorar suas caractersticas semnticas; ou
seja, como interpretar semanticamente as fbfs da linguagem formal. Trata-se de um
estudo muito simples, visto que mesmo a sintaxe na qual ele se baseia tambm
bastante simplificada.
Nosso universo semntico conter apenas dois elementos: o valor verdadeiro
(simbolizado por V) e o valor falso (F). Como nosso objetivo fornecer um clculo
do raciocnio, no entraremos em discusses filosficas sobre o que significa o
verdadeiro ou o falso, e adotaremos a intuio cotidiana acerca dessas noes; ou seja,
uma sentena verdadeira se o que ela descreve acontece, e falsa se o que ela descreve
no acontece.
Normalmente, conseguimos decidir o valor das sentenas que usamos; ou, quando
no sabemos esse valor, podemos determinar as condies em que essas sentenas
seriam verdadeiras. Por exemplo, o valor de Aristteles foi um filsofo, referindo-se
ao famoso pensador grego, o verdadeiro. Mesmo que no soubssemos se essa
sentena expressa uma verdade ou uma falsidade, seramos capazes de dizer em quais
circunstncias ela seria verdadeira, a saber, a circunstncia de que o indivduo
conhecido como Aristteles tivesse a propriedade de ser filsofo. Chamamos a essas
circunstncias de condies de verdade.

Ocorre, porm, que, na nossa linguagem simblica, no temos como determinar o
valor da maioria das fbfs, simplesmente porque esse valor depender em ltima
instncia, como veremos, do valor dos sinais sentenciais que ocorrem nessas fbfs, e
esses sinais no significam nada especfico, sendo apenas estruturas formais
destitudas de contedo. Em outras palavras, diferente da sentena Aristteles foi
filsofo, que descreve uma situao (e expressa um contedo), um sinal sentencial
como p no expressa nenhum contedo, sendo uma mera abstrao formal para
representar uma sentena simples qualquer.
Por conta disso, ns apenas conseguiremos estabelecer possibilidades de
atribuio de valores aos sinais sentenciais, e calcular as conseqncias de cada uma
dessas possibilidades. Esse clculo de possibilidades de atribuio de valores ser feito
mediante o emprego de matrizes (seqncias de linhas e colunas) semnticas, chamadas
de tabelas-de-verdade.
O seguinte conjunto de definies apresenta uma descrio rigorosa do
funcionamento da semntica em questo. O linguajar tcnico no deve enganar o
estudante, fazendo parecer um assunto complicado. A representao das regras na forma
de tabelas mostrar o quanto esse clculo semntico se aproxima de nossa intuio
cotidiana. Alm disso, cada regra est devidamente acompanhada de comentrios e
exemplos, a fim de facilitar seu entendimento.
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}
Ou, representando como uma tabela de verdade:

a
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:
1. se f (a)= V, ento f (~ a)= F,

se f (a)= F, ento f (~ a)= V.
Em outras palavras, a negao de uma frmula sempre assume o valor oposto ao

da frmula que est sendo negada. Por exemplo, quando Scrates filsofo for
verdadeira, Scrates no filsofo ser falsa; e vice-versa. Representando
esquematicamente esse comportamento semntico na tabela de verdade, temos que:
a ~a
V F
F
2. se f (a)= V e f (b)= V, ento f ( a b )= V,

se f (a)= V e f (b)= F, ento f ( a b )= F,
se f (a)= F e f (b)= V, ento f ( a b )= F,
se f (a)= F e f (b)= F, ento f ( a b )= F.
Uma considerao preliminar importante: nessa regra, diferente da anterior,

quatro possibilidades de valores foram listadas, pois cada fbf admite duas possibilidades
e temos duas fbfs. Ora, combinando-se os dois valores sempre aos pares, temos, por
anlise combinatria, quatro arranjos possveis: o caso em que ambas as fbfs so V, o
caso em que a primeira V e a segunda F, o caso em que a primeira F e a segunda V,
e o caso em que ambas so F. A compreenso desse arranjo permitir, depois, construir
tabelas para fbfs de qualquer tamanho ou complexidade, como veremos.
Observando a regra, percebemos que uma frmula resultante da conjuno de
outras duas s ser verdadeira quando aquelas duas tambm o forem. Por exemplo, a

sentena Scrates filsofo e grego somente ser verdadeira se Scrates filsofo
for verdadeira e Scrates grego tambm for verdadeira. Basta uma das sentenas
componentes ser falsa para que no possamos mais dizer que as duas acontecem juntas.
Observemos na tabela de verdade abaixo, onde apenas a primeira atribuio de valores
s fbfs mais simples torna a fbf conjuntiva verdadeira:
a b
ab
V V V
V F
V F

se f (a)= V e f (b)= F, ento f ( a b )= V,
se f (a)= F e f (b)= V, ento f ( a b )= V,
se f (a)= F e f (b)= F, ento f ( a b )= F.
Em outras palavras, uma frmula resultante da disjuno de outras duas s ser

falsa quando aquelas duas tambm o forem. Isto acompanha nossa lgica intuitiva, pois,
nesse caso, no poderamos dizer ou uma coisa ou outra acontece, quando nenhuma
delas ocorre! Por exemplo, a sentena Scrates ou filsofo ou grego somente seria
falsa se Scrates filsofo fosse falsa e Scrates grego tambm fosse falsa. Basta
uma das sentenas componentes ser verdadeira para que possamos dizer que pelo menos
uma das alternativas acontece. Observemos na tabela de verdade abaixo, onde apenas a
quarta e ltima atribuio de valores s fbfs mais simples torna a fbf disjuntiva falsa:
a b
ab
V V V
V F
V V

Vale a pena recordar aqui que estamos lidando com o operador lgico da
disjuno inclusiva, o qual admite a possibilidade de ambas as alternativas ocorrerem
(serem verdadeiras) e mesmo assim a frmula disjuntiva inteira ser considerada
verdadeira. No exemplo com a sentena Scrates ou filsofo ou grego, temos uma
informao verdadeira, porque Scrates (foi) filsofo e tambm grego. (Esta
possibilidade corresponde primeira linha da tabela logo acima).
Se estivssemos lidando com a disjuno exclusiva, a sentena em questo seria
considerada falsa, porque o sentido da disjuno exclusiva o de que se tem ou uma ou
outra das alternativas, mas nunca ambas. A tabela para a disjuno exclusiva seria
diferente da tabela acima apenas na primeira linha, onde o valor resultante nesse caso
seria F.

se f (a)= F e f (b)= V, ento f ( a b )= V,
se f (a)= F e f (b)= F, ento f ( a b )= V.
Em outras palavras, uma frmula condicional s ser falsa quando o seu

antecedente (a condio) for verdadeiro e o seu conseqente (a conseqncia) for falso,
ao mesmo tempo; o que equivaleria a declarar que falso dizer que uma situao
implica em outra quando a primeira acontece e a segunda no. Como a conseqncia
no ocorreria, uma vez preenchida a condio? A no ser que seja falso dizer que havia
uma relao de condio e conseqncia entre as duas situaes! Por exemplo, a
sentena Se Scrates for filsofo, ento ser grego seria claramente falsa se Scrates
fosse filsofo, mas no grego; porque, nesse caso, a primeira situao no estaria
implicando na segunda.
J no caso em que tanto o antecedente quanto o conseqente forem verdadeiros,
podemos dizer que a relao de implicao do primeiro no segundo verdadeira. Isto
acontece mesmo que o contedo das duas sentenas parea no ter relao. No
exemplo citado, a intuio nos diz que no h nada no fato de ser filsofo que implique
em ser grego; contudo, o nvel da lgica que estamos estudando no capaz de lidar
com a pertinncia entre informaes, contentando-se com a pressuposio de que uma
verdade implicando em outra verdade sempre uma verdade. Um raciocnio similar

justifica por que sempre verdadeiro dizer que uma frmula falsa implica em outra
frmula falsa. (Para efeito de informao: h uma lgica muito avanada, chamada
lgica relevante, que tenta explorar a pertinncia do ponto de vista formal).
Por conta dessas razes, o comportamento semntico do operador condicional
costuma causar estranheza nos estudantes de lgica. O caso mais difcil de entender,
sem dvida, quando consideramos verdadeiro que uma frmula falsa implique em
uma frmula verdadeira (a terceira possibilidade na tabela abaixo). Existem algumas
boas razes, do ponto de vista terico, para que tradicionalmente esta conveno
funcione assim; infelizmente, discutir essas razes aqui seria impraticvel sem uma
explorao muito aprofundada do assunto. Entretanto, uma explicao bem simples
pode ser a seguinte: uma vez que o conseqente seja verdadeiro, no importa se o
antecedente acontece ou no, porque a suposta conseqncia estaria garantida. Parece
arbitrrio; mas lembremos que, nessa abordagem formal, no podemos depender do
contedo da sentena, e, alm disso, como dissemos, existem boas razes tericas para
que seja assim.
A tabela para o operador condicional ficaria, portanto, da seguinte maneira:
a b
ab
V V V
V F
V V

se f (a)= F e f (b)= V, ento f ( a b )= F,
se f (a)= F e f (b)= F, ento f ( a b )= V.
Em outras palavras, uma equivalncia entre duas frmulas s ser verdadeira

quando ambas as frmulas tiverem o mesmo valor (equivaler: valer o mesmo); de
outro modo, a equivalncia ser falsa (duas frmulas com valores diferentes,

obviamente, no valem o mesmo). Por exemplo, a sentena Scrates filsofo se e
somente se for grego somente verdadeira se tanto acontecer de Scrates ser filsofo
quanto ser grego, ou, alternativamente, se Scrates nem for filsofo nem grego. Aqui,
novamente, as questes de relevncia de contedo devem ser deixadas de lado em favor
de uma considerao estritamente formal. Observemos a tabela de verdade
correspondente:
ab
a b
V V V
V F
V F
No preciso memorizar todas essas regras, mas simplesmente compreender

cuidadosamente as tabelas-de-verdade. As tabelas genricas acima (para quaisquer fbfs
a e b ) sero as bases de todas as futuras tabelas, no importando seu tamanho ou grau
de complexidade. De modo resumido, s precisamos lembrar que
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

compostas at alcanar o valor da fbf inteira. Da a importncia da tarefa recomendada
no mdulo 03!
Para entender como aplicar o que aprendemos no clculo dos valores de uma fbf
qualquer, acompanhemos com ateno os exemplos resolvidos abaixo:
1. ~ ~ p
~p ~~p
Lembrando a regra semntica explicada antes: da primeira para a segunda coluna,

p funcionou como a; j da segunda para a terceira coluna, ~ p funcionou como a.
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

4. ~ q p
p
~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
Deve ficar evidente tambm a importncia de se identificar o operador lgico

principal em cada fbf composta (mesmo nas abreviadas). Um erro inaceitvel aqui seria
considerar, por exemplo, ~ q q como fbf componente e, assim, dedicar-lhe uma
coluna na tabela. Esse grave equvoco seria resultado de uma m compreenso ou das
regras sintticas ou da conveno para fbfs abreviadas. Se colocarmos todos os
parnteses necessrios para reconhecermos a fbf propriamente dita que corresponde ao
nosso exemplo, teramos (( p (~ q)) q ), impossibilitando claramente que ~ q q,
ou seja: ((~ q) q ), tivesse entrado na composio da fbf inteira. Isto tambm
demonstra a utilidade de nosso mtodo de aprendizagem (diferente de muitos cursos
disponveis no mercado), que enfatiza primeiro o estudo das fbfs com todos os
parnteses em seus devidos lugares, para depois trabalhar com fbfs abreviadas.
6. t s s t

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 )

SENTENAS
MDULO 07 Regras semnticas: identificando tautologias

a) ser capaz de construir a tabela-de-verdade para qualquer fbf;
b) conseguir construir tabelas-de-verdade abreviadas para qualquer fbf;
c) saber identificar, para qualquer fbf, se se trata de tautologia, contradio ou
contingncia.
Conforme explicamos anteriormente, o clculo dos valores possveis para

qualquer fbf depende, em ltima instncia, das atribuies de valores aos sinais
sentenciais que a compem. Assim como as fbfs mais complexas so construdas
sintaticamente a partir de fbfs mais simples por meio de operaes lgicas, assim
tambm o valor semntico das fbfs mais complexas calculado a partir dos valores das
fbfs mais simples que a compem. J estudamos as regras semnticas para se fazer esse
tipo de clculo. No presente mdulo, aprenderemos a aplicar essas regras para fbfs de
qualquer complexidade, e tambm uma maneira de economizar tempo e espao na
construo de tabelas muito extensas.
Primeiro, recordemos o que foi dito antes: cada fbf pode assumir at dois valores
semnticos (V ou F), e, alm disso, em ltima instncia, toda a construo de uma fbf
composta comea com fbfs simples (sinais sentenciais). Sendo assim, se uma fbf
contiver apenas um sinal sentencial, mesmo que combinado com diferentes operaes
lgicas para se obter fbfs compostas diferentes, apenas duas possibilidades iniciais de
atribuio determinaro todo o restante da tabela. Por exemplo, na tabela para a fbf
composta ~ ( p ~ p ):
~p
p~p ~(p~p)
V F

Se a fbf composta contiver, em vez disso, dois sinais sentenciais diferentes em
sua composio, cada um podendo ser verdadeiro ou falso, evidente que precisaremos
calcular quatro casos ou possibilidades. Esse foi nosso procedimento nos exemplos e
exerccios do mdulo anterior. S para reforar a visualizao, mais um exemplo:
pq ~(pq)
V V V
V F
V F
Portanto, o clculo das possibilidades de atribuio sempre depende dos sinais

sentenciais que entrarem na composio da fbf cuja tabela se quer calcular. Devemos
pensar nos dois nicos valores semnticos que estamos considerando (V e F) e
combin-los dois a dois (caso se trate de dois sinais sentenciais), trs a trs (no caso de
trs sinais), e assim por diante.
Suponhamos que a fbf foi construda a partir de trs sinais sentenciais. Teremos,
ento, oito possibilidades de arranjo combinatrio dos valores V e F, combinados em
seqncias de trs, como no seguinte exemplo de tabela para a fbf p q r :
qr pqr
V V V V
V V F
V F
V F
V F
V V V
V F
V F
Uma maneira simples de saber a quantidade de possibilidades aplicando-se a

frmula matemtica 2n, onde n o nmero de fbfs simples (sinais sentenciais)
diferentes que ocorrem na fbf composta. Assim, por exemplo, uma fbf contendo quatro

sinais sentenciais distintos em sua composio exigiria uma tabela-de-verdade com
dezesseis linhas (casos possveis de atribuio de valores), j que 24=16.
Outra informao importante, do ponto de vista prtico, diz respeito ordem na
distribuio dessas atribuies possveis na tabela. Para economizar tempo e evitar
erros, ao distribuir as combinaes iniciais de valores, sempre recomendvel proceder
assim: na primeira coluna, preencher metade das linhas com V e a outra metade com F;
na segunda coluna, se houver, das linhas com V, com F, e assim por diante; na
terceira, se houver, 1/8 das linhas com V, 1/8 com F, e assim por diante; at chegar o
caso de alternar uma linha com V, outra com F, at o final. Se a explicao no ficou
suficientemente clara, basta observarmos com ateno os exemplos resolvidos at agora.
Seguindo-se essa prescrio, nenhuma possibilidade esquecida, nem repetida; o que,
em qualquer dos casos, representaria um erro grave no clculo da tabela.
Uma vez que estejamos familiarizados com a construo passo a passo de uma
tabela-de-verdade, tendo de certa forma automatizado o procedimento, e tomando o
cuidado de no omitir nem repetir nenhuma coluna, linha ou combinao possvel de
valores, estaremos habilitados a lidar com uma maneira mais abreviada de realizar o
mesmo clculo. Chamaremos essa maneira de tabela-de-verdade abreviada, e
recomendamos resolver os prximos exerccios por esse mtodo, como preparao
cuidadosa para um mtodo ainda mais abreviado e importante, que ser ensinado no
prximo mdulo.
No h diferena essencial entre as tabelas abreviadas e aquelas mais detalhadas,
aprendidas at agora. A nica vantagem a economia de espao (e, talvez, de tempo);
pois, em vez de listarmos separadamente cada fbf que entrou na composio da fbf
inteira cuja tabela queremos calcular, ns simplesmente construiremos a tabela
diretamente abaixo da fbf inteira, situando as colunas correspondentes logo abaixo dos
sinais sentenciais (no caso das fbfs simples) ou dos operadores lgicos principais de
cada fbf (no caso das fbfs compostas). Naturalmente, a coluna com os valores da fbf
inteira (que antes era sempre a ltima direita da tabela) ser calculada abaixo do
operador principal da fbf. Vejamos os exemplos abaixo:
~p

V F
Ou seja, a coluna referente fbf p, que normalmente ficaria no incio, esquerda da

tabela, foi calculada logo abaixo de p, para, em seguida, calcular-se a coluna da fbf
inteira, o que foi feito diretamente abaixo do operador lgico principal da fbf inteira.
(Ateno: no existe coluna de valores para operador! A coluna abaixo da negao
corresponde aos valores calculados para a fbf inteira ~ p, e fica abaixo do operador
principal somente porque ele determina a estrutura lgica daquela fbf).
pq
V V
V F
No exemplo acima, distribumos primeiro os valores nas colunas de p e de q, do mesmo

modo como se estivssemos construindo uma tabela no-abreviada, e depois calculamos
os valores para p q diretamente abaixo do operador principal , a partir dos valores
nas colunas de p e de q .
~ ( p q)
~ (p q)
F
V V
Primeiro, foram distribudos os valores para p e q, combinados dois a dois da maneira j

explicada, e em colunas situadas abaixo desses sinais. Em seguida, a partir dessa
distribuio inicial, foram calculados os valores de p q , e distribudos abaixo do
operador principal dessa fbf (o condicional). Enfim, a partir dessa ltima coluna (abaixo

do condicional), foram calculados os valores resultantes para a fbf inteira ~ ( p q), e
listados abaixo do operador principal da fbf (a negao).
Observemos agora como ficariam aquelas trs tabelas apresentadas no incio deste
mdulo, quando resolvidas de modo abreviado ( importante compar-las com suas
verses no-abreviadas):
~ (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
evidente a economia de espao e esforo na resoluo de tabelas-de-verdade

abreviadas com relao s tabelas no-abreviadas. Como dissemos antes, exercitar a
resoluo das tabelas-de-verdade dessa maneira mais concisa ser um excelente preparo
para o mtodo que aprenderemos no prximo mdulo.

Antes, porm, de encerrar este mdulo, acrescentaremos trs importantes
definies envolvendo fbfs, e que tambm sero necessrias para o prximo mdulo. O
contedo dessas definies bastante claro e auto-explicativo.
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.
Exemplos de fbfs tautolgicas (sempre verdadeiras): p (q p), p ~ p, p q

q p, p (~ p q), etc.
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.
Exemplos de fbfs contraditrias (sempre falsas): p ~ p, p ~ p, ~ (p ~ p), p ~

p (p ~ p), etc.
Contingncia: dizemos que uma fbf contingente se e somente se, dependendo de

cada atribuio de valores aos sinais sentenciais que a compem, o valor resultante
para aquela fbf inteira varia pelo menos uma vez em relao aos demais casos.
Exemplos de fbfs contingentes (cujos valores variam, dependendo de cada linha em

suas tabelas-de-verdade): ~ ( p q ), ~ ( p q), p q ~ p, etc.
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.
Tarefa: Construir tabelas-de-verdade abreviadas para as fbfs abaixo, indicando, em

cada caso, se se trata de uma tautologia, uma contradio ou uma contingncia:

a) (p q) r
b) (p ~ p) ~ p
c) (p q) (( q r) (p r))
d) p ~ (q p)
e) ~ (p ~ p)
f) ~ ( p ~ p)
g) (p q r) p
h) p ~ p q ~ q
i) p ~ ~ q q
j) ~ (~ q q)

SENTENAS
MDULO 08 Regras semnticas: tabelas-de-verdade por reduo ao absurdo

a) saber explicar o princpio lgico do terceiro-excludo;
b) conseguir explicar a diferena entre prova direta e prova indireta;
c) ser capaz de testar se uma fbf ou no tautolgica, por reduo ao absurdo.
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.

As demonstraes por absurdo, em geral, so muito mais simples que as
construtivas, e, embora no convenam todos os cientistas, elas costumam ser bastante
satisfatrias enquanto no se consegue demonstrar construtivamente as mesmas teses.
Em princpio, se uma tese (por exemplo, um teorema) for vlida, deve ser possvel
construir uma prova direta para ela. Uma teoria formal que no atenda esse requisito
estar em srios apuros. Normalmente, enquanto no se consegue uma prova direta, as
demonstraes por absurdo so bem aceitas.
Em nosso caso, que pretendemos acompanhar a lgica mais frequentemente
empregada no cotidiano e no discurso cientfico em geral, o princpio do terceiro
excludo (e, portanto, as provas indiretas) continua bastante convincente e til. Por isso,
aprenderemos agora como empregar uma demonstrao por absurdo para testar quando
uma fbf ou no tautolgica; ao mesmo tempo em que conhecemos um exemplo dessa
estratgia demonstrativa.
No mdulo anterior, definimos uma fbf como tautologia sempre que essa fbf for
verdadeira, no importando a atribuio de valores aos seus sinais sentenciais; ou seja,
trata-se de uma frmula que sempre verdadeira, no importando as circunstncias
envolvidas. As tautologias so as fbfs mais importantes em um clculo lgico como o
que estamos estudando (sentencial), porque funcionam mais ou menos como as leis de
nossa teoria (em comparao com as leis da fsica ou da qumica, se estivssemos
lidando com uma cincia da natureza, em vez de uma cincia formal).
Qual seria a estratgia direta ou construtiva para se provar que uma fbf
tautolgica? Simples: calculando sua tabela-de-verdade! A tabela semntica para uma
fbf tautolgica mostra efetivamente que, para qualquer atribuio possvel de valores, o
valor resultante para a fbf inteira sempre V. Ou seja, por esse mtodo, ns somos
capazes de provar que a fbf em questo sempre verdadeira; e, por definio, uma fbf
que atenda esse requisito uma tautologia. Isso um claro exemplo de demonstrao
construtiva.
Como seria, ento, a aplicao de uma prova indireta ou por absurdo para se
provar a mesma coisa? Em vez de demonstrar que aquela fbf sempre verdadeira,
provaramos que ela nunca pode ser falsa! Logicamente, se ela nunca falsa (F), e como
s existem dois valores semnticos possveis (o V e o F), ela s pode ser sempre
verdadeira (V), e, portanto, uma tautologia! Observemos que, por esse caminho, ns
no provamos explicitamente (exibindo todos os casos possveis) que ela sempre

verdadeira, como no caso anterior, mas que ela nunca falsa, o que prova de modo
indireto que ela tem que ser sempre verdadeira.
preciso compreender bem o esprito lgico dessa estratgia para que
possamos aplic-la sem confuses no procedimento que apresentaremos a seguir. Por
isso, caso as explicaes acima no tenham ficado claras, recomendvel no
prosseguir antes de entend-las.
Ns aprenderemos agora como testar se uma fbf tautolgica ou no, sem
precisar exibir todos os casos possveis da tabela-de-verdade para saber se existe pelo
menos um caso de falsidade (o que a tornaria no-tautolgica) ou se em todos os casos
ela recebe o valor V (o que a tornaria tautolgica). Em outras palavras, por esse mtodo,
se existir pelo menos um caso de falsidade na tabela daquela fbf, encontraremos esse
caso sem precisar calcular todos os casos; por outro lado, se no existir caso de
falsidade naquela tabela, descobriremos isso sem precisar checar caso por caso.
Evidentemente, um procedimento bem mais prtico do que a tabela-de-verdade
convencional, ainda mais quando pensamos na possibilidade de precisarmos testar uma
fbf com cinco, seis ou mais sinais sentenciais diferentes (o que, de acordo com o que
aprendemos, exigiria, respectivamente, 32, 64 ou mais possibilidades de atribuio...).
Talvez, a maneira mais rpida de aprendermos a construir tabelas-de-verdade por
reduo ao absurdo seja por meio de exemplos resolvidos. Primeiro, examinemos com
ateno a tabela abreviada para a fbf p q:
V V V
V V F
F
V V
Como pudemos perceber, no se trata de uma tautologia, porque na quarta linha o

valor resultante para a fbf inteira F (destacado em vermelho, para facilitar); ou seja, a
fbf p q falsa quando tanto p quanto q forem falsos ao mesmo tempo. Para
descobrir isso, tivemos que construir toda a tabela, passo a passo, para encontrar um
nico caso de falsidade, o que impediu aquela fbf de ser uma tautologia.

Para chegar ao mesmo resultado (saber que no se trata de uma tautologia), pelo
mtodo indireto (por absurdo), basta reconstruir um nico caso de falsidade, se ele
existir. Faremos o seguinte: primeiro supomos o contrrio do que queremos provar.
Como queremos testar se a fbf uma tautologia, precisamos supor que ela no uma
tautologia, o que equivale a dizer que sua tabela-de-verdade contm pelo menos um
caso de falsidade na coluna de valores para a fbf inteira. Da, seguimos preenchendo
todas as condies necessrias para garantir que essa fbf possa ser falsa. Se
conseguirmos fazer isso sem problemas, a fbf em questo pode ser falsa (ou seja, ns
teremos conseguido falsific-la); e, evidentemente, no ser uma tautologia.
Aproveitando a mesma fbf do exemplo, primeiro supomos que ela no
tautologia; ou seja, que ela pode ser falsa, e indicamos isso num grfico:
p q
F
Em seguida, preenchemos a condio necessria para que essa suposio se sustente.

Como se trata de uma fbf disjuntiva, de acordo com o que aprendemos, s existe uma
possibilidade de ela ser falsa: quando ambas as fbfs que a compem forem tambm
falsas. Sendo assim, indicamos isso no esquema:
p q
F
F
F
Pronto! Conseguimos falsificar a fbf! Reconstrumos a nica linha da tabela-de-verdade

daquela fbf em que ela falsa. No precisamos mais averiguar as outras linhas para
saber que no uma tautologia. Obviamente, sendo falsa pelo menos uma vez, no
podemos mais dizer que ela verdadeira em todos os casos. Para ficar mais evidente o
que fizemos, s comparar as duas tabelas abaixo, e a relao entre os valores
encontrados:
V V V

p q
F
V V F
F
V V
F
F
De certa maneira, como podemos observar no esquema acima, como se

estivssemos reconstruindo, de trs pra frente (do valor final para os anteriores), aquela
linha da tabela-de-verdade que nos interessa (o caso em que a fbf inteira fica falsa).
O que aconteceria com a tabela por absurdo se a fbf fosse uma tautologia? Afinal,
estaramos supondo que uma frmula que sempre verdadeira pode ser falsa! Essa
suposio absurda s poder causar problemas, como veremos.
Para efeito de comparao, consideremos a tabela abreviada abaixo, que mostra
efetivamente ser uma tautologia a fbf p (q p). (Para facilitar, os valores
calculados para a fbf inteira esto destacados em vermelho).
(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)
Ateno: j encontramos o valor de p. Continuando: pelo que aprendemos nos mdulos

anteriores, para q p ser falsa, como se trata de outra fbf condicional, s existe uma
possibilidade: q tem que ser V, e p tem que ser F.
(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.

a) ~ ( p ~ p)
(p
p)
F(V)
V(F)
V(F)
F(V)
Explicao: Para testar, por reduo ao absurdo, se a fbf ~ ( p ~ p) uma tautologia,

supomos o contrrio; ou seja, que no tautolgica. Para isso acontecer, basta uma
situao: que ela tenha a possibilidade de ser falsa. Supomos, ento, que ela admite essa
possibilidade e seguimos preenchendo todas as condies necessrias para que essa
suposio inicial se sustente.
Assim, acompanhando aquela resoluo de baixo pra cima: para que ~ ( p ~ p) seja
falsa, ( p ~ p) tem que ser verdadeira; como se trata de uma frmula conjuntiva, para
ser verdadeira, p tem que ser V e ~ p tambm tem que ser V. Ora, para ~ p ser V, p tem
que ser F; mas, j tnhamos encontrado h pouco o valor de p, que era V. Logo, p no
pode ser F!
Sendo assim, agora acompanhando de cima pra baixo (destacado em vermelho no
esquema): p tem que ser V; logo, ~ p tem que ser F; ento, ( p ~ p) tem que ser F; e,
finalmente, ~ ( p ~ p) tem que ser V. Foi impossvel falsificar essa fbf; portanto, ela
sempre verdadeira, e, por definio, uma tautologia.
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

isso acontece, qualquer uma das possibilidades pode ser colocada na tabela, contanto
que o resultado final no seja alterado. No exemplo acima, colocamos o caso em que q
F e r V; mas, poderamos ter usado qualquer uma das trs possibilidades.
Descobrimos que a fbf em questo no uma tautologia, apenas exibindo uma das
linhas da tabela-de-verdade em que ela falsa.
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

F
d) p q p q
p
F(V)
F(V)
F(V)
F(V)
Explicao: o teste acima est incompleto! Acompanhemos a resoluo do mesmo:

para a fbf p q
pq
ser F, j que se trata de um enunciado bicondicional, h
duas possibilidades, de acordo com as regras semnticas: 1) p q ser V e p q ser F,

ao mesmo tempo; e 2) p q ser F e p q ser V, tambm ao mesmo tempo.
Escolhemos, no esquema, comear com a primeira possibilidade. Da, para p q ser V,
por se tratar de uma fbf conjuntiva, s existe uma possibilidade: a de que tanto p quanto
q sejam ambos V. Continuando: do outro lado do operador bicondicional, para que p
q seja F, por ser uma fbf disjuntiva, tambm s existe uma possibilidade: a de que tanto
p quanto q sejam ambos F, o que resulta numa contradio, ao mesmo tempo, nos
valores de p e de q, os quais j tinham sido encontrados e eram ambos V. Corrigindo os
valores (em vermelho), percebemos que a suposio inicial no se sustentou.
Isso prova que a fbf tautolgica, certo? Errado! Ainda existe outra chance de ela ser
falsa: quando p q for F e p q for V, como acabamos de explicar. Nossa finalidade
esgotar as possibilidades da fbf ser falsa; porque somente assim garantiremos que ela
sempre verdadeira. Ao preencher a tabela com essa segunda possibilidade, contudo,
descobrimos que ela torna a fbf inteira falsa:
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!

Como resolvemos testar primeiro a outra possibilidade, no conseguimos falsificar logo
a frmula, tendo que testar esse outro caso. Se houvssemos comeado por esse ltimo,
no precisaramos ter feito o primeiro. Com o acmulo de experincia e um pouco de
sagacidade, seremos capazes de contornar esse tipo de dificuldades, evitando clculos
desnecessrios.
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
q p seja F, por se tratar de uma fbf bicondicional, temos novamente duas
possibilidades: 1) p q sendo V e q p sendo F; e 2) p q sendo F e q p sendo V.

A primeira tabela testou a primeira possibilidade, que pode ser facilmente
compreendida, luz dos exemplos anteriores. Entretanto, ao encontrarmos o absurdo e
no conseguindo falsificar a fbf, restava ainda a outra possibilidade de teste.
Assim, para p q
q p ser F, nesse segundo caso, p q tinha que ser F e q p
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

possibilidades; mas, pelo que aprendemos do exemplo anterior, no podemos usar
qualquer uma delas aqui, pois somos obrigados a preservar os valores j encontrados.
Faremos, ento, o seguinte: repetimos um dos valores j encontrados (no importa qual
dos dois) e calculamos qual tem que ser o outro. Em nosso caso, repetimos, dentro de p
q, o valor j encontrado de p (V), e vimos que, para p q ser F como queramos,
necessariamente q tinha que ser F, o que contradizia o valor de q encontrado antes! As
correes subseqentes esto destacadas em vermelho.
S ento podemos dizer que se trata de uma tautologia. Apesar da longa e detalhada
explicao, o procedimento muito rpido e simples, uma vez compreendido.
Recomendamos ao estudante tentar compreender, sem mais explicaes, o ltimo

exemplo resolvido. Para facilitar, ele foi detalhado passo a passo.
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

(p
q)
((q r) (p r))
F
F(V)
V(F)
F
F
F
F(V)
Tarefa: Testar, por reduo ao absurdo, se as fbfs abaixo so tautologias, e enviar os

clculos para o tutor. (Se o estudante desejar mais exerccios, pode aplicar esse mtodo
em quaisquer das fbfs dos exerccios anteriores).
a) (p q) r
b) (p ~ p) ~ p
c) (p q r) p
d) p ~ p q ~ q

CursoRaciocinioLogico Trecho

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

CursoRaciocinioLogico Trecho

Enviado por

Direitos autorais:

Formatos disponíveis

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

UNIDADE II - UMA LINGUAGEM SIMBLICA PARA O CLCULO LGICO DE

Objetivos: ao final deste mdulo, o estudante dever:

Uma das grandes vantagens da lgica contempornea sobre a tradicional foi a

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

1) sinais sentenciais: p, q, r, ..., z.

Os sinais sentenciais (s vezes, tambm chamados sinais proposicionais, variveis

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

Sentenas simples so aquelas que no so compostas por outra(s) sentena(s).

Sentenas compostas so aquelas compostas por outra(s) sentena(s).

As sentenas compostas so obtidas a partir de outras sentenas (e estas, em ltima

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

a) ~ (operador de negao): corresponde aos advrbios no, nem, nunca, etc. ou

b) (operador de conjuno) : corresponde conjuno e, como em o cu azul e a

c) (operador de disjuno): corresponde ao uso do ou na linguagem ordinria, como

d) (operador condicional): s vezes, chamado de implicao, ele corresponde

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

(operador bicondicional): s vezes, chamado de equivalncia, ele corresponde

Uma vez que conhecemos todos os sinais de nossa linguagem simblica,

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

a) Cada sinal sentencial uma frmula-bem-formada (fbf).

b) Se a uma fbf, ento (~ a ) uma fbf.

Ou seja, se estivermos diante de uma fbf qualquer a , e acrescentarmos o operador de

Ou seja, se tivermos duas fbfs quaisquer a e b , e as combinarmos em qualquer uma

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

Tarefa: Chamaremos de comprimento de uma fbf a quantidade de sinais que ocorrem

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

Objetivos: ao final deste mdulo, o estudante dever:

No presente mdulo, prosseguiremos com a apresentao da sintaxe de nossa

1. um sinal sentencial isolado

(um sinal sentencial isolado no vem com parnteses)

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

(o exemplo anterior omitiu parnteses e o atual excedeu-se neles. Um par desnecessrio

(faltou um parntese ao final da expresso, impossibilitando-a de se enquadrar em

Os erros acima no so os nicos, mas so os mais tpicos. A regra de ouro ao se

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

a) Se o professor estiver na sala e os alunos estiverem na sala, ento est havendo

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

Na fbf (a), o operador lgico mais importante o condicional, porque determina

a) (~ p ) - apenas um operador (negao) est presente; obviamente, o principal.

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

Objetivos: ao final deste mdulo, o estudante dever:

Dissemos anteriormente que alguns autores preferem ensinar a construir fbfs

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

Definio 2: Uma frmula-bem-formada da linguagem simblica qualquer

Essa definio acima dispensa maiores explicaes, pois estivemos estudando as

Definio 3: Uma frmula-bem-formada abreviada qualquer expresso da

Aqui est a novidade e onde precisamos de ateno. Uma fbf abreviada no

a) ~ p - aqui se trata de uma fbf abreviada, porque se colocarmos um par de parnteses

b) p ~ q - tambm uma fbf abreviada, porque a colocao de um par de parnteses

- no se trata de uma fbf abreviada, porque nenhum par de parnteses

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

d) p ~ q - tambm no fbf abreviada, pela mesma justificativa do exemplo anterior.

e) p q r - uma fbf abreviada, que admite inclusive duas maneiras diferentes de

f) p - obviamente, no uma fbf abreviada, porque nenhum acrscimo de pares de

g) (~ (p q ) - um caso curioso. No uma fbf abreviada, porque, embora falte apenas

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

expresses da linguagem formal

Fonte: elaborao prpria, 2007

Cada conjunto (inclusive os dois subconjuntos) acima inclui uma quantidade

MATERIAL DIDTICO DE CIRCULAO RESTRITA NO DISTRIBUIR!

Fonte: elaborao prpria, 2007