Professional Documents
Culture Documents
Esta frase falsa. Mas, que frase? Esta frase. Qual? Esta. Perceba que no h
frase de fato. Alm disso, tais sentenas, em geral, do valor a si mesmas. Quando
emitem valor falso, camos em um paradoxo. Por exemplo: Esta frase falsa. Se
dissermos Verdadeiro, ento verdadeiro que falsa? Afinal, verdadeira ou falsa?
Se dissermos que Falsa; ento falsa que falsa, logo verdadeira. Afinal, falsa
ou verdadeira?
Desta forma, tais sentenas no so proposies lgicas.
Exemplo 5) X positivo; Y um nmero par.
Nestes casos ns temos incgnitas, ou seja, variveis. Varivel toda letra que pode
assumir um valor numrico. Assim, no podemos julgar como Verdadeiro ou Falso
pelo simples fato que no dispomos de determinao do valor de X ou de Y ou, pelo
menos, seu perodo de extenso. Depender do valor de X e de Y serem definidos
para que seja possvel emitir tais julgamentos.
Dessa forma, como foi apresentada, as variveis encontram-se livres, o que
caracteriza como Sentena Aberta. Assim, tal situao no se caracteriza como
proposio lgica.
Certamente que, uma vez definida a varivel, torna-se possvel emitir Verdadeiro ou
Falso como julgamento. Por exemplo: X positivo, se X < 0. Podemos dizer FALSO,
pois para X menor que zero ele negativo e no positivo. Se podemos emitir o
julgamento FALSO, porque esta sentena proposio lgica.
Concluindo, temos que entender que, se ao olhar uma sentena, no houver
condies de julgar como Verdadeiro ou Falso, no proposio lgica.
Exemplos:
1) Uma bela rvore.
2) No sei como julgar esta questo.
3) 4 + 9
4) Juntos outra vez.
CONECTIVOS LGICOS
Conectivos ou conectores lgicos so elementos que conectam as proposies, como
seu prprio nome diz. Tais conectivos, ao unirem-se com as proposies, causam um
efeito em particular, o que caracteriza o conectivo, o que chamamos de Regras de
Conectivos. Vamos analisar, para cada conectivo, a expresso que o caracteriza, a
simbologia utilizada, o diagrama lgico que o descreve e, por fim, sua regra atravs
de exemplo prtico. A base de todo RLP compreender, memorizar e aplicar as
regras dos conectivos em cada seo abordada neste estudo.
Assim como as proposies lgicas podem ser descritas por letras, os conectivos
lgicos possuiro smbolos para indicar sua presena. Por exemplo: Considerando
como P e Q as proposies Joo alto e Maria baixa, respectivamente, teremos
que a expresso P ^ Q significa Joo alto e Maria baixa. O conectivo conjuno
e indicado pelo smbolo ^.
As proposies do exemplo anterior Joo alto e Maria baixa so chamadas de
proposies simples ou tomos. Quando as unimos com conectivos, passam a ser
proposies compostas ou molculas.
Algumas bancas como, por exemplo, o CESPE, em algumas questo expressa
...considerando que R significa a expresso Joo no alto.... Uma vez que a
banca expressa ...considerando..., vamos considerar.
Assim, quando virmos R, entenderemos Joo no alto. Alm disto, a mesma
banca j indicou que podemos simbolizar Joo no alto e Maria baixa como P.
B
V
F
V
F
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
O que importa, para que uma tabela-verdade esteja completa, que existam todas as
possibilidades, independentemente da ordem na qual foi montada. Eu indico para
pensar nas metades somente para fazer mais rapidamente a tabela.
Desta forma, poderemos comprovar que, ao negar uma proposio duas vezes
consecutivas, obteremos a mesma proposio, ou seja, a dupla negao de uma
proposio possui valores lgicos idnticos, sendo dita como equivalente prpria
proposio. Na tabela a seguir, tal condio demonstrada pelas colunas com
valores em negrito.
A
V
V
F
F
B
V
F
V
F
~A
F
F
V
V
~(~A)
V
V
F
F
Conectivo Conjuno
Este conectivo indica que elementos acontecem juntos, aconteceram juntos, um
acontece e outro tambm acontece, etc.
Ocorre em proposies compostas unidas pela partcula e ou similar, indicando que
ambos elementos acontecem.
Exemplos:
1) Joo alto e Maria baixa;
2) Joo alto, mas Maria baixa;
3) Joo algo, porm Maria baixa;
Podem ser utilizados outros termos como entretanto, contudo, etc.
O diagrama de conjuntos indica eventos independentes, nos quais h a possibilidade
de acontecimento de ambos eventos.
Exemplo:
1) Joo j viajou para Argentina e para Bolvia.
A: Viajar para Argentina B: Viajar para Bolvia
Joo est aqui, no grupo dos que j viajaram para Argentina e Bolvia. Na interseco.
Desta forma, o conectivo conjuno indica a interseco dos conjuntos. O smbolo
lgico utilizado ser , que parecido com o smbolo da interseco matemtica ().
Assim, para a proposio composta A e B, simbolizase
A B. A regra deste conectivo, devido ser este a interseco dos conjuntos, indica
que a conjuno s acontece quando ambos acontecem. Quando dizemos que Joo
viajou para Argentina e Bolvia, estamos expressando que ele viajou para ambos
lugares, ou seja, ambos so verdadeiros. Se um dos termos for falso, j no
poderemos dizer
que Joo viajou para a Argentina e Bolvia. Desta forma, a tabela-verdade deste
conectivo ser a seguinte:
A
V
V
F
F
B
V
F
V
F
A^B
V
F
F
F
B
V
F
V
F
AB
V
V
V
F
Resumo: O ...ou... ser verdadeiro se houver pelo menos um verdadeiro (V ... = V).
Somente ser falso se ambos forem falsos (F F = F).
Conectivo Disjuno Exclusiva
Expressa pela partcula ou...ou..., este exclui a possibilidade da ocorrncia de
ambos elementos.
Exemplo:
1) Ou bebo leite ou como manga.
O que isso quer dizer? Se bebo leite, no como manga. Se no bebo leite, como
manga.
No possvel que ambos aconteam e tambm no possvel que ambos no
aconteam.
Desta forma, s ser verdadeiro se houver valores distintos. Uma vez que o smbolo
para este conectivo ser v . Com isto, a tabela-verdade ser a seguinte:
L
M
LM
V
V
F
V
F
V
F
V
V
F
F
F
Resumo: O ou...ou... ser verdadeiro somente para valores contrrios. Valores
idnticos sero falsos.
C
O diagrama indica que ir a Curitiba, implica logicamente em ir ao Paran. Ainda
podemos entender que ao sabermos que algum vai a Curitiba, podemos CONCLUIR
que ir ao Paran. Assim, a implicao pode ser vista
como uma concluso.
Ir a Curitiba, entende-se que vai ao Paran; mas ir ao Paran no implica ir a Curitiba.
Assim, a implicao como uma via de mo nica.
Na implicao lgica h duas condies, sendo uma SUFICIENTE e outra
NECESSRIA.
Supondo ainda nosso exemplo: quando uma pessoa diz que vai a Curitiba,
suficiente para compreender que vai ao Paran. Mas, para que uma pessoa v a
Curitiba, necessrio ir ao Paran. Desta forma, o primeiro termo da implicao a
condio suficiente, enquanto que o segundo termo condio necessria; ou seja, o
termo anterior smbolo condio suficiente, e o posterior condio necessria.
Para facilitar, basta pensar na bssola, cuja agulha aponta para o NORTE e tem como
outro plo o SUL ( S N) (Suficiente Necessria).
Com isto, a implicao do exemplo pode ainda ser expressa como Joo ir a Curitiba
condio suficiente para ir ao Paran, ou ainda, Joo ir ao Paran condio
necessria para ir a Curitiba Analisando a regra deste conectivo, a nica situao
cujo acontecimento impossvel, que uma pessoa diga que viajou a Curitiba e no
viajou ao Paran. Isto impossvel, pois ir a Curitiba suficiente para concluir que ir
ao Paran. Ento teremos a seguinte tabela-verdade:
C
V
V
F
F
P
V
F
V
F
CP
V
possvel a pessoa ir a Curitiba e ir ao Paran
F
impossvel a pessoa ir a Curitiba e no ir ao Paran
V
possvel a pessoa no ir a Curitiba e ir ao Paran
V possvel a pessoa no ir a Curitiba e no ir ao Paran
Concluses e Resumo:
C=E
Assim, ambos elementos indicam duas condies lgicas. Ambos so condies
suficiente e necessria. Desta forma, poderamos at mesmo expressar tal conectivo
sob a forma Joo ir a Curitiba condio suficiente e necessria para ir Capital
Ecolgica ou ainda Joo ir Capital Ecolgica condio suficiente e necessria
para ir a Curitiba.
Com isto, temos que este conectivo s ser verdadeiro quando ambos os termos
forem idnticos. possvel ir a Curitiba e ir Capital Ecolgica e ainda possvel no
ir a ambas. O que no pode dizer que foi a uma e no foi a outra.
Ao perceber o conectivo dupla implicao, podemos perguntar sobre os termos: So
Idnticos? Se sim, verdadeiro; se no, falso.
Desta forma, a tabela-verdade deste conectivo ser a seguinte:
C
V
V
F
F
E
V
F
V
F
CE
V
F
F
V
CONECTIVO
TERMO MAIS USADO
REGRA
CONCLUSO
Negao
...no...
~V = F ~F = V (avesso)
Conjuno
... e ...
V^V=V
F^....=F
Disjuno Inclusiva
... ou ...
V...=V
FF=F
Disjuno Exclusiva
Ou ... ou ... Valores distintos = V
Valores idnticos =F
Implicao Lgica
Se ...., ento .... V F = F
F ...=V ...
V=V
Dupla Implicao Lgica ... se e somente se ... Valores idnticos=V Valores distintos
=F
NEGAES E EQUIVALNCIAS DE PROPOSIES COMPOSTAS
Para o melhor entendimento deste tpico, importante que o resumo acima descrito
j esteja memorizado, pois o entendimento das negaes e equivalncias tambm se
d com o entendimento das regras dos conectivos.
Uma proposio a negao de outra quando os valores de sua coluna da tabelaverdade so exatamente o avesso. Uma proposio equivalente quando possui os
mesmos valores lgicos.
Quando a banca solicita o equivalente da negao, trata-se da prpria negao, pois
esta palavra EQUIVALENTE quer dizer: o mesmo que..., mesmo valor lgico de...,
pode ser expressa por....
Assim, alm do entendimento do mesmo valor lgico, podemos entender que a
expresso Como Joo foi a Curitiba, foi ao Paran equivalente a Se Joo foi a
Curitiba, ento foi ao Paran.
Leis de Morgan negao da conjuno de disjuno inclusiva
A negao de (A ^ B) ser ~(A ^B), que equivalente, segundo Morgan, a ( ~A ~B).
Similarmente, a negao de (AB) tem como negao ~(A B) que equivalente a
(~A^~B).
Na prtica, podemos entender atravs de um exemplo. Suponha que A seja Joo
viajou para Argentina e B seja Joo viajou para Bolvia. Suponha ainda que Joo
nunca tenha sado do Brasil. Assim, se perguntar a Joo se ele j viajou para
Argentina ou Bolvia, ele dir NO, ou seja, ~(A B). O que ele est dizendo? Est
dizendo que no viajou para Argentina e no viajou para Bolvia (~A^~B).
Podemos ver que isto realmente verdade na tabela-verdade. Vide itens em negrito.
A
V
V
F
F
B
V
F
V
F
~A ~B AB
F
F
V
F V
V
V
F
V
V
V
F
A^B
V
F
F
F
~(AB)
F
F
V
(~A^~B)
F
F
F
F
V
~(A^B)
F
V
V
V
(~A~B)
F
V
V
V
CONECTIVO
NEGAO
^
^
V
V
F
V
F
V
F
V
F
V
F
RESULTADO
F
F
V
V
V
V
F
V
F
V
NOMENCLATURA
CONTRADIO
CONTRADIO
TAUTOLOGIA
TAUTOLOGIA
TAUTOLOGIA
TAUTOLOGIA
CONTINGNCIA
CONTINGNCIA
CONTINGNCIA
F
CONTINGNCIA
V
V
CONTRADIO
F
V
CONTRADIO
V
TAUTOLOGIA
F
TAUTOLOGIA
V
TAUTOLOGIA
F
TAUTOLOGIA
EQUIVALENTE
V
RESULTADO
V
F
B
V
F
V
F
~A
F
F
V
V
~B
F
V
F
V
AB
V
V
V
F
A^B (~A~B)
V
F
F
V
F
V
F
V
Outra forma de avaliar quando uma questo afirma que uma proposio
, por exemplo, uma tautologia.
Esta afirmao pode estar na prpria questo, como se d no caso que
questes de Certo e Errado, ou ainda estar nas alternativas.
Uma vez que a banca afirma ser uma tautologia, podemos fazer o teste
lgico tentando falsificar a proposio. Caso conseguirmos falsificar,