Escolar Documentos
Profissional Documentos
Cultura Documentos
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 introduzem 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.
se p, ento q:
p implica q:
p somente se q:
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. Entretanto, essa proposio condicional nada afirma sobre o que poder ocorrer 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.
q
Dessa forma, podemos dizer que uma proposio condicional p
ser falsa apenas no caso de p ser verdadeira e q ser falsa. Nos demais
casos, p q ter sempre o valor lgico V.
46
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
A tabela-verdade a seguir apresenta um resumo de todos os valores lgicos possveis de uma proposio condicional:
p
q
V
Observe alguns exemplos que procuram explicar as relaes de uma proposio 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
47
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
48
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
condio suficiente
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?
q seja falsa, a proPara que uma proposio condicional da forma p
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 concluir 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
49
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Proposio recproca
A proposio recproca de p
q a proposio da forma q
p.
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 proposio 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.
~q
Exemplo 2:
A proposio Se me esforo, ento veno tem como inversa a proposio 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
52
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~p
~q
recproca
inversa
~p
contrapositiva
~q
~q
~p
V
Logicamente Equivalentes
Resumindo, dada uma proposio condicional qualquer, sua recproca 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 correspondente 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 proposio ~p q, chamada de implicao material, equivalente proposio
condicional p q. Para comprovar essa equivalncia, vamos construir as correspondentes tabelas-verdade.
53
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~p
p
V
~p q
V
V
Equivalentes
Exemplo:
Sejam as proposies p: Ana arquiteta e q: Bruno barbeiro, e as proposies compostas:
Proposio condicional:
p
Contrapositiva:
~q
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
~p
~q
~p q
p ~q
54
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
q a proposio p
~q, ou
q) p ~q
Exemplo:
Proposio condicional:
p
Negao:
p ~q: Ana arquiteta e Bruno no barbeiro.
Proposies bicondicionais
As proposies bicondicionais so formadas a partir de proposies condicionais. Assim, quando ocorrer simultaneamente as proposies se p,
ento q e se q, ento p, dizemos que tambm ocorre a proposio bicondicional p se, e somente se, q e a representamos por p q .
Recproca:
q
(p
q) (q
p) (p
Condicional recproca
q)
bicondicional
Existem outras maneiras equivalentes para utilizar uma proposio bicondicional. Observe:
p se, e somente se, q:
p equivale a q:
V
V
F
F
V
F
V
F
pq
qp
V
V
F
V
V
F
V
V
Condicionais
pq
V
F
F
V
Bicondicional
56
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~q
~p
~q
Exemplo 2:
Sejam as proposies:
p: 10 mltiplo de 4.
q: 10 par.
57
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
q:
p:
~q:
~p:
q:
~p
~q
q
V
~p
~q
~q
~p
q
F
Exemplo 3:
Nesse exemplo, mostraremos que as proposies ~(p
logicamente equivalentes por meio da tabela-verdade:
p
~q
V
V
F
F
V
F
V
F
F
V
F
V
~q
F
V
F
F
q
V
F
V
V
q) e (p ~q) so
~(p
q)
F
V
F
F
~q
~p
Os valores lgicos das proposies anteriores so V, F e F, respectivamente. Vamos determinar o valor lgico de cada uma das proposies compostas a seguir:
p
A proposio p
r
~q
A proposio ~q
p
A proposio p
~q
~r
A proposio ~q
~p (~r
q)
Conjuntos
possvel relacionar as proposies condicionais e conjuntos. Isso pode
ser feito naturalmente pela associao de conceitos matemticos com conceitos lgicos. Para uma melhor compreenso, atente para alguns conceitos.
60
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Elementos de conjuntos
Os deputados federais so eleitos para representar os interesses da sociedade brasileira no Congresso Nacional, em Braslia.
61
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
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 x2 5x + 6 = 0?
O conjunto soluo S pode ser assim definido:
S = {x/ x2 5x + 6 = 0}
A resoluo pode ser efetuada pela frmula de Bhskara (1114-1185):
x2 5x + 6 = 0 x =
( 5)
(5)2 4 . 1 . 6
2.1
x=
51
x = 2 ou x = 3
3
Diagrama
22 5 . 2 + 6 = 0
0 = 0 (igualdade verdadeira)
x = 3
32 5 . 3 + 6 = 0
0 = 0 (igualdade verdadeira)
62
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
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
63
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Existem pessoas que trabalham no Congresso Nacional e no so polticos. 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.
B
A
Nesta representao
o conjunto A no
est contido em 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 subconjunto de A e o conjunto C no subconjunto de A.
A
B
1
0
AeC
A.
Conjunto vazio
Um conjunto qualquer pode ter muitos elementos, at infinitos elementos podem ocorrer. Por outro lado, um conjunto pode tambm no ter elementos. 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 .
64
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
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
Exemplo 1:
Dadas as afirmaes a seguir, vamos classificlas em verdadeiras (V) ou
falsas (F):
( V ) Se A = {m, n, p, q}, ento m A.
{2, 3, 4}
( V ) {2, 3}
( V ) {0, 2, 4, 6, ...}
BeB
( V ) Se A
(V)
{0, 1, 2, 3, 4, 5, 6, ...}
C, ento A
C.
( V ) Se A
A, ento A = B.
{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}
65
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
405 Km
Legenda:
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 propriedade 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.
66
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Exemplo 1:
Considere as definies:
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).
Q).
p).
~q).
Pessoa europeia
Pessoa inglesa
Pessoa no europeia
Entretanto, a proposio:
Se Ana inglesa, ento Ana europeia (p
q).
67
equivalente a:
Se Ana no europeia, ento Ana no inglesa (~q
~p).
Europeus
Ingleses
Ana
Ana
Se Ana no europeia, ento no inglesa.
Se Ana inglesa, ento europeia.
q).
Q).
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 condicional, 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 verdadeira a proposio:
Se dirige rpido, ento est apressado (p
q).
Pessoas que
dirigem rpido
69
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Exemplo 5:
Considerando verdadeira a proposio:
Todas as plantas so verdes.
Por meio de diagramas, a ilustrao adequada para relacionar os conjuntos plantas e verdes a seguinte:
Verdes
Plantas
70
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
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
71
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
72
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Atividades de aplicao
1. Considere as proposies simples:
p: 7 um nmero mpar.
De acordo com os valores lgicos de p, q e r, determine os valores lgicos 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 brasileiro, marque V ou F, conforme se possa concluir que cada uma das
seguintes proposies verdadeira ou falsa, respectivamente.
a) ( ) Ser carioca suficiente para ser brasileiro.
b) ( ) Ser brasileiro necessrio para ser carioca.
c) ( ) Ser brasileiro suficiente para ser carioca.
d) ( ) Ser carioca necessrio para ser brasileiro.
e) ( ) Sou carioca somente se sou brasileiro.
f) ( ) Sou brasileiro somente se sou carioca.
73
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
3. Considerando como verdadeira a proposio Se Almir almirante, ento Bruno biruta, marque com um X as proposies que so necessariamente 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 suficiente para Bruno ser biruta.
e) ( ) Almir ser almirante condio necessria para Bruno ser biruta.
f) ( ) Almir no ser almirante condio suficiente para Bruno no ser
biruta.
g) ( ) Almir no ser almirante condio necessria para Bruno no ser
biruta.
h) ( ) Bruno ser biruta condio suficiente para Almir ser almirante.
i) ( ) Bruno ser biruta condio necessria para Almir ser almirante.
j) ( ) Bruno no ser biruta condio suficiente 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, respectivamente.
a) ( ) Uma condio necessria para que um nmero seja maior do
que 3 que ele seja positivo.
74
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Nas proposies a seguir, marque V conforme se possa concluir corretamente 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 choveu.
c) ( ) Se choveu, ento todos os bares beira-mar no esto abertos.
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 dinheiro, 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.
76
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
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 Janeiro, 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 funes. So Paulo: Scipione, 1988. 240 p.
_____. Lgica? Lgico! So Paulo: Scipione, 2000. 49 p. (Coleo Vivendo a
Matemtica).
MARITAIN, Jacques. Elementos de Filosofia II: a ordem dos conceitos, lgica
menor. Rio de Janeiro: Agir, 1980. 318 p.
77
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
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., Goffredo. Curso de Lgica Formal. 3. ed. So Paulo: Edusp, 1973. 367
p.
78
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
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)
f )
(F)
e) ( V )
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 )
~q
p ~q
79
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
9. a) ( F )
b)
( F )
d) ( F )
e)
(V)
10. a) ( F )
b)
e) ( V )
i)
( F )
c)
(F)
( F )
c)
( F )
d)
(F)
f )
( V )
g)
( V )
h)
(V)
j)
( F )
k)
( F )
l)
(F)
80
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br