Proposições Condicionais e Bicondicionais

Proposies condicionais
e bicondicionais
Proposies condicionais
Num debate sobre algum tema importante, comum utilizarmos ideias
que procuram sustentar nossos argumentos. Essa sustentao, muitas vezes,
se d por uma relao entre causa e consequncia, assero com razo ou
hiptese com tese. As proposies que estudaremos a partir de agora intro-
duzem os raciocnios mais sutis, presentes em diversas situaes cotidianas,
e nos auxiliam tanto na linguagem falada quanto na escrita.
Uma proposio condicional sempre pode ser escrita da forma se p,
ento q, e denotada por p q.
Observe alguns exemplos:
Se amanh domingo, ento hoje sbado.
Se x = 3, ento x
2
= 9.
Se eu estudo, ento obtenho uma boa nota na prova.
Se 2 + 5 = 7, ento 7 5 = 2.
Qualquer proposio da forma p q pode ser interpretada (ou lida) de
vrias maneiras diferentes. Por exemplo, a proposio condicional:
Se est chovendo, ento existem nuvens.
composta pelas seguintes proposies simples:
p: est chovendo e q: existem nuvens.
Observe a seguir algumas maneiras equivalentes de express-la:
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
46
Proposies condicionais e bicondicionais
se p, ento q:
Se est chovendo, ento existem nuvens.
p implica q:
Estar chovendo implica existir nuvens.
p somente se q:
Est chovendo somente se existem nuvens.
p condio sufciente para q:
Estar chovendo sufciente para existir nuvens.
q condio necessria para p:
Existir nuvens necessrio para estar chovendo.
Qual o valor lgico de p q?
Para entender como pode ser obtido o valor lgico de uma proposio
condicional, considere outro exemplo:
Se meu time ganha o jogo, ento ele campeo.
As proposies componentes so p: meu time ganha o jogo e q: meu time
campeo.
A proposio condicional garante que, sendo verdadeiro que meu time
ganha o jogo, ento ser verdadeiro tambm que meu time campeo. En-
tretanto, essa proposio condicional nada afrma sobre o que poder ocor-
rer caso meu time no ganhe o jogo. Assim, se meu time no ganha o jogo,
pode ocorrer que meu time campeo ou que meu time no campeo.
Ambas as concluses podem ser verdadeiras na hiptese de o meu time no
ganhar o jogo. O nico caso que realmente contradiz a proposio composta
: sendo verdadeiro que meu time ganha o jogo, ento ser falso que meu
time campeo.
Dessa forma, podemos dizer que uma proposio condicional p q
ser falsa apenas no caso de p ser verdadeira e q ser falsa. Nos demais
casos, p q ter sempre o valor lgico V.
47
Uma proposio condicional p q tem valor F apenas quando p
tem valor V e q tem valor F. Nos outros casos, p q tem valor lgico V.
A tabela-verdade a seguir apresenta um resumo de todos os valores l-
gicos possveis de uma proposio condicional:
p q p q
V V V
V F F
F V V
F F V
Observe alguns exemplos que procuram explicar as relaes de uma pro-
posio condicional:
Exemplo 1:
De acordo com a regra que permite aferir valor lgico a uma proposio
condicional, observe algumas sentenas com os respectivos valores lgicos:
Se Curitiba capital do Paran, ento em 1958 a seleo brasileira
ganhou a Copa do Mundo de Futebol pela primeira vez.
A proposio condicional p q composta pelas proposies simples:
p: Curitiba capital do Paran. (V)
q: Em 1958 a seleo brasileira ganhou a Copa do Mundo de Futebol pela
primeira vez. (V)
Ambas as proposies so verdadeiras. Dessa forma, a proposio Se
Curitiba capital do Paran, ento em 1958 a seleo brasileira ganhou a
Copa do Mundo de Futebol pela primeira vez tambm verdadeira.
Se o Polo Norte est descongelando, ento a China o maior pas em
extenso territorial.
48
p: O Polo Norte est descongelando. (V)
q: A China o maior pas em extenso territorial. (F)
A primeira proposio (p) verdadeira e a segunda proposio (q) falsa.
Assim, a proposio Se o Polo Norte est descongelando, ento a China o
maior pas em extenso territorial falsa.
Se o esporte mais praticado na Venezuela o futebol, ento So Paulo
o estado de maior produo industrial do Brasil.
p: O esporte mais praticado na Venezuela o futebol .(F)
q: So Paulo o estado de maior produo industrial do Brasil. (V)
A proposio Se o esporte mais praticado na Venezuela o futebol,
ento So Paulo o estado de maior produo industrial do Brasil ver-
dadeira, pois a primeira proposio (p) falsa e a segunda proposio (q)
verdadeira.
Se uma semana possui 8 dias, ento Ernesto Geisel no foi presidente
da Repblica brasileira.
p: Uma semana possui 8 dias. (F)
q: Ernesto Geisel no foi presidente da Repblica brasileira. (F)
A proposio Se uma semana possui 8 dias, ento Ernesto Geisel no foi
presidente da Repblica brasileira verdadeira, pois tanto a primeira propo-
sio (p) quanto a segunda proposio (q) so falsas.
Exemplo 2:
A proposio Se no sei meu nome, ento no sei o seu pode ser escrita
de outras formas equivalentes:
1. forma: No saber meu nome implica no saber o seu.
2. forma: No sei o meu nome somente se no sei o seu.
49
3. forma: No saber o meu nome condio sufciente para no saber
o seu.
4. forma: No saber o seu nome condio necessria para no saber o
meu.
Exemplo 3:
Na proposio: Se hoje domingo, ento vou missa, a proposio
hoje domingo condio sufciente para a ocorrncia da proposio ir
missa.
Por outro lado, a proposio ir missa condio necessria para a ocor-
rncia da proposio hoje domingo. Assim, temos:
Se, hoje domingo
condio sufciente
ento vou missa
condio necessria
Exemplo 4:
Considere como falsa a proposio: Se tenho um bom currculo, ento
consigo um bom emprego.
Se a proposio simples p: Tenho um bom currculo verdadeira, o que
pode concluir em relao ao valor lgico da proposio simples q:Consigo
um bom emprego?
Para que uma proposio condicional da forma p q seja falsa, a pro-
posio p deve ser verdadeira e a proposio q deve ser falsa. Desta forma,
conclui-se que a proposio q: Consigo um bom emprego deve ser falsa.
Exemplo 5:
Considere como verdadeira a proposio: Se tenho dinheiro, ento viajo
ao exterior.
Se a proposio simples p: Tenho dinheiro falsa, o que possvel con-
cluir sobre o valor lgico da proposio simples q:Viajo ao exterior?
Uma proposio condicional da forma p q verdadeira em qualquer
caso, exceto quando a proposio p verdadeira e a proposio q falsa.
Logo, como j se conhece o valor lgico falso da proposio p, conclui-se
que a proposio q pode ser ou verdadeira ou falsa. Em qualquer um dos
50
valores de q, a proposio composta p q ser verdadeira. Assim, conclui-se
que a proposio q: Viajo ao exterior pode ser ou verdadeira ou falsa.
Exemplo 6:
Outra maneira de defnir o valor lgico de uma proposio condicional
a seguinte:
Uma proposio condicional da forma p q verdadeira se p for falsa ou
q for verdadeira.
Em qualquer um dos casos expostos, ou em ambos, o valor lgico de
p q sempre verdadeiro.
Relaes entre proposies condicionais
Qualquer que seja a proposio condicional, sempre podemos associ-la a
outras proposies condicionais. A seguir, estudaremos alguns tipos especiais
de proposies que so importantes no estudo da Lgica e da Matemtica.
Proposio recproca
A proposio recproca de p q a proposio da forma q p.
Proposio: Se est chovendo
p
, ento existem nuvens
q
.
Recproca: Se existem nuvens
q
, ento est chovendo
p
.
A proposio original garante que, se for verdadeiro que est chovendo,
ento ser tambm verdadeiro que existem nuvens. J a proposio rec-
proca correspondente garante que, se existem nuvens, ento est choven-
do. Ou seja, a proposio recproca no garante o mesmo que a proposio
original. Assim, p q pode ser verdadeira, e sua recproca, q p, falsa.
Observe inclusive que na recproca, se for verdadeiro que existem
nuvens, ento poder ser verdadeiro ou falso que est chovendo. A pre-
sena de nuvens no garante a chuva.
Portanto, as duas proposies podem ter valores lgicos diferentes, no
sendo, portanto, logicamente equivalentes.
51
Exemplo 1:
A proposio Se hoje sbado, ento amanh domingo tem como
recproca a proposio Se amanh domingo, ento hoje sbado.
Exemplo 2:
A proposio Se me esforo, ento veno tem como recproca a proposi-
o Se venci, ento me esforcei.
Exemplo 3:
A proposio Se sou carioca, ento sou brasileiro tem como recproca a
proposio Se sou brasileiro, ento sou carioca.
Observe, nesse ltimo exemplo, que uma proposio condicional e sua
correspondente recproca no so necessariamente equivalentes. Uma
pessoa que brasileira pode ser ou no carioca. J no caso de uma pessoa
ser carioca, ela ser necessariamente brasileira.
Proposio inversa
A proposio inversa de p q a proposio da forma ~p ~q.
p
q
.
Inversa: Se no est chovendo
~p
, ento no existem nuvens
~q
.
A proposio original garante apenas que, no caso de chuva, existem
nuvens, mas nada dito sobre o que acontecer caso no chova. Analisando
a proposio inversa correspondente, vemos que se for verdadeiro que no
est chovendo ento pode ser verdadeiro ou falso a concluso de que no
existem nuvens. No difcil perceber que p q pode ser verdadeira, e sua
inversa, ~p ~q, falsa.
Portanto, ambas podem ter valores lgicos diferentes, no sendo, assim,
logicamente equivalentes.
Exemplo 1:
A proposio Se hoje sbado, ento amanh domingo tem como
inversa a proposio Se hoje no sbado, ento amanh no domingo.
52
Exemplo 2:
A proposio Se me esforo, ento veno tem como inversa a proposi-
o Se no me esforo, ento no veno.
Exemplo 3:
A proposio Se sou carioca, ento sou brasileiro tem como inversa a
proposio Se no sou carioca, ento no sou brasileiro.
Observe, nesse ltimo exemplo, que uma proposio condicional e sua
correspondente inversa no so necessariamente equivalentes. Se uma
pessoa no carioca, ela pode ser ou no brasileira. No caso de uma pessoa
ser carioca, ela ser necessariamente brasileira.
Proposio contrapositiva
A proposio contrapositiva de p q a proposio da forma ~q ~p.
p
q
.
Contrapositiva: Se no existem nuvens
~q
, ento no est chovendo
~p
.
A proposio original afrma que se est chovendo, ento existem
nuvens. Assim, se for verdadeiro que no existem nuvens, tambm ser
verdadeiro que no est chovendo, pois a chuva somente ocorre com a
presena de nuvens.
Podemos, portanto, observar que se p q for verdadeira, a contraposi-
tiva correspondente, ~q ~p, ser verdadeira e, se p q for falsa, ~q ~p
tambm ser falsa.
Em outras palavras, podemos dizer que estar chovendo condio suf-
ciente para existir nuvens, e no existir nuvens tambm condio sufcien-
te para no estar chovendo.
A concluso a de que ambas as proposies so sempre logicamente
equivalentes. Portanto, uma proposio condicional e sua correspondente
contrapositiva so logicamente equivalentes.
53
A tabela-verdade a seguir relaciona todos os valores lgicos possveis de
cada uma delas.
proposio recproca inversa contrapositiva
p q ~p ~q p q q p ~p ~q ~q ~p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V
Logicamente Equivalentes
Resumindo, dada uma proposio condicional qualquer, sua recpro-
ca no logicamente equivalente; sua inversa tambm no logicamente
equivalente, mas sua contrapositiva sempre logicamente equivalente:
(p q) (~q ~p)
Exemplo 1:
A proposio Se hoje sbado, ento amanh domingo equivalente
sua correspondente proposio condicional Se amanh no domingo,
ento hoje no sbado.
Exemplo 2:
A proposio Se me esforo, ento veno equivalente sua correspon-
dente proposio condicional Se no venci, ento no me esforcei.
Exemplo 3:
A proposio Se sou carioca, ento sou brasileiro equivalente sua
correspondente proposio condicional Se no sou brasileiro, ento no
sou carioca.
Implicao material
Alm da proposio contrapositiva, ~q ~p, a proposio condicional
p q possui outra proposio equivalente, porm, no condicional. A pro-
posio ~p q, chamada de implicao material, equivalente proposio
condicional p q. Para comprovar essa equivalncia, vamos construir as cor-
respondentes tabelas-verdade.
54
Equivalentes
p q ~p p q ~p q
V V F V V
V F F F F
F V V V V
F F V V V
As duas ltimas colunas so idnticas. Dessa forma, as proposies ~p q
e p q so logicamente equivalentes, ou seja:
p q ~p q
Exemplo:
Sejam as proposies p: Ana arquiteta e q: Bruno barbeiro, e as propo-
sies compostas:
Proposio condicional:
p q: Se Ana arquiteta, ento Bruno barbeiro.
Contrapositiva:
~q ~p: Se Bruno no barbeiro, ento Ana no arquiteta.
Implicao material:
~p q: Ana no arquiteta ou Bruno barbeiro.
Observao:
A negao da proposio ~p q dada por ~(~p q) p ~q.
Como a proposio condicional p q equivalente a ~p q, temos que
a negao de ~p q tambm a negao de p q .
Observe a tabela-verdade:
p q ~p ~q p q ~p q p ~q
V V F F V V F
V F F V F F V
F V V F V V F
F F V V V V F
55
Dessa forma, a negao da proposio p q a proposio p ~q, ou
seja:
~(p q) p ~q
Exemplo:
p q: Se Ana arquiteta, ento Bruno barbeiro.
Negao:
p ~q: Ana arquiteta e Bruno no barbeiro.
Proposies bicondicionais
As proposies bicondicionais so formadas a partir de proposies con-
dicionais. Assim, quando ocorrer simultaneamente as proposies se p,
ento q e se q, ento p, dizemos que tambm ocorre a proposio bicondi-
cional p se, e somente se, q e a representamos por p q .
Para exemplifcar, considere as seguintes proposies:
Condicional:
p q: Se Carla curitibana
p
, ento Carla nasceu em Curitiba
q
.
Recproca:
q p: Se Carla nasceu em Curitiba
q
, ento Carla curitibana
p
.
Fazendo a conjuno das proposies anteriores, obtemos a proposio
bicondicional:
Carla curitibana
p
se, e somente se, Carla nasceu em Curitiba
q
.
A expresso se, e somente se nos d a garantia de que se for verdadeiro
que Carla curitibana, ento ser verdadeiro que Carla nasceu em Curiti-
ba. Da mesma forma, se for falso que Carla curitibana, ento ser tambm
falso que Carla nasceu em Curitiba.
Podemos, portanto, defnir uma proposio bicondicional (p q) como
sendo uma conjuno ( ) entre a proposio condicional associada (p q) e
sua correspondente recproca (q p).
56
Em smbolos, a relao a seguinte:
conjuno
Condicional recproca bicondicional
(p q) (q p) (p q)
Existem outras maneiras equivalentes para utilizar uma proposio bi-
condicional. Observe:
p se, e somente se, q :
Carla curitibana se, e somente se, nasceu em Curitiba.
p equivale a q:
Carla ser curitibana equivale a nascer em Curitiba.
p condio necessria e sufciente para q:
Carla ser curitibana necessrio e sufciente para nascer
em Curitiba.
Como podemos obter o valor lgico de uma proposio bicondicional
p q?
Para compreendermos o valor lgico de uma proposio bicondicional,
vamos, inicialmente, recordar o valor lgico de uma condicional.
A proposio p q tem valor F apenas quando p tem valor V e q tem valor
F. Da mesma forma, q p tem valor F apenas quando q tem valor V e p tem
valor F.
Portanto, p q ter valor lgico V, se p e q forem ambas verdadeiras ou
ambas falsas. Caso p e q tenham valores diferentes uma V e outra F o valor
lgico de p q ser F.
Resumindo, podemos construir a seguinte tabela-verdade da proposio
bicondicional:
p q p q q p p q
V V V V V
V F F V F
F V V F F
F F V V V
Condicionais Bicondicional
57
Os valores lgicos da ltima coluna da tabela foram obtidos fazendo
uma conjuno ( ) entre os valores da terceira e da quarta colunas, pois
(p q) (q p) (p q).
Observe ainda que esses valores da ltima coluna podem tambm ser
obtidos atravs dos valores lgicos da primeira e segunda colunas. Nesse
caso, quando p e q tm valores iguais, a bicondicional tem valor V, e quando
p e q tm valores diferentes, a bicondicional tem valor F.
Exemplo 1:
Considere as seguintes proposies:
p: x divisvel por 3
q: y mltiplo de 5
Vamos representar cada uma das proposies abaixo utilizando as propo-
sies p ou q, e os smbolos: ~, ou .
Se x divisvel por 3, ento y mltiplo de 5.
p q
Se y mltiplo de 5, ento x divisvel por 3.
q p
Se x no divisvel por 3, ento y no mltiplo de 5.
~p ~q
Se y no mltiplo de 5, ento x no divisvel por 3.
~q ~p
x divisvel por 3 se, e somente se, y mltiplo de 5.
p q
x no divisvel por 3 se, e somente se, y no mltiplo de 5.
~p ~q
Exemplo 2:
Sejam as proposies:
p: 10 mltiplo de 4.
q: 10 par.
58
Observe que a proposio p falsa e a proposio q verdadeira. Vamos
escrever as seguintes proposies em linguagem usual e determinar o cor-
respondente valor lgico resultante.
p q:
Se 10 mltiplo de 4, ento 10 par.
q p:
Se 10 par, ento 10 mltiplo de 4.
~p ~q:
Se 10 no mltiplo de 4, ento 10 no par.
~q ~p:
Se 10 no par, ento 10 no mltiplo de 4.
p q:
10 mltiplo de 4 se, e somente se, 10 par.
p q ~p ~q p q q p ~p ~q ~q ~p p q
F V V F V F F V F
Exemplo 3:
Nesse exemplo, mostraremos que as proposies ~(p q) e (p ~q) so
logicamente equivalentes por meio da tabela-verdade:
p q ~q p ~ q p q ~(p q)
V V F F V F
V F V V F V
F V F F V F
F F V F V F
Observe na tabela-verdade que as colunas referentes s proposies
~(p q) e (p ~q) so idnticas. Isso mostra que so logicamente equi-
valentes.
Esse exemplo ilustra o fato de que a negao de uma proposio condicio-
nal da forma p q obtida fazendo uma conjuno entre a proposio p e
a negao da proposio q. Em outras palavras, a negao de p q p ~q.
59
Assim, a negao da proposio Se trabalho, ento veno Trabalho e no
veno.
Exemplo 4:
Considere as proposies:
p: Joo casado
q: Joo dana tango
Utilizando as proposies p ou q, e os smbolos , ou ~, represente sim-
bolicamente as proposies que a seguir esto escritas em linguagem natural.
Se Joo casado, ento dana tango.
p q
Se Joo no dana tango, ento casado.
~q p
Joo casado se, e somente se, dana tango.
p q
Se Joo dana tango, ento Joo casado.
q p
Se Joo no dana tango, ento no casado.
~q ~p
Joo danar tango condio necessria para ser casado.
p q
Joo ser casado condio sufciente para danar tango.
p q
Joo no danar tango equivale a Joo no ser casado.
~p ~q
Exemplo 5:
Considere as proposies simples:
60
p: O Brasil um pas sul-americano.
q: O Japo fca na Oceania.
r: A cidade do Rio de Janeiro nunca foi capital do pas.
Os valores lgicos das proposies anteriores so V, F e F, respectivamen-
te. Vamos determinar o valor lgico de cada uma das proposies compos-
tas a seguir:
p q
A proposio p q tem valor F, pois p tem valor V e q tem valor F.
~q r
A proposio ~q r tem valor F, pois ~q tem valor V e r tem valor F.
p r
A proposio p r tem valor F, pois p tem valor V e r tem valor F.
~q ~r
A proposio ~q ~r tem valor V, pois ~q tem valor V e ~r tem valor V.
~p (~r q)
Observe que ~r tem valor V, q tem valor F e, portanto, a condicional
(~r q) tem valor F. Como ~p tem valor F, concluise que a proposio
~p (~r q) tem valor F.
(p ~r) q
Observe que p tem valor V, ~r tem valor V e, assim, a conjuno (p ~r)
tem valor V. Como q tem valor F, conclui-se que a proposio (p ~r) q
tem valor F.
Conjuntos
possvel relacionar as proposies condicionais e conjuntos. Isso pode
ser feito naturalmente pela associao de conceitos matemticos com concei-
tos lgicos. Para uma melhor compreenso, atente para alguns conceitos.
61
Elementos de conjuntos
Os deputados federais so eleitos para representar os interesses da socie-
dade brasileira no Congresso Nacional, em Braslia.
U
n
i
v
e
r
s
i
d
a
d
e

F
e
d
e
r
a
l

d
e

M
i
n
a
s

G
e
r
a
i
s
.
Os deputados federais so elementos do conjunto de polticos do Congresso Nacional.
Se considerssemos o conjunto de todos os polticos que trabalham no
Congresso Nacional, cada deputado federal e cada senador seria um elemen-
to desse conjunto. Esse conjunto poderia ser representado de vrias manei-
ras. Sendo C o conjunto dos polticos que trabalham no Congresso Nacional,
observe algumas dessas maneiras:
C = {x / x poltico do Congresso Nacional}
C = {polticos do Congresso Nacional}
Deputado Federal 1
Deputado Federal 2
Deputado Federal n
Senador 1
Senador 2
Senador m
Polticos do Congresso Nacional
62
A associao entre um elemento e um conjunto chamada de relao de
pertinncia:
Dizemos que um elemento x pertence a um conjunto A, e representamos por
x A, quando x um dos elementos que constituem o conjunto A. Caso contr-
rio, quando no constitui, dizemos que x no pertence a A, ou seja, x A.
Exemplo 1:
Para o conjunto A = {2; 5; 7}, podemos escrever: 2 A, 5 A, 7 A e 3 A.
Exemplo 2:
Para o conjunto B = { ; ; }, temos: B, B, B, mas B.
Exemplo 3:
O conjunto soluo ou conjunto verdade de uma equao formado
pelos valores da varivel que tornam a igualdade verdadeira. Por exemplo,
qual o conjunto soluo da equao x
2
5x + 6 = 0?
O conjunto soluo S pode ser assim defnido:
S = {x/ x
2
5x + 6 = 0}
A resoluo pode ser efetuada pela frmula de Bhskara (1114-1185):
x
2
5x + 6 = 0 x =
( 5) (5)
2
4 . 1 . 6
2.1
x =
5 1
2
x = 2 ou x = 3
Logo, o conjunto soluo S da equao S = {2, 3}:
S
2 3
Diagrama
Os nmeros 2 e 3, chamados de razes, so os nicos nmeros que
tornam verdadeira a equao ao se substituir a varivel x por 2 ou por 3,
separadamente:
x = 2 2
2
5 . 2 + 6 = 0 0 = 0 (igualdade verdadeira)
x = 3 3
2
5 . 3 + 6 = 0 0 = 0 (igualdade verdadeira)
63
Observao:
Apesar de existir vrias maneiras de se representar um conjunto, o mais
importante, entretanto, no a representao utilizada, mas, sim, que no
haja dvida sobre quais so os elementos componentes.
Subconjuntos
Assim como elementos podem estar associados a conjuntos utilizando os
smbolos correspondentes a pertence ( ) e no pertence ( ), dois conjuntos
podem estar tambm relacionados por meio dos smbolos (est contido)
ou (no est contido). Como exemplo, considere:
C: polticos do Congresso Nacional
B: polticos brasileiros
Ento, podemos escrever: C B
Nesse caso, o conjunto C subconjunto do conjunto B:
Nesta representao
C est contido no B
C
B
Dizer que o conjunto dos polticos do Congresso Nacional est contido
no conjunto dos polticos do Brasil o mesmo que afrmar:
Todo poltico do Congresso Nacional um poltico do Brasil.
Podemos tambm dizer que o conjunto B contm o conjunto C, ou seja,
B C.
Pode ocorrer que nem todos os elementos de um conjunto (ou nenhum)
pertenam ao outro conjunto. Para ilustrar, considere os seguintes conjuntos:
A: pessoas que trabalham no Congresso Nacional
B: polticos do Brasil
64
Existem pessoas que trabalham no Congresso Nacional e no so polti-
cos. Nesse caso, dizemos que A no est contido em B ou que o conjunto B
no contm o conjunto A. Em smbolos, a representao A B.
Nesta representao
o conjunto A no
est contido em B
A
B
Exemplo:
Dados os conjuntos A = {1; 2; 3; 4; 5}, B = {2; 4; 5} e C = {0; 1; 2; 3}, todos os
elementos de B pertencem ao conjunto A, mas nem todos os elementos de
C pertencem ao conjunto A. A ilustrao indica que o conjunto B subcon-
junto de A e o conjunto C no subconjunto de A.
B
A
0
1
3
2
4
5
C
Logo, podemos escrever: B A e C A.
Conjunto vazio
Um conjunto qualquer pode ter muitos elementos, at infnitos elemen-
tos podem ocorrer. Por outro lado, um conjunto pode tambm no ter ele-
mentos. Quando um conjunto no possui elemento algum chamado de
conjunto vazio.
Um conjunto vazio no possui elemento algum. Para represent-lo, existem
duas maneiras: { } ou .
65
Observaes:
No possvel apresentar um elemento sequer do conjunto vazio que
no pertena a um conjunto qualquer A. Por isso, admitimos sempre que:
A, qualquer que seja A.
Todos os elementos de um conjunto A pertencem ao prprio conjunto
A, ou seja:
A A, para todo conjunto A.
Exemplo 1:
Dadas as afrmaes a seguir, vamos classifclas em verdadeiras (V) ou
falsas (F):
( V ) Se A = {m, n, p, q}, ento m A.
( V ) {2, 3} {2, 3, 4}
( V ) {0, 2, 4, 6, ...} {0, 1, 2, 3, 4, 5, 6, ...}
( V ) Se A B e B C, ento A C.
( V ) A, qualquer que seja A.
( V ) Se A B e B A, ento A = B.
( V ) Se A = {x/ x > 0 e x par}, ento A = {2, 4, 6, 8, ...}
Exemplo 2:
Quais possveis conjuntos X satisfazem a relao {3, 4} X {2, 3, 4, 5}?
Para satisfazer tal relao, X deve conter {3, 4} e, ao mesmo tempo, estar
contido em {2, 3, 4, 5}. Assim, existem quatro conjuntos possveis para X:
X = {2, 3}
X = {2, 3, 4}
X = {2, 3, 5}
X = {2, 3, 4, 5}
66
Proposies condicionais e conjuntos
A Inglaterra um dos pases da Europa.
0 405 Km
Escala grfca aproximada
I
E
S
D
E

B
r
a
s
i
l

S
.
A
.

A
d
a
p
t
a
d
o
.
Fonte: Temtica Cartografa.
Legenda:
Territrios pertencentes ao continente europeu
Territrios pertencentes outros continentes
Reino Unido
Por esse motivo, podemos escrever: Todo ingls europeu. E representar: Pessoa
inglesa Pessoa europeia, ou seja: Se uma pessoa inglesa, ento europeia.
Observao:
Em Lgica, quando utilizamos a proposio p q (se p, ento q), estamos
relacionando dois conjuntos: P (formado pelos elementos que satisfazem a pro-
priedade p) e Q (formado pelos elementos que satisfazem a propriedade q), de
forma que todos os elementos de P sejam elementos de Q, ou seja, P Q.
p q corresponde a P Q.
67
Exemplo 1:
Considere as defnies:
p: Ana inglesa
q: Ana europeia
e as designaes
P: conjunto dos ingleses
Q: conjunto dos europeus
Relacionando as ideias, podemos escrever:
Se Ana inglesa, ento Ana europeia (p q).
Logo, de forma equivalente, todo ingls europeu (P Q).
Para explorar mais detalhes relacionados lgica, considere:
~p: Ana no inglesa
~q: Ana no europeia
O que voc diria quanto s afrmaes:
Se Ana europeia, ento Ana inglesa (q p).
Se Ana no inglesa, ela no europeia (~p ~q).
Quem da Alemanha, por exemplo, no da Inglaterra, mas da Europa.
Assim, uma pessoa europeia no necessariamente inglesa. Do mesmo modo,
uma pessoa no inglesa no necessariamente no europeia.
Organizando as informaes, podemos dizer que a proposio:
Pessoa inglesa Pessoa europeia
no equivalente a qualquer uma das seguintes proposies:
Pessoa europeia Pessoa inglesa
Pessoa no inglesa Pessoa no europeia
Entretanto, a proposio:
Se Ana inglesa, ento Ana europeia (p q).
68
equivalente a:
Se Ana no europeia, ento Ana no inglesa (~q ~p).
Europeus
Ingleses
Ana Ana
Se Ana inglesa, ento europeia.
Se Ana no europeia, ento no inglesa.
Observe que essa relao validada pelo seguinte fato:
Se Ana inglesa, ento europeia.
Proposio contrapositiva equivalente:
Se Ana no europeia, ento no inglesa.
Exemplo 2:
Considere as defnies:
p: Bruno carioca
q: Bruno brasileiro
e as designaes:
P: conjunto dos cariocas
Q: conjunto dos brasileiros
Associando as proposies e os conjuntos, temos:
Se Bruno carioca, ento Bruno brasileiro (p q).
De forma equivalente, todo carioca brasileiro (P Q).
Observe no prximo exemplo que as relaes entre as proposies e os
conjuntos no precisam ser geogrfcas.
69
Exemplo 3:
Considere as aes:
p: Estudar
q: Aprovao no concurso
e as designaes:
P: conjunto dos que estudam
Q: conjunto dos aprovados em concursos
Se a relao entre as proposies p e q se d por uma proposio condi-
cional, podemos escrever:
Se algum estuda, ento aprovado no concurso (p q).
Da mesma forma:
Todos os que estudam so aprovados no concurso (P Q).
Exemplo 4:
Qual ilustrao poderia ser construda se considerssemos como verda-
deira a proposio:
Se dirige rpido, ento est apressado (p q).
O conjunto das pessoas que dirigem rpido subconjunto das pessoas
apressadas:
Pessoas apressadas
Pessoas que
dirigem rpido
Todas as pessoas que dirigem rpido so apressadas.
Vale ainda ressaltar que, de acordo com a ilustrao anterior, as pessoas
que no dirigem rpido podem ou no ser apressadas.
70
Exemplo 5:
Considerando verdadeira a proposio:
Todas as plantas so verdes.
Por meio de diagramas, a ilustrao adequada para relacionar os conjun-
tos plantas e verdes a seguinte:
Verdes
Plantas
Observe que as proposies a seguir no so necessariamente verdadeiras:
Todos os verdes so plantas.
Todas as no plantas so no verdes.
A proposio abaixo necessariamente verdadeira, pois se todas as plan-
tas so verdes, obrigatoriamente algumas plantas so verdes.
Algumas plantas so verdes.
Tambm necessariamente verdadeira a proposio abaixo:
Todos os no verdes so no plantas.
Para verifcar, basta utilizar a proposio contrapositiva correspondente.
Plantas Verdes
No Verdes No Plantas
Isso pode ser verifcado no diagrama anterior: os elementos que no per-
tencem ao conjunto dos Verdes necessariamente no pertencem ao con-
junto das Plantas.
71
Exemplo 6:
Considere verdadeira a proposio:
Todos os advogados so honestos.
Uma ilustrao que representa corretamente a relao entre os conjuntos
Advogados e Honestos a seguinte:
Honestos
Advogados
Se Todos os advogados so honestos, ento:
Todos os honestos so advogados.
Todos os no advogados so no honestos.
as proposies no so necessariamente verdadeiras.
A proposio:
Alguns advogados so honestos.
necessariamente verdadeira, pois se todas os advogados so hones-
tos, verdade que alguns advogados so honestos.
A proposio abaixo tambm necessariamente verdadeira.
Todos os no honestos so no advogados.
Observe:
Advogados Honestos
No honestos No advogados
72
Ampliando seus conhecimentos
O prximo texto foi extrado do livro Lgica? Lgico!
(MACHADO, 2000, p. 9)
O flme O Enigma de Kaspar Hauser relata a histria de um homem (Kaspar
Hauser) que viveu isolado de outras pessoas desde criana at a idade adulta,
quando aprendeu a falar.
Nesse flme, h uma cena em que um professor de Lgica, para investigar a
inteligncia de Kaspar Hauser, prope o seguinte problema:
Caminhando por certa estrada, voc chega a um ponto em que h uma
bifurcao: uma das vias conduz aldeia A e a outra conduz aldeia B.
No ponto de bifurcao, voc encontra dois homens, cada um vindo de
uma das aldeias onde vivem. No se sabe qual deles vem da aldeia A ou da B.
Sabe-se apenas que todos os habitantes da aldeia A mentem o tempo todo,
enquanto todos os habitantes da B falam somente a verdade. Voc deve iden-
tifcar a procedncia de cada um dos homens, sendo-lhe permitido, para isso,
fazer uma nica pergunta a um s deles. Qual deve ser a pergunta?
Kaspar Hauser respondeu:
Eu perguntaria a qualquer um dos dois: Voc uma pedra?
Explique como essa nica pergunta feita a qualquer um dos homens possi-
bilitou a identifcao da origem de cada um deles.
Comentrio do autor:
Cada um dos homens tem uma procedncia diferente e, portanto, naturezas
distintas em relao falar ou no a verdade. A pergunta voc uma pedra?
deve ser respondida com um sim por quem mente e nopor quem fala a ver-
dade. Logo, independentemente a quem feita a pergunta, de acordo com a
resposta, sempre ser possvel identifcar se o homem fala a verdade ou mente.
Alm disso, o homem a quem no feita a pergunta ter, necessariamente, na-
tureza oposta do primeiro a quem feita a pergunta. Isso possibilitar identif-
car a origem de cada um deles.
73
Atividades de aplicao
1. Considere as proposies simples:
p: 7 um nmero mpar.
q: Existem infnitos nmeros inteiros.
r: Todo europeu francs.
De acordo com os valores lgicos de p, q e r, determine os valores lgi-
cos das proposies compostas:
a) ( ) p q
b) ( ) ~q r
c) ( ) p r
d) ( ) q ~r
e) ( ) ~r ~q
f) ( ) p q
g) ( ) ~q r
h) ( ) (~p r) (~q)
2. Considerando verdadeira a proposio Se sou carioca, ento sou bra-
sileiro, marque V ou F, conforme se possa concluir que cada uma das
seguintes proposies verdadeira ou falsa, respectivamente.
a) ( ) Ser carioca sufciente para ser brasileiro.
b) ( ) Ser brasileiro necessrio para ser carioca.
c) ( ) Ser brasileiro sufciente para ser carioca.
d) ( ) Ser carioca necessrio para ser brasileiro.
e) ( ) Sou carioca somente se sou brasileiro.
f) ( ) Sou brasileiro somente se sou carioca.
74
3. Considerando como verdadeira a proposio Se Almir almirante, en-
to Bruno biruta, marque com um X as proposies que so necessa-
riamente verdadeiras.
a) ( ) Se Bruno biruta, ento Almir almirante.
b) ( ) Se Bruno no biruta, ento Almir no almirante.
c) ( ) Se Almir no almirante, ento Bruno no biruta.
d) ( ) Almir ser almirante condio sufciente para Bruno ser biruta.
e) ( ) Almir ser almirante condio necessria para Bruno ser biruta.
f) ( ) Almir no ser almirante condio sufciente para Bruno no ser
biruta.
g) ( ) Almir no ser almirante condio necessria para Bruno no ser
biruta.
h) ( ) Bruno ser biruta condio sufciente para Almir ser almirante.
i) ( ) Bruno ser biruta condio necessria para Almir ser almirante.
j) ( ) Bruno no ser biruta condio sufciente para Almir no ser
almirante.
k) ( ) Bruno no ser biruta condio necessria para Almir no ser
almirante.
4. Dada a proposio condicional Se estudo, ento passo:
a) Escreva uma proposio condicional equivalente.
b) Escreva uma proposio no condicional equivalente.
c) Escreva a negao da proposio dada.
5. Qual a negao da proposio Se voc estudou Lgica ento voc
acertar essa questo?
6. Marque V ou F conforme a proposio seja verdadeira ou falsa, respecti-
vamente.
a) ( ) Uma condio necessria para que um nmero seja maior do
que 3 que ele seja positivo.
75
b) ( ) Uma condio sufciente para que um nmero seja maior do
que 1 que ele seja positivo.
c) ( ) Uma condio necessria e sufciente para que um nmero
seja maior do que 2 que ele seja positivo.
d) ( ) Toda condio sufciente para que um nmero seja positivo
tambm sufciente para que ele seja maior do que 2.
7. Num balnerio rigorosamente obedecida a seguinte ordem:
Se no chover, ento todos os bares devero ser abertos.
Nas proposies a seguir, marque V conforme se possa concluir corre-
tamente que a proposio verdadeira. Caso contrrio, marque F.
a) ( ) Se todos os bares beira-mar esto abertos, ento choveu.
b) ( ) Se todos os bares beira-mar esto abertos, ento no cho-
veu.
c) ( ) Se choveu, ento todos os bares beira-mar no esto aber-
tos.
d) ( ) Se choveu, ento todos os bares beira-mar esto abertos.
e) ( ) Se um bar beira-mar no est aberto, ento choveu.
8. Por meio da tabela-verdade, mostre que a proposio Se tenho di-
nheiro, ento viajo a negao da proposio Tive dinheiro e no
viajei.
9. Cada um dos cartes abaixo tm de um lado um nmero e do outro
uma letra.
U Z 4 5
Considerando como verdadeira a afrmao Todos os cartes que tm
vogal numa face, tm nmero par na outra, marque V ou F em cada
uma das proposies a seguir, conforme a proposio seja verdadeira
ou falsa, respectivamente. Para verifcar se tal afrmao verdadeira,
a) ( ) necessrio virar todos os cartes.
76
b) ( ) sufciente virar os dois primeiros cartes.
c) ( ) sufciente virar os dois ltimos cartes.
d) ( ) sufciente virar os dois cartes do meio.
e) ( ) sufciente virar o primeiro e o ltimo carto.
10. A sentena Estou feliz se, e somente se, meu time ganha verdadeira.
Marque V caso se possa concluir que a sentena apresentada neces-
sariamente verdadeira. Caso contrrio, marque F.
a) ( ) Estou feliz.
b) ( ) Meu time ganhou.
c) ( ) No estou feliz.
d) ( ) Meu time no ganhou.
e) ( ) Se estou feliz, ento meu time ganhou.
f) ( ) Se meu time ganhou, ento estou feliz.
g) ( ) Se meu time no ganhou, ento no estou feliz.
h) ( ) Se no estou feliz, ento meu time no ganhou.
i) ( ) Se no estou feliz, ento meu time ganhou.
j) ( ) Se estou feliz, ento meu time no ganhou.
k) ( ) Se meu time ganhou, ento no estou feliz.
l) ( ) Se meu no time ganhou, ento estou feliz.
77
Referncias
ABELARDO, Pedro. Lgica para Principiantes. Petrpolis: Vozes, 1994.
ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel,
2003. 203 p.
ARISTTELES. Tpicos. So Paulo: Abril Cultural, 1973. (Coleo Os Pensadores).
_____. Organon. So Paulo: Nova Cultural, 1999. (Coleo Os Pensadores).
BOLL, Marcel; REINHART, Jacques. A Histria da Lgica. Lisboa: Edies 70, 1982.
127 p.
CASTRUCCI, Benedito. Introduo Lgica Matemtica. 6. ed. So Paulo: Nobel,
1986. 158 p.
DESCARTES, Ren. Discurso do Mtodo. 4. ed. So Paulo: Martins Fontes, 2003.
102 p.
KELLER, Vicente; BASTOS, Cleverson L. Aprendendo Lgica. 12. ed. Petrpolis:
Vozes, 2000. 179 p.
KOPNIN, P. V. A Dialtica como Lgica e Teoria do Conhecimento. Rio de Janei-
ro, 1978. 353 p.
LAUSCHNER, Roque. Lgica Formal. 4. ed. rev. Porto Alegre: Sulina/ Unisinos,
1984. 207 p.
LIARD, L. Lgica. 6. ed. So Paulo: Cia. Editora Nacional, 1965. 211 p.
LIPSCHULTZ, Seymour. Teoria dos Conjuntos. So Paulo: McGraw-Hill, 1972. 337 p.
MACHADO, Nilson Jos. Matemtica 1 por Assunto lgica, conjuntos e fun-
es. So Paulo: Scipione, 1988. 240 p.
_____. Lgica? Lgico! So Paulo: Scipione, 2000. 49 p. (Coleo Vivendo a
Matemtica).
MARITAIN, Jacques. Elementos de Filosofa II: a ordem dos conceitos, lgica
menor. Rio de Janeiro: Agir, 1980. 318 p.
78
NAHRA, Cnara; WEBER, Ivan Hingo. Atravs da Lgica. 5. ed. Petrpolis: Vozes,
1997. 174 p.
OLIVEIRA, Augusto J. Franco de. Lgica Aritmtica. Braslia: UnB, 2004. 241 p.
SALMON, Wesley C. Lgica. 4. ed. Rio de Janeiro: Zahar, 1978. 142 p.
SRATES, Jonofon. Raciocnio Lgico. 8. ed. Braslia: Jonofon, 1998. 432 p. v. 1.
_____. Raciocnio Lgico. 8. ed. Braslia: Jonofon, 1998. 467 p. v. 2.
SOARES, Edvaldo. Fundamentos da Lgica elementos da Lgica Formal e Teoria
da Argumentao. So Paulo: Atlas, 2003. 187 p.
TELLES JR., Gofredo. Curso de Lgica Formal. 3. ed. So Paulo: Edusp, 1973. 367
p.
79
Gabarito
1. a) ( V ) b) ( V ) c) ( F ) d) ( V )
e) ( F ) f ) ( V ) g) ( V ) h) ( F )
2. a) ( V ) b) ( V ) c) ( F ) d) ( F )
e) ( V ) f ) ( F )
3. a) ( ) b) ( X ) c) ( ) d) ( X )
e) ( ) f ) ( ) g) ( X ) h) ( )
i) ( X ) j) ( X ) k) ( )
4.
a) Se no passei, ento no estudei.
b) No estudo ou passo.
c) Estudei e no passei.
5. Voc estudou lgica e no acertar essa questo.
6. a) ( V ) b) ( F ) c) ( F ) d) ( F )
7. a) ( F ) b) ( F ) c) ( F ) d) ( F )
e) ( V )
8. Sejam as proposies p: tenho dinheiro e q: viajo. A proposio Se
tenho dinheiro, ento viajo tem a forma p q e a proposio Tive
dinheiro e no viajei tem a forma p ~q. Assim, temos:
p q ~q p q p ~q
V V F V F
V F V F V
F V F V F
F F V V F
A tabela comprova que as proposies so contraditrias, ou seja,
~(p q) p ~q.
80
9. a) ( F ) b) ( F ) c) ( F )
d) ( F ) e) ( V )
10. a) ( F ) b) ( F ) c) ( F ) d) ( F )
e) ( V ) f ) ( V ) g) ( V ) h) ( V )
i) ( F ) j) ( F ) k) ( F ) l) ( F )

Proposições Condicionais e Bicondicionais

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Proposições Condicionais e Bicondicionais

Transféré par

Droits d'auteur :

Formats disponibles

Proposies condicionais

Vous aimerez peut-être aussi