Академический Документы
Профессиональный Документы
Культура Документы
No importa a letra utilizada para simbolizar cada fragmento de pensamento, mas sim a utilizao
destes smbolos para o auxlio da interpretao, visando representar a forma como o pensamento foi
construdo.
02
Este estudo clssico do pensamento o fundamento da Lgica Matemtica, que tem aplicao em
vrias reas do conhecimento, tais como Computao, Filosofia e Matemtica.
Para um profissional da rea da computao, necessrio tornar-se apto a
representar um conhecimento em uma linguagem lgica, para que
futuramente esteja pronto ao aprendizado especfico da rea, como, por
exemplo, o aprendizado de uma linguagem de programao utilizada no
desenvolvimento de um software ou o aprendizado do funcionamento de
circuitos lgicos constantes em uma placa-me do computador.
Sendo assim, devemos buscar o exerccio do raciocnio lgico, por meio da representao do
pensamento no formato de uma linguagem fcil e dedutvel, que chamamos de lgica proposicional.
2014 - AIEC - Associao Internacional de Educao Continuada
1
03
Voltando ao exemplo inicial:
Todo humano mortal. Leonardo humano. Logo, Leonardo mortal.
Diz-se, na linguagem da lgica das proposies, que a frase Todo humano mortal uma proposio
lgica. Por qu? Porque esta frase constituda por uma combinao de palavras que conseguiram
exprimir um pensamento completo.
Da mesma forma, a frase Leonardo humano uma proposio, pois o leitor consegue compreender
por completo o pensamento expressado.
A terceira parte do exemplo, o trecho Logo, Leonardo mortal uma proposio diferenciada, pois se
trata de uma concluso (ou uma consequncia) da anlise conjunta das duas primeiras proposies.
Sendo assim, fica fcil notar que a lgica matemtica no constituda apenas por proposies lgicas,
j que estas podem ser combinadas e conectadas por outros elementos, resultando na compreenso
final da leitura, de forma similar ao que ocorre com a representao alfabtica e gramatical na Lngua
portuguesa.
Proposio
Proposio uma declarao que exprime o pensamento de forma completa, por meio de termos,
palavras ou smbolos.
04
Os elementos usados para combinar uma ou mais proposies sero estudados com mais detalhe
posteriormente nesta disciplina, mas possvel adiantar uma notao que representa o pensamento
Todo humano mortal. Leonardo humano. Logo, Leonardo mortal na lgica das proposies,
como vemos a seguir.
O pensamento: Todo humano mortal. Leonardo humano. Logo, Leonardo mortal pode tambm
ser traduzido em:
Se todo humano mortal e Leonardo humano, ento Leonardo mortal.
Substituindo cada pensamento completo (chamados de proposio) por letras maisculas quaisquer,
temos a representao:
Se A e B, ento C
Onde:
2014 - AIEC - Associao Internacional de Educao Continuada
2
05
Esta interessante traduo de um pensamento em uma combinao de smbolos da lgica das
proposies apenas uma forma de organizar as ideias, que facilita o raciocnio lgico necessrio
interpretao de um pensamento expressado.
Certamente j nos expressamos, ou j vimos algum se expressar, por meio de sentenas iguais ou
similares s listadas abaixo:
06
As sentenas declarativas so proposies lgicas e, portanto, so bivalentes.
Assim, a lgica das proposies adota como princpios (ou axiomas) as duas seguintes regras
fundamentais do pensamento:
07
No entanto, no possvel atribuir um valor lgico de verdade ou falsidade a toda sentena da lngua
portuguesa. As sentenas interrogativas, por exemplo, no so consideradas como proposies lgicas,
como o caso da frase Onde voc mora?.
Da mesma forma, as sentenas imperativas, como caso de Estudem mais! e Leiam o livro de lgica
do Edgard Filho.; e as exclamativas, tais como Nossa! e Feliz Natal!, tambm no so consideradas
como proposies lgicas.
Podemos, ento, concluir que:
No acredito nisso!
Que absurdo!
Feliz aniversrio!
Pegue um caf!
08
PROPOSIES LGICAS
A proposio o conceito mais elementar da lgica em estudo. O nome proposio vem de propor, ou
seja, significa submeter apreciao ou requerer um juzo.
Para que a referida apreciao seja possvel, destacamos que a sentena deve ser declarativa e deve
exprimir o pensamento de forma completa, por meio de termos, palavras ou smbolos.
Ou seja, so proposies:
(2+2) = 4.
humano mortal.
3 um nmero mpar.
(6-2) = 5.
Ao ler esses exemplos de proposies, nota-se que as mesmas permitem a avaliao de verdade ou
falsidade quanto ao fato afirmado pela sentena. Essa avaliao o que chamamos de definio do
valor lgico de uma proposio.
09
10
11
Habitualmente, as proposies simples e compostas so diferenciadas em suas notaes sendo
representadas, respectivamente, por letras minsculas e letras maisculas.
Voltando aos exemplos anteriores, podemos usar as seguintes representaes:
p: Daniele arquiteta.
P: Mrcia mdica e Brbara advogada.
Quanto notao das proposies compostas, pode-se detalhar a representao da seguinte forma:
q: Mrcia mdica.
r: Brbara advogada.
P: Mrcia mdica e Barbara Advogada
12
2014 - AIEC - Associao Internacional de Educao Continuada
7
Esta notao mais detalhada de uma proposio composta usada quando se deseja reforar que a
proposio composta P constituda pelas proposies simples q e r.
A seguir, no estudo de conectivos lgicos, veremos que a proposio composta pode ser tambm obtida
pela a combinao de outras proposies compostas.
13
CONECTIVOS DE PROPOSIES
So denominados conectivos os elementos usados para construir novos pensamentos, formando
proposies novas a partir de outras proposies.
Conectivo ou
Q: Mrcia mdica ou Priscila mdica.
Q: Sou inteligente ou o professor Didtico.
Conectivo ou... ou
R: Um animal de estimao ou macho ou fmea.
R: Luiz ou paulista ou mineiro.
Conectivo Se - ento
S: Se Carlos engenheiro civil, ento sabe bem matemtica.
S: Se beber, ento no dirija.
2014 - AIEC - Associao Internacional de Educao Continuada
8
Conectivo se e somente se
T: Irei ao aniversrio no clube se e somente se fizer sol.
T: Dirija se e somente se no beber.
Conectivo no
Z: No choveu ontem.
Z: No durmo cedo frequentemente.
14
Com exceo do conectivo no, os exemplos anteriores so de proposies compostas obtidas a partir
da combinao de duas proposies simples.
Mas vale ressaltar que tambm so ditas compostas as proposies formadas por outras proposies
compostas. Veja a seguir dois exemplos:
15
RESUMO
A lgica das proposies mapeamento do formato e das regras do pensamento, possibilitando a
verificao da verdade ou falsidade deste pensamento.
Para tanto, o pensamento precisa ser completo, ou seja, de claro entendimento. Quando isso ocorre,
chamamos o pensamento de proposio ou de proposio lgica.
Uma proposio ou verdadeira ou falsa, sendo excluda a possibilidade de um terceiro valor, alm de
no poder ser verdadeira e falsa ao mesmo tempo.
Sentenas interrogativas, imperativas e exclamativas no so proposies lgicas, pois no emitem um
juzo sobre o assunto e, portanto, no se pode atribuir um valor de verdade ou falsidade.
Classificam-se as proposies em simples ou compostas. As proposies simples so aquelas de
expressam apenas um fato, mas, por outro lado, as proposies compostas so aquelas constitudas por
dois ou mais fatos declarados. Para a combinao dos fatos, uma proposio composta conta com os
conectivos e, ou, ou...ou, se...ento e se e somente se. Sem esquecer do operador de negao
no, que inverte o sentido da proposio original.
Bivalentes
Como j visto, a lgica das proposies denominada de lgica bivalente, pois uma proposio pode ser
interpretada com um desses dois valores lgicos: verdade e falsidade. importante lembrar tambm
que:
Verdadeiro e Falso so os dois nicos valores lgicos a serem assumidos por uma proposio,
excluindo totalmente a existncia de um terceiro valor. Este o princpio do terceiro excludo.
Uma proposio tem que assumir um valor lgico por vez, no podendo ser verdade e falsidade
ao mesmo tempo. Este o princpio da no contradio.
02
H tambm as sentenas declarativas que no possuem valor lgico popularmente conhecido. Observe
abaixo:
De qual Leila se est falando? De qual Denis se est falando? No h como saber. Logo, no h como
interpretar imediatamente a declarao. Ao contrrio do que o ocorreria com a sentena O inventor
Alberto Santos Dumont nasceu no Brasil, que sabemos que verdadeira.
De qual Carlos se est falando? No h como saber. Logo, no h como interpretar imediatamente a
declarao.
De qual Lucas se est falando? No h como saber. Logo, no h como interpretar imediatamente a
declarao.
De qual Marcos se est falando? No h como saber. Logo, no h como interpretar imediatamente a
declarao.
Onde est a pessoa? De qual praia se est falando? No h como saber. Logo, no h como interpretar
imediatamente a declarao.
Para uma proposio cujo valor lgico no nico e conhecido, a anlise dever prever as duas
possibilidades de interpretao, ou seja:
Possibilidade 2
03
Perceba que, at o momento, os exemplos foram de proposies simples.
Vale lembrar que uma proposio simples pode ter o seu valor lgico alterado por meio da negao,
mas, ainda que negadas, permanecem como proposies simples, por continuarem sendo constitudas
por um pensamento nico, conforme demonstram os exemplos abaixo:
Exemplo 1:
p: O automvel um meio de transporte.
p uma proposio simples de valor lgico verdadeiro. Ou seja, V(p) = V
Negao de p: O automvel no um meio de transporte.
Ou seja, V(negao de p) = F
Exemplo 2:
p: O filho de Leila e Denis nasceu no Brasil.
Negao de p: O filho de Leila e Denis no nasceu no Brasil.
V(p)
V(negao de p)
Possibilidade 1
Possibilidade 2
Proposies simples
Proposio simples aquela constituda por um nico pensamento, por isso tambm chamada de
proposio atmica, ou seja, quando a proposio a nica parte integrante de si prpria.
04
A negao o nico conectivo lgico sem a funo de combinar duas ou mais proposies lgicas, ao
contrrio dos exemplos a seguir, que so todos de proposies compostas:
Conectivo lgico
So denominados conectivos lgicos os elementos usados para construir novos pensamentos,
formando proposies novas a partir de outras proposies. So eles: no, e, ou, ou...ou,
se...ento e se e somente se.
Proposies compostas
Uma proposio composta constituda por duas ou mais proposies. Assim, a combinao de duas
ou mais proposies simples resulta em uma proposio composta, tambm chamada de proposio
molecular.
05
Anlise da composio 1: Todo ano possui 12 meses e inicia com o ms de janeiro.
Analisaremos, a seguir, algumas proposies. Como j vimos os passos necessrios para a anlise,
procure fazer a sua anlise antes de clicar nos links Soluo.
Dentre as sentenas exemplificadas, elencaremos duas proposies com valores lgicos de juzo
conhecido. So elas:
p: todo ano possui 12 meses.
q: todo ano inicia com o ms de janeiro.
Combinando estas proposies simples utilizando vrios tipos de conectivos lgicos, tornam-se possveis
variadas anlises de estrutura do pensamento e de interpretao de valor lgico final.
Observe a primeira combinao na declarao:
Na lgica das proposies, a anlise da estrutura do pensamento deve partir sempre do seguinte
questionamento:
Esta uma declarao de que tipo? interrogativa, imperativa ou exclamativa?
Lembre-se: procure executar ou responder o que pedido antes de clicar em Anlise.
Saiba+
Sentenas interrogativas, imperativas e exclamativas no so proposies lgicas. A explicao que
no emitem um juzo e, portanto, no se pode atribuir um valor de verdade ou falsidade.
06
Confirmando-se que o pensamento uma proposio da lgica, pode-se prosseguir na anlise e verificar
o seguinte aspecto:
07
Sendo uma proposio composta, a continuidade da anlise a identificao do conectivo ou dos
conectivos lgicos:
08
Aps esmiuar a estrutura da declarao em anlise, partimos ao estudo do valor lgico da proposio:
09
Retornando declarao em anlise, identificamos que a proposio p verdadeira e que a proposio
q tambm verdadeira. Esta uma anlise isolada de valor lgico, pois as proposies simples foram
estudadas de forma individualizada. No entanto, ainda no foi feita a interpretao final do valor lgico,
necessria para a concluso do caso. Acompanhe a seguir:
Vamos anlise:
11
O passo seguinte verificar:
12
Sendo uma proposio composta, o prximo passo a identificao do seguinte:
14
Para fazer a interpretao final do valor lgico, acompanhe a seguir a anlise da proposio composta:
No exemplo que vimos anteriormente, p e q eram verdades. Mas agora a proposio B tem uma
proposio componente Falsa.
Como fica a combinao V(p)=V e V(q)=F ?
Resposta
15
Vamos anlise:
Esta uma declarao de que tipo? interrogativa, imperativa ou exclamativa?
16
Esta declarao uma proposio simples ou uma proposio composta?
17
Quantos e quais conectivos lgicos esto presentes na proposio composta?
18
A declarao expressa informao(es) de juzo conhecido?
19
Agora observe a anlise final:
Temos at o momento:
V(p) = V
V(q) = V
V(negao de q) = F
Sendo
p: todo ano possui 12 meses.
q: todo ano inicia com o ms de janeiro.
Negao de q: todo ano no inicia com o ms de janeiro
20
Vamos anlise:
21
Esta declarao uma proposio simples ou uma proposio composta?
22
Quantos e quais conectivos lgicos esto presentes na proposio composta?
23
24
Agora observe a anlise final.
Temos at o momento:
V(p) = V
V(q) = V
Sendo
p: todo ano possui 12 meses.
q: todo ano inicia com o ms de janeiro.
A pendncia existente a identificao do valor lgico de B:
V(B) = ?
2014 - AIEC - Associao Internacional de Educao Continuada
30
Sendo
B: p ou q
Como fica a combinao V(p)=V ou V(q)=V ?
Resposta
25
Vamos anlise:
26
Esta declarao uma proposio simples ou uma proposio composta?
27
Quantos e quais conectivos lgicos esto presentes na proposio composta?
28
A declarao expressa informao(es) de juzo conhecido?
29
Veja a anlise final:
Temos at o momento:
V(p) = V
V(q) = V
Sendo
p: todo ano possui 12 meses.
q: todo ano inicia com o ms de janeiro.
V(B) = ?
Sendo
B: ou p ou q
Como fica a combinao ou V(p)=V ou V(q)=V ?
Resposta
30
O prximo mdulo continua o estudo com os conectivos e, ou e ou... ou, e tambm aborda os
conectivos se.... ento e se e somente se. Por enquanto, o importante a conscincia de que
qualquer informao declarativa ser automaticamente esmiuada por meio do nosso raciocnio lgico
natural. Na maioria das vezes esta intuio nos garante a correta interpretao, mas em outros casos,
ela no suficiente para a anlise segundo a cincia da lgica matemtica das proposies.
Assim sendo, no decorrer desta disciplina so apresentados mecanismos eficientes que garantem as
corretas anlise e concluso, sem restar dvida quanto veracidade ou falsidade de uma determinada
declarao.
Ela [a lgica] lhe dar clareza de pensamento, a habilidade de ver seu caminho atravs de um quebracabea, o hbito de arranjar suas ideias numa forma acessvel e ordenada e, mais valioso que tudo, o
poder de detectar falcias e despedaar os argumentos ilgicos e inconsistentes que voc encontrar
to facilmente nos livros, jornais, na linguagem cotidiana e mesmo nos sermes e que to facilmente
enganam aqueles que nunca tiveram o trabalho de instruir-se nesta fascinante arte.
Lewis Carroll
2014 - AIEC - Associao Internacional de Educao Continuada
35
31
RESUMO
1 - OPERAES LGICAS
Bem-vindo ao estudo da Lgica das proposies! Os conectivos lgicos j so conhecidos. Aprendemos
que:
So denominados conectivos os elementos que possibilitam a criao de novas proposies, quando
combinados com outras proposies.
Sendo assim, s possvel compor um pensamento novo devido ao uso dos conectivos e, ou,
ou...ou, Se - ento e se somente se e no, que na lgica das proposies do origem s
respectivas operaes lgicas:
02
A. Conjuno ()
A operao conjuno est presente em proposies compostas onde o conectivo e promove a
conexo de sentenas. Esta operao lgica simbolizada por .
Alm da notao correta, importante que a interpretao do valor lgico seja tambm feita para cada
proposio simples, para que seja possvel obter a avaliao final da proposio composta.
03
Como as proposies A terra redonda e O sol quente trazem declaraes de juzo
conhecido, sabe-se ento o seguinte quanto ao valor lgico:
Sendo:
p: A terra redonda.
2014 - AIEC - Associao Internacional de Educao Continuada
37
No entanto, qual seria o valor lgico da proposio R, que foi formada pela conjuno de p e q? Veja a
seguir.
04
R: A terra redonda e o sol quente.
Ou seja:
importante frisar que o resultado final de uma conjuno ser Verdade somente quando ambas as
proposies componentes forem Verdades.
05
Uma forma simples de assimilar a regra da conjuno imaginarmos que fizemos um pedido na
lanchonete e o garom confirma:
Caso o garom retorne apenas com o sanduche de atum, qualquer um de ns sabe que o pedido no
ter sido atendido corretamente! Essa interpretao natural atribuda ao fato do e fixar a ideia de
que as duas partes da declarao devem ser cumpridas para que seja satisfatrio o resultado.
Outra grande ferramenta ao entendimento das operaes lgicas a compreenso da relao existente
com a teoria dos conjuntos. Considere, por exemplo, a existncia de dois conjuntos. Um deles, chamado
p e o outro conjunto denominado q. Isto :
06
Relacionando com a conjuno, cuja regra diz que o resultado da operao ser verdade somente
quando as duas proposies componentes forem verdades, o que interessa a interseo dos dois
referidos conjuntos, pois a rea da interseo representa um grupo de elementos que satisfazem tanto
ao p quanto ao q, simultaneamente:
07
B. Disjuno ()
p: A terra redonda.
q: o sol quente.
R: A terra redonda ou o sol quente.
R: p v q
08
Passando ao estudo do valor lgico da proposio R, obtida a partir da disjuno de p com q, temos o
representado abaixo.
Sendo
p: A terra redonda.
Ento o valor lgico de p verdade:
V(p) = V
Sendo
q: o sol quente.
Ento o valor lgico de q verdade:
V(q) = V
Qual o valor lgico da proposio R, formada pela disjuno de p com q? Veja a seguir.
09
R: A terra redonda ou o sol quente.
10
importante destacar que o resultado final de uma disjuno tambm verdade nos seguintes casos:
R: A terra redonda ou o sol frio.
2014 - AIEC - Associao Internacional de Educao Continuada
41
11
Para garantir o entendimento, considere uma situao cotidiana de planejamento da programao do
fim de semana, onde o pai diz:
No seria incoerente se o filho dissesse que poderiam ir aos dois lugares no sbado. Nem to pouco, se
o filho escolhesse apenas um dos lugares propostos pelo pai. A nica resposta que invalidaria
totalmente a proposta inicial do pai seria se o filho disse que no iria nem praia e nem ao cinema, e
escolhesse um terceiro lugar diferente.
Essas possibilidades de dilogos entre o pai e o filho compem o conceito da regra da disjuno, que
estabelece que se pode validar ambas ou ao menosuma das duas opes declaradas.
Quanto teoria dos conjuntos, a representao da disjuno a unio dos conjuntos, por observar que
as duas proposies no precisam ser verdadeiras simultaneamente, para a operao ser verdadeira:
12
C. Disjuno Exclusiva ()
A operao disjuno exclusiva, simbolizada por , est presente em proposies compostas pelo
conectivo ou, que aparece normalmente duplicado na sentena, desde que exprima a ideia de
excluso de uma das proposies componentes.
Por exemplo:
Rio de Janeiro a capital do Brasil ou a capital Braslia.
p: Rio de Janeiro a capital do Brasil.
q: Braslia a capital do Brasil.
R: Ou Rio de Janeiro a capital do Brasil ou a capital Braslia.
R: p q
13
Como a proposio R declara uma afirmativa de juzo j conhecido, como caso do conhecimento da
capital do Brasil, pode-se at suprir o primeiro ou da expresso do pensamento:
R: Rio de Janeiro a capital do Brasil ou a capital Braslia.
2014 - AIEC - Associao Internacional de Educao Continuada
43
R: p q
Quanto ao estudo do valor lgico da proposio R, obtida a partir da disjuno exclusiva de p com q,
temos o seguinte.
Sendo:
p: Rio de Janeiro a capital do Brasil.
Ento o valor lgico de p falso:
V(p) = F
Sendo:
q: Braslia a capital do Brasil.
Ento o valor lgico de q verdade:
V(q) = V
Qual o valor lgico da proposio R, formada pela disjuno exclusiva de p com q? Veja a seguir.
14
R: Rio de Janeiro a capital do Brasil ou a capital Braslia.
Somente uma delas deve ser verdade para que o resultado final da disjuno seja
verdade.
Ou seja:
15
Voltando ao exemplo do dilogo entre pai e filho, mencionado na operao de disjuno, considere
agora que o pai quisesse deixar claro ao filho que somente um dos lugares propostos poderia ser
escolhido para a programao do sbado. Apoiando-se na lgica das proposies para se expressar, a
proposta do pai seria:
Percebe-se a mudana quanto interpretao da declarao, onde a escolha da praia exclui a ida ao
cinema no sbado. Por outro lado, no admite que ambos os lugares sejam escolhidos, nem mesmo que
os dois lugares sejam descartados. Essa essncia da disjuno exclusiva!
Reforando o entendimento com teoria dos conjuntos, a disjuno exclusiva representada por um
diagrama similar ao da disjuno, retirando-se apenas a parte onde os elementos atendem
simultaneamente aos conjuntos p e q:
Sendo
A: p q
B: p q
Ento:
A Disjuno Exclusiva a Diferena: A-B
2014 - AIEC - Associao Internacional de Educao Continuada
45
16
RESUMO
Com o emprego de um ou mais conectivos possvel compor um pensamento novo. Cada conectivo
origina uma operao da lgica das proposies e, por sua vez, cada operao possui uma regra prpria
de interpretao.
Assim, para a interpretao final de uma proposio, deve-se identificar o conectivo em anlise e aplicar
a respectiva regra. A dica lembrar a situao que conduz ao resultado V (Verdade) na interao de
cada uma das operaes.
A tabela abaixo consolida as primeiras operaes lgicas estudadas e respectivas regras de obteno de
V (verdade) na anlise final da proposio:
1 - OPERAES LGICAS
Em continuidade ao estudo das operaes lgicas, neste mdulo sero estudados dois outros conectivos
lgicos: Se-ento e se e somente se.
Esses conectivos possibilitam a criao de novas proposies por meio das operaes lgicas
denominadas como Condicional e Bicondicional, respectivamente identificadas abaixo:
02
2 - OPERAO CONDICIONAL ()
A operao condicional, simbolizada por , est presente em proposies
compostas pelo conectivo se... ento..., que expressa a ideia de condio e
consequncia.
Por exemplo: Se o inventor Santos Dumont nasceu no Brasil, ento ele brasileiro.
p: O inventor Santos Dumont nasceu no Brasil.
q: O Santos Dumont brasileiro.
R: Se o inventor Santos Dumont nasceu no Brasil, ento ele brasileiro.
R: p q
Esse tipo de declarao condiciona a veracidade de q ocorrncia de p. Assim, a interpretao deve ser
iniciada pela avaliao do valor lgico da proposio p.
03
Como a proposio R declara uma afirmativa conhecida, pois sabemos que brasileiro aquele que nasce
no Brasil e que Santos Dumont brasileiro, a anlise do valor lgico da proposio R fica facilitada.
Inicie a avaliao refletindo: Qual a nica possibilidade desta proposio R estar incorreta?
Como sabemos que V(p)=V, tambm sabemos que V(q)=V. Veja abaixo o detalhamento do estudo do
valor lgico final:
Sendo
p: O inventor Santos Dumont nasceu no Brasil.
Ento o valor lgico de p verdade:
V(p) = V
Sendo
q: O Santos Dumont brasileiro.
04
Qual o valor lgico da proposio R, formada pela condicional de p com q?
R: Se o inventor Santos Dumont nasceu no Brasil, ento ele brasileiro.
05
importante esclarecer que o exemplo Se o inventor Santos Dumont nasceu no Brasil, ento ele
brasileiro foi escolhido para fins didticos, mas no obrigatrio que exista qualquer conexo de
sentido entre os fatos declarados pelas proposies componentes da condicional. Por exemplo,
poderamos ter a seguinte sentena:
Se 3 um nmero impar, ento a terra plana.
Por outro lado, exemplos com sentido na linguagem humana auxiliam de forma relevante na assimilao
da regra da operao lgica. Por exemplo, imagine que voc diga para uma criana:
Bem, pode acontecer tudo, menos a situao onde a criana desobedea e depois no fique de castigo.
Ou seja, a incoerncia estar na situao onde:
VF
Uma vez que a promessa foi:
voc desobedece fica de castigo.
Assim a essncia da condicional na lgica das proposies.
06
Apoiando-se nas relaes da teoria dos conjuntos, considere os conjuntos p e q a seguir. Quanto
condicional p q, a representao corresponder incluso do conjunto p no conjunto q,
demonstrando a relao de dependncia que p tem com o q.
07
3 - OPERAO BICONDICIONAL ()
A operao bicondicional est presente em proposies compostas onde h
conectivo ...se e somente se..., simbolicamente representado por , que
2014 - AIEC - Associao Internacional de Educao Continuada
49
08
Como a proposio R declara uma afirmativa de juzo j conhecido, a anlise do valor lgico da
proposio R fica facilitada.
Sendo
p: A lua nasce.
Ento o valor lgico de p verdade:
V(p) = V
Sendo
q: O sol se pe.
Ento o valor lgico de q verdade:
V(q) = V
Qual o valor lgico da proposio R, formada pela bicondicional entre p e q? Veja a seguir.
09
R: A lua nasce se e somente se o sol se pe.
Por outro lado, a lua no nasce enquanto o sol no se pr, e vice-versa. Assim, est correto afirmar:
quando o valor lgico de p for falso, necessariamente o valor lgico de q dever ser falso, e vice-versa.
Ou seja:
10
Recorrendo ao cotidiano para fixar a regra da bicondicional, imagine que o pai, naquele exemplo do
planejamento da programao do sbado, queira estabelecer que s iro ao cinema se o filho tiver bom
comportamento na praia. Bastaria declarar:
Ou seja:
Iremos ao cinema
Dessa forma, qualquer criana saber claramente que filho obediente vai ao cinema e que filho
desobediente no vai ao cinema. Assim, as duas nicas situaes coerentes seriam:
Caso a obedincia falhe, a ida ao cinema tambm falha, ou seja, FF coerente.
Caso a obedincia ocorra, a ida ao cinema tambm ocorre, ou seja, VV coerente.
2014 - AIEC - Associao Internacional de Educao Continuada
51
11
Para representar a bicondicional na relao de conjuntos, o diagrama corresponder igualdade dos
conjuntos p e q, representando a relao de dependncia quanto igualdade entre os valores dos
elementos de p e q:
12
Por exemplo:
p: o Brasil foi campeo da copa de 2002.
Negao:
~p: o Brasil no foi campeo da copa de 2002.
Assim como a notao, a interpretao do valor lgico tambm simples:
Sendo
p: o Brasil foi campeo da copa de 2002.
Ento o valor lgico de p verdade, isto :
V(p) = V
Sendo
~p: o Brasil no foi campeo da copa de 2002.
Ento o valor lgico de ~p falso, isto :
V(~p) = F
13
Diante do exposto, nota-se que a regra da operao de negao a de inverso do valor lgico original
da proposio, conforme detalhado a seguir:
Relacionando com a teoria dos conjuntos, considere um conjunto p qualquer, representa-se facilmente
a operao de negao com o diagrama abaixo que, assim como a regra da operao lgica,
corresponde ao inverso de p:
14
Note que p: o Brasil foi campeo da copa de 2002, exemplo explorado na explicao da negao, uma
proposio simples. No entanto, vlido mencionar que tambm possvel aplicar a operao de
negao sobre proposies compostas.
15
Agora vamos representar simbolicamente a negao de cada proposio composta:
~A: ~(p q)
~B: ~(r s)
~C: ~(r v s)
~D: ~(x y)
~E: ~(s k)
As transcries dessas negaes em linguagem corrente devem ser feitas por meio do acrscimo do
termo No verdade que..., resultando em:
16
Para a anlise de valor lgico de uma negao de proposio composta, primeiramente deve ser
interpretada a operao da ideia principal da sentena e depois atribuda a negao ao resultado
obtido. Por exemplo:
Ideia principal:
A: p q
Possibilidades e respectivos resultados de p q
Negao de A:
~(p q)
Possibilidades e respectivos resultados da negao de p q:
Seguindo esta mesma estrutura de anlise aplicada ao estudo de ~A, todas as outras negaes podem
ser interpretadas para a obteno das possibilidades de resultados das proposies compostas ~B, ~C,
~D e ~E.
17
RESUMO
Com o emprego de um ou mais conectivos possvel compor um pensamento novo. Cada conectivo
original uma operao da lgica das proposies e, por sua vez, cada operao possui uma regra prpria
de interpretao. Assim, para a interpretao final de uma proposio, deve-se identificar o conectivo
em anlise e aplicar a respectiva regra.
Sumarizando o entendimento de cada regra, a tabela a seguir traz a situao que conduz ao resultado V
(Verdade) na interpretao das operaes lgicas Condicional, Bicondicional e Negao,
separadamente:
Para o estudo da lgica das proposies necessria e obrigatria a compreenso dessas e das demais
operaes lgicas, que foram consolidadas na tabela abaixo:
2014 - AIEC - Associao Internacional de Educao Continuada
56