- 1 -

A LGICA NA MATEMTICA


1. BREVE HISTRICO

O pensamento lgico teve forte presena no cerne da Civilizao Grega.
Aristteles (384-322 A.C) tido como o primeiro sistematizador do conhecimento
lgico da poca. Presume-se que a partir de uma anlise das discusses, que eram
comuns no seu tempo, o filsofo teria procurado caracterizar um instrumento de que se
serviria a razo, na busca da verdade. Aristteles teve seu trabalho registrado por seus
discpulos e a obra de Lgica, intitulada o Organon, serviu de fundamentao para a
Lgica Simblica. Aristteles classificou as proposies em quatro grupos, dois
originrios de uma considerao qualitativa e dois de consideraes quantitativas.
Segundo a quantidade, tem-se proposies afirmativas ou negativas e, segundo a
qualidade, em universais e particulares. Assim que na lgica de Aristteles aparecem
expresses como todo, nenhum, algum, etc; e frases tipo "Todo homem mortal "
(universal afirmativa) e "Alguns homens no so sbios" (particular negativa).
Ainda na Grcia Antiga, surgiu a escola estico-megrica que estudava a lgica
das proposies, desenvolvendo aspectos no encontrados na Lgica Aristotlica.
Depois do perodo dos esticos-megrios, inicia-se um perodo obscuro, quase
virgem de pesquisa. Segundo os elementos histricos existentes, no houve nenhuma
contribuio original Lgica por mais de 1000 anos. Houve apenas o trabalho de
transmisso de conhecimentos antigos para a Idade Mdia. Destaca-se Bocio (470-
524) com a traduo latina de parte da obra aristotlica.
Foi um longo perodo pobre de contribuies para esse ramo do conhecimento
cientfico . Durante os sculos XVII e XVIII e incio do sculo XIX o grande interesse
era pela retrica e pelas questes psicolgicas. Escapa dessa inflncia Leibniz (1646 -
1716), cujas idias originais e inovadoras ficaram isoladas no sculo XVII e s viriam a

- 2 -
ser apreciadas e conhecidas no fim do sculo XIX. Assim que o uso de diagramas
para estudos de lgica, atribudo a Euler, j tinha sido utilizado por Leibniz. No
entanto, foi John Venn (1834-1923) quem aperfeioou os diagramas no estudo da
Lgica.
Leibniz foi o precursor da Lgica Moderna. Ele sugeriu uma espcie de lgebra
Universal, uma linguagem de smbolos que pudesse ser entendida por todos, qualquer
que fosse a lngua utilizada. Estava assim criado o ambiente adequado para o
surgimento da Lgica Simblica (tambm chamada de Lgica Matemtica ou Lgica
Formal) e cujo objetivo era dar um tratamento rigoroso, estrutural, ao conhecimento
lgico tradicional.
O perodo "contemporneo" da lgica tem suas razes nos trabalhos de George
Boole (1815-1864) que deu novos rumos ao estudo da matria. A obra fundamental de
Boole, Investigations of the Laws of Thought, publicada em 1854, compara as leis do
pensamento s leis da lgebra. Paralelamente, De Morgan (1806-1871) tambm
contribuiu para o desenvolvimento da lgebra da Lgica. Com os trabalhos de Boole e
de Morgan a Lgica clssica torna-se autnoma, separando-se da filosofia para tornar-
se a Lgica Matemtica.
Os alemes Frege (1848-1925) e Cantor ( 1845-1918) deram impulsos Lgica
Simblica. A tentativa de Frege de transformar a Matemtica em ramo da Lgica levou
a paradoxos depois estudados por Russel e Whithead, autores do "Principia
Mathematica", uma das obras fundamentais deste sculo. Como consequncia os
lgicos e matemticos entraram em divergncia, a partir da segunda metade do sculo
XIX, dando lugar ao surgimento de pelo menos trs correntes de pensamento bem
distintas: o logicismo (de Russel), o intuicionismo (de Brouwer ) e o formalismo (de
Hilbert).
A corrente logicista pretendeu reduzir a Matemtica Lgica, e seu pensamento
est bem delineado na obra Principia Mathematica e suas origens esto certamente
em Leibniz.

- 3 -
A corrente formalista - cujas razes esto no filsofo alemo Kant, foi liderada
por Hilbert. Amplia a atuao da Lgica caracterizando-a como um mtodo de obter
inferncias legtimas . Uma teoria para ser formalizada deve conter conceitos
primitivos, axiomas e teoremas e ser consistente. Ser consistente numa teoria formal
significa que se ela contm determinada proposio, no pode conter a sua negao.
A escola intuicionista, cujo maior representante foi o matemtico holands
Brouwer, reduz a Lgica a um mtodo que se desenvolve paralelamente a Matemtica.
Para os seus seguidores, todos os conhecimentos existem por intuio, ou seja, sem
auxlio de raciocnio. Rejeitam o prncipio do terceiro excludo, sendo, portanto
possvel para eles a construo de enunciados que no so verdadeiros ou falsos.
As crticas e divergncias em torno dos fundamentos filosficos do Principia
Matemtica deram lugar ao surgimento de lgicas polivalentes.
Atualmente a Lgica no est, como esteve, at por volta de 1930, dividida nas
trs correntes acima. Hoje, inmeras correntes surgem e as trs antigas se aproximam.
Os estudos ganharam um ritmo acelerado, as especialidades se multiplicam e os
problemas se abrem.


2. PROPOSIES E CONECTIVOS

A Lgica Matemtica se ocupa da anlise de certas sentenas, quase sempre de
contedo matemtico. Tambm estuda as relaes, conexes, entre estas sentenas.
Comearemos definindo proposio. Chama-se proposio uma sentena (conjunto de
palavras e smbolos) declarativa, que exprime um pensamento de sentido completo, e
que pode ser classificada como verdadeira ou falsa.
Os termos verdade e falsidade so chamados valores lgicos de uma
proposio.
Para efeito de classificar as proposies em verdadeiras ou falsas a Lgica
Matemtica adota como regras fundamentais os dois seguintes princpios:

- 4 -
I) Princpio da No Contradio - Uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
II) Princpio do Terceiro Excludo - Toda proposio ou verdadeira ou falsa (isto ,
verifica-se sempre um desses casos e nunca um terceiro).
Pelos dois princpios anteriores temos que: Toda proposio tem um e somente
um dos valores lgicos verdade ou falsidade. Por este motivo, chamamos a Lgica
Matemtica de bivalente.
As proposies sero indicadas por letras p, q, r, s, t, ... e o seu valor lgico
por V(p) = V (ou 1) para uma proposio verdadeira e, V(p) = F (ou 0) para uma
proposio falsa.

Exemplos e contra-exemplos

1) p: Salvador a capital da Bahia
2) q: 2 + 3 < 5
3) r: O poeta Castro Alves era baiano.
4) x + 2 = 1
5) Como faz calor!
6) Que dia hoje?

Como foi convencionado na definio, sentenas exclamativas ou interrogativas
(exemplos 5 e 6) no so proposies. O exemplo 4 tambm no representa uma
proposio, uma vez que no podemos atribuir um nico valor lgico (depende de x).
As proposies podem ser classificadas em simples e compostas.
Proposies simples - Aquelas que no contm nenhuma outra como parte integrante de
si mesma. So tambm chamadas de atmicas .
Proposies compostas - Aquelas formadas pela combinao de proposies simples.
So tambm chamadas de moleculares .

- 5 -
Como foi convencionado anteriormente as proposies simples sero indicadas
por letras p, q, r, s, etc.. As proposies compostas sero denotadas por P, Q, R , S,
etc..

Exemplos
Proposio
1) 2 mpar simples
2) 3 mpar e 2 Q . composta
3) 2 > 0 ou 3 + 1 = 5 composta
4) Se 4 par ento 4 divisvel por 2. composta
5) 3 mpar se e somente se 3 primo composta

As palavras ou smbolos usados para formar novas proposies a partir de
proposies dadas so chamados de conectivos .

Os conectivos fundamentais da Lgica Matemtica so:
Conectivo Smbolo

1) no, no verdade que ~ negao ou modificador

2) e conjuno

3) ou disjuno

4) se ... ento condicional

5) se e somente se bicondicional


- 6 -
Dadas as proposies simples p e q podemos com o uso dos conectivos formar
novas proposies a partir de p e q. Assim, temos:


Exemplos
1) Dada as proposies:
p: Jorge Amado escreveu o livro "Mar Morto"
q: Rui Barbosa era baiano
temos para as seguintes, as tradues para a linguagem corrente

~p:


Jorge Amado no escreveu o romance "Mar Morto".
ou
No verdade que Jorge Amado escreveu o romance "Mar Morto".
p ~q: Jorge Amado escreveu o livro "Mar Morto" e Rui Barbosa no era baiano
ou
Jorge Amado escreveu o romance "Mar Morto" e falso que Rui Barbosa
era baiano.
~p q: Jorge Amado no escreveu o romance "Mar Morto" ou Rui Barbosa era
baiano.
ou
No verdade que Jorge Amado escreveu o romance "Mar Morto" ou
Rui Barbosa era baiano.
1) A negao de p ~p no p

2) A conjuno de p e q p q p e q

3) A disjuno de p e q p q p ou q

4) A condicional de p e q p q se p ento q

5) A bicondicional de p e q p q p se e somente se q


- 7 -
~(pq): No verdade que: Jorge Amado escreveu o romance "Mar Morto" ou
Rui Barbosa era baiano.

2) Sendo p: 2 um nmero par e q: 6 mltiplo de 3, para as seguintes proposies
temos as tradues para a linguagem simblica

a) 2 no par ou 6 mltiplo de 3 ~p q
b) Se 6 no mltiplo de 3 ento 2 par ~q p
c) 2 no par, se e somente se, 6 mltiplo de 3 ~p q


3. OPERAES LGICAS COM PROPOSIES
CLCULO PROPOSICIONAL

Quando trabalhamos com os conjuntos numricos, definimos operaes como a
adio, multiplicao, etc. e estudamos as propriedades de tais operaes, mostrando
que tais conjuntos tm uma estrutura algbrica. No caso da Lgica no trabalhamos
com nmeros, mas com proposies. J vimos que a partir de proposies simples
podemos "combin-las" mediante o uso de conectivos para formar novas proposies.
O que queremos saber agora : conhecidos os valores lgicos das proposies simples,
qual o valor lgico da proposio resultante obtida com os conectivos? Na verdade os
conectivos funcionam como smbolos operatrios, tais como +, , , x. Precisamos
portanto saber o "resultado" das operaes envolvendo conectivos e proposies da
Lgica.
Conhecendo-se os valores lgicos de duas proposies p e q, vamos definir os
valores lgicos das proposies: ~p, p q, p q, pq, p q, que decorrem de
situaes cotidianas, onde utilizamos o nosso bom senso, a nossa lgica. Nada mais
natural que isto.

1) Negao

- 8 -

Dada uma proposio p, a negao de p tem valor lgico verdade quando p
falsa e valor lgico falsidade quando p verdadeira. Isto pode ser resumido na
seguinte tabela, denominada tabela verdade.


p ~p
V F
F V

Exemplo

p: 2 + 1 = 3 V(p) = V
~p : 2 + 1 3 V( ~p) = F


2) Conjuno

Dadas as proposies p e q, a proposio p q verdadeira quando as duas
proposies forem verdadeiras, e falsa se uma delas for falsa. Pode-se resumir o
exposto na tabela a seguir.




p q p q
V V V
V F F
F V F

- 9 -
F F F

Exemplos

1) p: 2 < 5
q: 2 +3 = 5 V( p q) = V

2) p: um nmero irracional
q: 2 mpar
V(p) = V e V(q) = F, logo V( p q) = F

3) Disjuno

Dadas as proposies p e q a proposio p q verdadeira quando pelo menos
uma das proposies for verdadeira, e falsa se as duas forem falsas. Resumindo,


p q p q
V V V
V F V
F V V
F F F



Exemplo
p: 2 mpar
q: 3 > 0 V ( p q) = V


- 10 -

4) Condicional

Dadas as proposies p e q , a proposio p q falsa quando p verdadeira e
q falsa e verdadeira nos demais casos. Resumindo,

p q p q
V V V
V F F
F V V
F F V


Exemplo

p: 4 mpar
q: 3 par V ( p q) = V

Observaes

1) Notemos que, quando o valor lgico da proposio p falso, temos que a
condicional automaticamente verdadeira (no depende do valor lgico de q). Isto se
justifica pelo fato de que se p falsa , qualquer concluso pode se tirar da, verdadeira
ou falsa. Por exemplo, se supusermos que 1 = 2, podemos concluir que 0 = 1 e
tambm que 3 = 3. Em outras palavras, se p falsa, tudo vlido como nos ditados
populares: Se voc o dono da Coca-Cola ento eu sou o rei da Inglaterra.
Isto d origem a proposies sem nexo, absurdas, tais como: Se 2 = 1 ento a
lua de queijo, Se a Terra quadrada ento 2 + 2 = 4, que apesar de serem
verdadeiras, de acordo com a regra estabelecida, no tem nenhum sentido prtico.

- 11 -

2) Na condicional p q temos que:
p chamado de antecedente e q chamado de consequente.
3) A condicional tambm pode ser lida como: "p somente se q", "q, se p", "p
condio suficiente para q", "q condio necessria para p".
4) Uma condicional p q no afirma que o consequente se "deduz" do antecedente p,
ou seja, pode no haver uma relao intrnseca entre p e q. O que a condicional afirma
unicamente a relao entre os valores lgicos de p e q, de acordo com a definio
dada, isto , a condicional p q uma operao, tambm chamada de "implicao
material". Obviamente, na maioria dos casos, a Matemtica vai estar interessada em
condicionais verdadeiras, que vo de fato significar que p "implica" q. Veremos melhor
isto quando estudarmos implicao.

4) O exemplo a seguir pode nos ajudar a "justificar" o significado das condies
necessria e suficiente.
Se o pssaro canta ento est vivo.
i) O pssaro cantar condio suficiente para ele estar vivo, ou seja, suficiente o
pssaro cantar para garantirmos que ele est vivo.
ii) O pssaro estar vivo condio necessria para ele cantar, ou seja, necessrio que
o pssaro esteja vivo para que ele possa cantar.
A partir da condicional p q podemos obter as seguintes proposies:
i) q p a sua recproca
ii) ~q ~p a sua contrapositiva

Exemplos

1) Dada a condicional: "Se 4 par ento 4 divisvel por 2", temos
i) a recproca: "Se 4 divisvel por 2 ento 4 par"
ii) a contrapositiva: "Se 4 no divisvel por 2 ento 4 no par"

- 12 -

2) Dada a condicional: Se 3 um nmero irracional ento 2 3 irracional, temos
i) a recproca: "Se 2 3 irracional ento 3 irracional
ii) a contrapositiva: "Se 2 3 no irracional ento 3 no irracional


5) Bicondicional

Dadas as proposies p e q a proposio p q verdadeira quando p e q
tiverem os mesmos valores lgicos e falsa nos demais casos. Resumindo,

p q p q
V V V
V F F
F V F
F F V

Exemplo

p: 3 mpar
q: 4 divisivel por 2 V( p q) = V


Observaes

1) A bicondicional tambm pode ser interpretada como a conjuno de duas
condicionais: (p q) ( q p)
2) A bicondicional tambm pode ser lida como
i) p condio necessria e suficiente para q.

- 13 -
ii) q condio necessria e suficiente para p.
As definies que no so puramente nominais, so condies necessrias e
suficientes. Por exemplo, ABC um tringulo retngulo se e somente se ABC tm um
ngulo reto.

Observao

muito comum nos livros de Matemtica, definies dadas por uma condicional como,
por exemplo: um tringulo retngulo se tem um ngulo reto. Entretanto, deve-se
entender que a definio sempre uma bicondicional.


4. CONSTRUO DE TABELAS -VERDADE

Cada proposio simples p tem dois valores: V ou F, que se excluem. Da, para
n proposies simples p p ... p
1 2 n
, , , h tantas possibilidades quantos so os
arranjos n a n, com repetio de 2 elementos (F e V), isto , A
2,n
= 2
n
. Segue-se que o
nmero de linhas da tabela-verdade 2
n
.

Exemplo

Construo da tabela-verdade das seguintes proposies:

1) ~(p q) ~p ~q

p q p q ~(p q) ~p ~q ~p ~q ~(p q) ~p ~q
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V


- 14 -

2) ( p q) ( ~p ~q)



3) ( p ~q) ( r p)

Uma tautologia uma proposio composta cujo valor lgico a verdade
quaisquer que sejam os valores lgicos das proposies componentes. Se P uma
tautologia, P tambm chamada de proposio tautolgica ou logicamente verdadeira.
Uma tautologia em geral indicada por V, T ou 1.

Exemplo
P: ~(p q) ~p ~q
p q p q ~p ~q ~p ~q (pq)) (pq)
V V V F F F F
V F V F V F F
F V V V F F F
F F F V V V F
p q r ~q p ~q r p (pq)(rp)
V V V F F V F
V V F F F F V
V F V V V V V
V F F V V F F
F V V F F F V
F V F F F F V
F F V V F F V
F F F V F F V

- 15 -
Uma contradio uma proposio composta cujo valor lgico a falsidade
quaisquer que sejam os valores lgicos das proposies componentes.
Se P uma contradio, P tambm chamada de proposio contra-vlida ou
logicamente falsa. Uma contradio em geral indicada por F , C ou 0.

Exemplo
Q: ( p q) ( ~p ~q)

Observaes sobre o uso de parntesis

Para evitar ambiguidades, em geral, colocamos parntesis na simbologia das
proposies compostas. Assim, por exemplo, a proposio P: p q r deve ser lida
(p q) r, ou seja na ordem de aparecimento dos conectivos.
Portanto, a supresso de parntesis deve ocorrer por meio de convenes.
Optaremos, pela seguinte ordem de precedncia dos conectivos:
1) ~ ; 2) , (na ordem de aparecimento); 3) ; 4) .

Exemplo
A proposio p q r ~r s, deve ser lida como
((p q) r) ((~r) s).

5. EQUIVALNCIA

Dizemos que uma proposio P logicamente equivalente ou, simplesmente,
equivalente a uma proposio composta Q se a bicondicional P Q tautolgica.
Usamos a notao P Q
Da definio temos que se duas proposies so equivalentes ento as suas tabelas-
verdade so idnticas.


- 16 -
Observao
Os smbolos e so distintos!
indica uma operao lgica.
estabelece que P Q tautolgica. No aparecem V(P) = V e V(Q) = F e
vice-versa.

Exemplos
1) ~( ~p) p
2) Se P e Q so ambas tautolgicas ou ambas contradies ento P Q.
3) ~(p q) ~p ~q
4) ~(p q) ~p ~q
5) p q ~p q
6) p q ~q ~p
7) ~(p q) p ~q
8) p q (p q) (q p)
9) ~(p q) (p ~q) (q ~p)
10) p ~p F
11) ) p ~p V

Todas as equivalncias exemplificadas podem ser demonstradas pela construo das
tabelas-verdade, ou utilizando o bom senso, em vrios dos casos anteriores.
Por serem muito utilizadas em Matemtica, destacamos as seguintes
equivalncias:
i) p q ~q ~p.
A condicional e sua contrapositiva so equivalentes; nesta equivalncia se baseia o
mtodo de demonstrao por absurdo.
ii) p q (p q) (q p)
6. LGEBRA DAS PROPOSIES. PROPRIEDADES DAS OPERAES

- 17 -

As operaes lgicas gozam das seguintes propriedades que podem ser
verificadas facilmente.

1. Dupla Negao ~(~p) p
2. Idempotente p p
p p


p
p
3. Comutativa p q
p q


q p
q p
4. Associativa (p q) r
(p q) r


p (q r)
p (q r)
5. Elemento Neutro p V
p F


p
p
6. Elemento Absorvente p F
p V


F
V
7. Distributiva p (q r)
p (q r)


(p q) (p r)
(p q) (p r)
8. Absoro p (p q)
p (p q)


p
p
9. Leis de De Morgan ~(p q)
~(p q)


~p ~q
~p ~q
10. Negao da Condicional ~( p q) p ~q
11. Negao da Bicondicional ~(p q) (p ~q) (q ~p)


Observao
Todas as equivalncias continuam sendo vlidas quando substituimos as
proposies simples por proposies compostas.


- 18 -
Exemplo

P (Q R) (P Q) (P R)

7. MTODO DEDUTIVO

A maioria das equivalncias foram demonstradas at aqui pelo mtodo das
tabelas-verdade. Veremos agora a demonstrao de equivalncias por um mtodo mais
eficiente, denominado mtodo dedutivo.
No emprego do mtodo dedutivo desempenham papis importantes as
equivalncias relativas lgebra das proposies, que subsistem quando as proposies
simples so substitudas por proposies compostas.

Exemplos

1) p q p ~q F (Reduo ao absurdo)
D] (p ~q) F ~ (p ~q) F ~(p ~q) ~p q p q

2) p q p q q
D] p q q ~ (p q) q (~ p ~ q) q (~ p q) ( ~ q q)
(~ p q) V (~ p q) p q

O exemplo a seguir exemplifica como as equivalncias so utilizadas nas
demonstraes em Matemtica.

Considere o seguinte Teorema: Dadas trs retas distintas a, b, c, do plano, se a // b e
b // c ento a // c.
Provaremos usando reduo ao absurdo, isto , a // b e b // c e a // c F.


- 19 -
D]
i) a // c a c
ii) a c e a // b e b // c a = c (axioma das paralelas)
iii) a = c , uma contradio, pois por hiptese as retas so distintas.

Exerccios

1) D a negao das seguintes proposies:
A) Irei praia e no irei ao cinema
B) suficiente cantar para estar vivo.
C) suficiente ser divisvel por 2 para ser um nmero par.
D) necessrio ser um nmero mpar para ser primo ou ser divisvel por 3
E) Se um tringulo ABC retngulo e
) )
B e C so ngulos agudos ento
) )
B C
o
+ = 90 .

2) Utilizando as propriedades operatrias, simplifique as seguintes proposies:
A) ( p ( p q) ) ~( p q)
B) ( p ~(q r)) (p ~(p ~q)) ( p ~(p ~r))
C) ~p ~(p q)

3) Mostre, sem utilizar tabela-verdade (mtodo dedutivo) as seguintes equivalncias:
A) ~p p p
B) (p q) q p q
C) (p q) (p r) p (r q)
D) p (q r ) ( p ~q ) r



8. CIRCUITOS DE CHAVEAMENTO

- 20 -


Os ltimos dez anos vm presenciando um aumento acelerado da aplicao da
Matemtica, principalmente da lgebra, no entendimento e soluo dos problemas das
Cincias da Computao. As estruturas algbricas esto sendo, cada vez mais,
empregadas na modelagem e controle de circuitos eletrnicos e d sistemas de
informaes. importante, portanto, que a lgebra aplicada computao, em especial
a Lgica venha sendo introduzida nas escolas de 2
o
e 3
o
graus .
Vamos exemplificar, atravs dos circuitos, como a estrutura algbrica da Lgica
pode ser til no desenvolvimento da eletrnica. O modelo da aplicao que
mostraremos pode ser desenvolvido e estendido para outras reas. Ele usado nos
estudo de automao e leva a simplificaes que permitem reduo de custos e
economia de tempo em projetos com os quais possa relacionar-se.


Circuito com um interruptor

Chamamos interruptor ao dispositivo ligado a um ponto de um circuito eltrico
que pode assumir um dos dois estados: aberto ou fechado

Designamos o interruptor pela letra p. Quando o interruptor est aberto a corrente
no atravessa o circuito, atribumos o valor 0 para p e indicamos

V(p) = 0



p




Quando o interruptor est fechado a corrente atravessa o circuito, atribumos o
valor 1 para p e indicamos
A
B

- 21 -

V(p) = 1





Circuito com dois interruptores

1. Circuito em srie


p q


A corrente s atravessa este circuito quando os dois interruptores esto
fechados. Portanto este circuito pode ser representado por F = F (p,q) que satisfaz a
tabela a seguir:
p q F
1 1 1
1 0 0
0 1 0
0 0 0

Observe que F (p,q) = p q

2. Circuito em paralelo


p


q
B A p
A B
A B

- 22 -
A corrente atravessa este circuito quando pelo menos um dos interruptores est
fechado. Este circuito pode ser representado pela funo F= F(p,q) que satisfaz a tabela
a seguir:

p q F
1 1 1
1 0 1
0 1 1
0 0 0

Observe que F (p,q) = p q.

So vlidas as propriedades:
1.Comutativa
2. Associativa : Nos dois esquemas, a corrente passa pelo circuito, quando pelos menos
um dos interruptores est fechado.
Nos dois esquemas a seguir, a corrente s atravessa o circuito quando p, q e r
esto fechados.









(p q) r = p (q r)



p q r p q r

p(qr) = (pq) r

r
q
p
A B
r
q
p
A B
A B A
B

- 23 -
3. Distributiva

Nas duas situaes, a corrente passa quando p estiver fechado ou q e r estiverem
fechados. Nos outros casos, a corrente no atravessa os circuitos.


At agora trabalhamos com circuitos em que os interruptores eram
independentes; porm dois ou mais interruptores podem estar conectados da seguinte
forma

a) quando um liga, o outro desliga e reciprocamente
b) quando um liga, o outro liga. Quando um desliga, o outro tambm faz o mesmo.

No caso a) denotaremos um interruptor por p e outro por p, no caso b)
denotaremos os dois interruptores pela mesma letra. O caso a) comporta-se como a
operao complementar.

Usando mais interruptores, podemos obter vrios circuitos mais complicados,
como por exemplo:













p(qr) = (pq) (pr)



p q r
r
p
q
B
A
q
p
q r
p
A
B
A
B
r
p

- 24 -

O circuito acima pode ser representado pela funo F(p,q,r) = (pqr)[(rq) p]












Logo, a corrente passa atravs do circuito nos seguintes casos:
a) p e r esto fechados e q est aberto ( p q r)
b) q e r esto fechados e p est aberto (p q r)
c ) q fechado , p e r esto abertos (p q r)
d) r est fechado, p e q esto abertos (p q r)
Como estamos interessados em circuitos que passem corrente, podemos
simplificar o circuito acima considerando apenas as linhas da tabela anterior nas quais
F = 1
Assim, obtemos:
F = (pqr) (pqr) ((pqr) ((pqr) =
[(pq) (r(r)] ( [(qr) ) ((p(p)]= (pq) ((qr)
Que pode ser representado pelo esquema.




p q r pqr (rq) p F
1 1 1 0 0 0
1 1 0 0 0 0
1 0 1 1 0 1
0 1 1 0 1 1
1 0 0 0 0 0
0 1 0 0 1 1
0 0 1 0 1 1
0 0 0 0 0 0

p q

q r
A B

- 25 -
Observao
Podemos tambm simplificar circuitos, usando equivalncias conhecidas.


9. IMPLICAO LGICA

Diz-se que uma proposio P implica logicamente ou, simplesmente, implica
uma proposio Q, se Q verdadeira sempre que P for verdadeira. Indicamos P
Q.
Como consequncia imediata da definio temos que P Q significa que a
condicional P Q tautolgica, isto , P Q V
De fato. Pela definio, se temos que P Q , ento no ocorre a
situao V(P) = V e V(Q) = F que o nico caso em que a condicional falsa. Logo,
P Q uma tautologia.

Observao
Os smbolos e so distintos!
indica uma operao lgica
estabelece que a condicional P Q tautolgica. No ocorre portanto V(P) =
V e V(Q) = F.

Para demonstrar uma implicao, P Q, podemos tambm utilizar o mtodo
dedutivo, que neste caso consiste em mostrar que P Q V.

Exemplos
1) O pssaro canta o pssaro est vivo.
2) x par x divisvel por 2
3) x um nmero primo x = 2 ou x mpar.
4) p q p q

- 26 -
5) (x 0 x = y) (x y) x = 0
6) (x = y x < 4) ( x 4) x = y

Algumas implicaes lgicas se destacam por terem papel importante nas
demonstraes matemticas. Tais implicaes so chamadas de Regras de Inferncia.
Vejamos alguns exemplos.

1. Regra da Adio (A.D.)
p p q
q p q

2. Regra da Simplificao (SIMP)
p q p
p q q


3. Regra do Modus Ponens (M.P)
(p q) p q

4. Regra do Modus Tollens (M.T)
(p q) ~q ~p

5. Regra do Silogismo
Hipottico
(S.H)
(p q) (q r) p r



H teoremas em Matemtica que so da forma P Q, isto , uma condicional
P Q tautolgica, onde P chamada de hiptese e Q a tese. Ento, tudo que foi
dito anteriomente vale para teoremas desse tipo. Assim se P Q um teorema, ento,

- 27 -
se Q P verdade, temos que a recproca do teorema verdadeira; se P Q um
teorema, ~Q ~ P um teorema (contrapositiva).

Exerccio
Escreva a recproca e a contrapositiva das proposies, e verifique se a recproca
verdadeira.
a) Se o tringulo ABC retngulo em A ento o tringulo tem dois ngulos agudos,
) )
B e C.
b) Se dois ngulos A e B tem lados paralelos ento A e B so congruentes.

10. A LGICA NA TEORIA DOS CONJUNTOS

Vejamos a utilizao da Lgica na Matemtica dando exemplos na Teoria dos
Conjuntos. Vamos supor conhecidos os conceitos primitivos de conjunto, elemento, a
relao de pertinncia entre elemento e conjunto, o conjunto-universo, conjunto vazio
etc.. Usamos o smbolo a A para indicar que o elemento a pertence ao conjunto A.
Usamos o smbolo a A para indicar que o elemento a no pertence ao conjunto A.
Dizemos que um conjunto A est contido em um conjunto B ou que
subconjunto de B e indicamos A B se e somente se todo elemento que pertencer a A
pertencer tambm a B. Em linguagem simblica temos:
A B (x A x B)
Assim, se queremos mostrar que um conjunto A est contido em um conjunto B,
devemos mostrar a implicao x A x B, isto , assumindo que x A verdade,
mostrar que x B verdade.
Dados os conjuntos A e B temos que A = B se e somente se A B e B A.
A conjuno e a disjuno so operaes lgicas usadas nas definies de unio
e interseo entre dois conjuntos A e B.
Sejam A e B dois conjuntos dados, subconjuntos de um determinado universo U.
Definimos:

- 28 -
1) A unio de A e B como sendo o conjunto A B = { x U; x A x B }
2) A interseco de A e B como sendo o conjunto A B = { x U; x A x B }
Dados os conjuntos A e B chama-se diferena entre os conjuntos A e B e indica-
se A B o conjunto de todos os elementos que pertencem a A e no pertencem a B.
A B = { x U; x A x B }.
Quando A B, a diferena B A chamada de complementar de A em relao a B e
indica-se C A
B
= B A. No caso de B ser o conjunto universo indicamos
simplesmente C
A
, A ou ainda A'.
Pelas definies vistas vemos que as operaes lgicas esto intimamente
relacionadas com as operaes entre conjuntos. Podemos estabelecer as relaes:










Consideremos as seguintes propriedades relativas a conjuntos

Propriedades: Dados A, B e C subconjuntos quaisquer de U temos,
1. A
2. a) A AB b) A B A
3. a) AA = A b) AA = A
4. a) AB = BA b) AB = BA
5. a) A = A b) A =
6. a) A U = U b) A U = A
Conjuno x interseo ,
Disjuno x unio ,
Condicional x relao de incluso ,
Bicondicional x igualdade , =
Negao x complementar ~ , C
Contradio x conjunto vazio F,
Tautologia x conjunto universo V, U

- 29 -
7.a) (AB) C = A (BC) b) (AB) C = A(BC)
8. a) A(BC) = (A B)(AC) b) A (BC) = (AB) (AC)


=
=
= U b) U = a) 12.
= A A b) U = A A a) 11.
B A = B A b) B A B A a) 10.
A A ). 9



Todas essas propriedades so demonstradas facilmente, utilizando a lgica e as
relaes que j estabelecemos. Demonstraremos algumas e deixaremos o restante como
tarefa para o leitor.

D] 1. Devemos mostrar que x x A. Temos:
Para todo x U a proposio "x " falsa e portanto a proposio "x x
A" verdadeira.
2. a) Devemos mostrar que "x A x A B".
Segue da implicao p p q (adio ) que "x A x A ou x B".
Portanto "x A x A B"
8. a) Devemos mostrar que "x A(BC) x (A B)(AC)" ou seja, que .
"x A (x B x C) (x A x B) ( x A x C). Esta equivalncia
segue da propriedade p (q r) (p q) (p r).


11. ARGUMENTOS

Um dos problemas centrais da Lgica a investigao do processo de raciocnio.
Em toda cincia dedutiva um certo conjunto de proposies aceito sem demonstrao
(axiomas) e, deste conjunto outras proposies so derivadas por raciocnio lgico.

- 30 -
Nosso objetivo agora investigar os processos que sero aceitos como vlidos na
derivao de uma proposio chamada de concluso, a partir de proposies dadas
chamadas premissas.

Exemplos

1) P
1
: Se chove ento fica nublado.
P
2
: Choveu.
Concluso - Q: Est nublado.

2) P
1
: Se fizer sol ento irei praia.
P
2
: No fui praia.
Concluso - Q: No fez sol.

3) P
1
: Se eu fosse cantora ento seria artista.
P2: No sou cantora.
Concluso - Q: No sou artista.

4) P
1
: Todo professor de Matemtica licenciado em Matemtica..
P2: Todos os cursistas do Pr-Cincias so professores de Matemtica.
Concluso - Q: Todos os cursistas so licenciados em Matemtica.

Analisando os exemplos 1), 2) e 4) acima, podemos observar que as concluses
so deduzidas a partir das premissas assumindo a veracidade das mesmas, o mesmo no
acontecendo com o exemplo 3).
Cabe observar que uma concluso pode ser deduzida a partir de sentenas falsas.
Isto pode conduzir a concluses no necessariamente verdadeiras, como no Exemplo 4
acima. Como veremos a seguir, a lgica est interessada em verificar se a concluso
decorre das premissas, assumindo que as mesmas so verdadeiras.

- 31 -
A verdade ou falsidade das asseres isoladas da competncia dos especialistas.
Daremos a seguir o conceito de argumento.

Definio: Sejam P
1
, P
2
, P
3
... P
n
e Q proposies quaisquer. Chama-se argumento
toda afirmao de que as proposies P
1
, P
2
, P
3
, ... P
n
tm como consequncia ou
acarretam uma proposio final Q.

P
1
, P
2
, P
3
, ... P
n
so chamadas de premissas e Q de concluso.
Usamos a notao P
1
, P
2
, P
3
, ... P
n
| Q, que podem ser lidas das seguintes
maneiras:
i) P
1
, P
2
, P
3
, ... P
n
acarretam Q
ii) Q decorre de P
1
, P
2
, P
3
, ... P
n
iii) Q se deduz de P
1
, P
2
, ..., P
n
.
Observao:
Um argumento que contm duas premissas chamado de silogismo.

Definio: Um argumento P
1
, P
2
, P
3
, ... P
n
| Q diz-se vlido se, e somente se, a
concluso Q verdadeira sempre que as premissas P
1
, P
2
, P
3
, ... P
n
forem todas
consideradas verdadeiras. Um argumento que no vlido diz-se um sofisma.

Teorema (Critrio de Validade de um Argumento)

Um argumento P
1
, P
2
, P
3
, ... P
n
| Q vlido P
1
P
2
P
3

... P
n
Q
uma tautologia P
1
P
2


P
3
... P
n
Q .
D] As premissas P
1
, P
2
, P
3
, ... P
n
so todas verdadeiras se e somente se a
proposio P
1
P
2

P
3

... P
n
verdadeira. Logo, o argumento
P
1
, P
2
, P
3
, ... P
n
| Q vlido se e somente se a concluso Q verdadeira sempre
que P
1
P
2
P
3
... P
n
verdadeira, ou seja, se e somente se a proposio

- 32 -
P
1
P
2

P
3

... P
n
implica logicamente a concluso Q, o que equivalente a
afirmar que a condicional P
1
P
2
P
3
... P
n
Q tautolgica.

Exemplo

P
1
: Se eu fosse cantora ento seria artista.
P2: No sou cantora.
Concluso - Q: No sou artista.
P
1
, P
2
| Q
O argumento no vlido, pois podemos ter a situao V(Q) = F e V(P
1
P
2
) = V. De
fato, Fernanda Montenegro artista mas no cantora.




12. MTODOS DE DETERMINAO DA VALIDADE DE UM
ARGUMENTO

Tabela-Verdade

Dado o argumento P
1
, P
2
, P
3
, ... P
n
| Q a este argumento corresponde a
condicional P
1
P
2
P
3

... P
n
Q chamada de condicional associada ao
argumento dado, cujo antecedente a conjuno das premissas e o consequente a
concluso. Para testarmos a validade do argumento temos, pelo critrio de validade, que
verificar se a condicional P
1
P
2
P
3

... P
n
Q tautolgica. A tabela-verdade
portanto o mtodo mais geral para se testar a validade de um argumento.




- 33 -



Exemplos

1) P
1
, P
2
, P
3
| Q
P
1
: Joo vai ao cinema ou vai ao clube.
P
2
: Se vai ao clube, ento telefona.
P
3
: Joo no telefonou.
Q: Joo foi ao cinema.
Consideremos: p: Joo vai ao cinema, q: Joo vai ao clube, r: Joo telefona.
O argumento reescrito em linguagem simblica fica: p q, q r, ~r | p
Usando o critrio de validade verificamos, pela tabela-verdade, que a condicional
( p q) ( q r) (~r) p tautolgica. Logo, o argumento vlido


(1) (2) (3) (4)
p q r p q q r ~r (1) (2)(3) (4) p
V V V V V F F V
V V F V F V F V
V F V V V F F V
V F F V V V V V
F V V V V F F V
F V F V F V F V
F F V F V F F V
F F F F V V F V




- 34 -



2) P
1
, P
2
| Q
P
1
: Se eu fosse cantora ento seria artista.
P
2
: No sou cantora
Q: No sou artista
Consideremos: p: Sou cantora, q: Sou artista.
O argumento em linguagem simblica fica: p q, ~p | ~q
Construindo a tabela-verdade da condicional (p q) ( ~p ) ~q obtemos:


Vemos pela tabela que a condicional no tautolgica, logo, a condicional um
sofisma!
Analisando a quarta linha da tabela verdade observamos que os valores lgicos
V(p) = F, V(q) = V(r) = V nos mostram a situao em que temos V(P
1
P
2
) = V e V(Q)
= F. Isto mostra a no-validade do argumento.
De uma maneira geral mostrar a no-validade de um argumento consiste em
encontrar uma atribuio de valores lgicos s proposies simples, componentes do
argumento, que torne todas as premissas verdadeiras e a concluso falsa.
O mtodo da tabela-verdade permite demonstrar ou testar a validade de qualquer
argumento, mas o seu emprego torna-se cada vez mais trabalhoso a medida que
(1) (2) (3)
p q p q ~p (1) (2) ~q (3) ~q
V V V F F F V
V F F F F V V
F V V V V F F
F F V V V V V

- 35 -
aumenta o nmero de proposies simples componentes dos argumentos. Assim, vamos
buscar outros mtodos mais eficientes para a anlise da validade de um argumento.
Demonstrao Indireta
Um outro mtodo utilizado para se mostrar a validade, ou no, de um argumento
P
1
, P
2
, P
3
, ... P
n
| Q o chamado mtodo da demonstrao indireta, ou
demonstrao por absurdo, que consiste em negar a concluso, isto , supor V(~Q) =V
e deduzir logicamente uma contradio qualquer, ou seja a negao de alguma
premissa.
Este mtodo est baseado na equivalncia entre a condicional e a sua
contrapositiva, isto , P Q ~Q ~P . Assim,
P
1
P
2
P
3

... P
n
Q ~Q ~ (P
1
P
2

P
3

... P
n
)
~Q ~P
1
~P
2

~ P
3

... ~ P
n


Uma vez que as premissas so admitidas como verdadeiras, chegar negao de
uma delas uma contradio.

Exemplo

Use o mtodo da demonstrao indireta para analisar a validade dos seguintes
argumentos.

1) P
1
, P
2
, P
3
| Q
P
1
: Joo vai ao cinema ou vai ao clube.
P
2
: Se vai ao clube, ento telefona.
P
3
: Joo no telefonou.
Q: Joo foi ao cinema.
Supondo que Joo no foi ao cinema, ento por P
1
ele vai ao clube. Segue de P
2

que Joo telefonou, o que contradiz P
3
. Logo o argumento vlido.
Esquematizando temos: p: Joo vai ao cinema, q: Joo vai ao clube, r: Joo telefona

- 36 -
O argumento reescrito em linguagem simblica fica: p q, q r, ~r | p


P
1
: p q
P
2
: q r
P
3
: ~ r
Q: p

Vamos assumir que V(Q) = V(p) = F. De P
1
temos que V(q) = V. Com este
valor para q segue de P
2
que V(r) = V, o que contradiz P
3
. Logo, o argumento
vlido.
2)
P
1
: p qr
P
2
: p q
P
3
: q r p
Q: p r

Suponhamos V(Q) =V(p r) = F. Temos duas alternativas:
a) V(p) = F; b)V(r) =F
Analisando separadamente temos:
a) V(p) = F
Neste caso temos uma contradio em P
2
.
b) V(r) = F
Temos por P
2
que V(p) = V(q) = V. Com estes valores temos V(P
1
) = V(P
2
) = V(P
3
) =
V e V(Q)= F. De b) podemos concluir que o argumento um sofisma.

3) P
1
: ~p ~q
P
2
: r s p

- 37 -
P
3
: ~s q
P
4
: ~ r
Q: ~( r s)


Suponhamos V(Q) = V( ~( r s) ) = F V( ~r ~s ) = F. Temos duas alternativas:
a) V(r) = V
Este caso contradiz P
4
.
b) V( s) = V
Se V(s) = V temos por P
3
que V(q) = V. Ento V(p) = F em P
1
, o que contradiz P
2
. De
a) e b) podemos concluir que o argumento vlido.

4) P
1
: p q r
P
2
:r s
P
3
: q ~p
Q: ~p q

Suponhamos V(Q) = V(~p q) = F. Temos duas alternativas: a) V(p) = V ou
b) V(q) = F.
a) V(p) = V:
Se V(p) = V temos que V(q) = V, por P
3
. Isto acarreta V(P
1
) = V,
independentemente do valor de r. Basta portanto atribuirmos os mesmos valores a r e s
para obtermos V(P
2
) = V . Temos assim, valores lgicos para p, q, r e s tais que todas as
premissas so verdadeiras e a concluso falsa. Podemos portanto concluir que o
argumento no vlido sem precisar analisar a outra alternativa.

Dos exemplos analisados podemos tirar as seguintes concluses:


- 38 -
1. Para analisarmos a validade de um argumento pelo mtodo da demonstrao indireta
, negamos a concluso. Se chegarmos negao de uma das premissas ento o
argumento vlido. Se conseguirmos valores lgicos paras proposies componentes
que tornam as premissas verdadeiras e a concluso falsa ento o argumento um
sofisma.

2. Quando a negao de Q nos leva a mais de uma alternativa para ser analisada, temos
que analisar todas para concluir que o argumento vlido. Se ao analisarmos uma das
alternativas encontramos valores que tornam as premissas verdadeiras e a concluso
falsa j podemos garantir que o argumento um sofisma e no precisamos analisar as
outras situaes.

3. A prova da no validade de um argumento consiste em apresentar valores para as
proposies que tornem as premissas verdadeiras e a concluso falsa. bvio que toda
vez que for possvel encontrar essa atribuio de valores sem utilizar tabela-verdade
evita-se um bom trabalho. O mtodo da demonstrao indireta nos permite chegar a
esses valores.

Vejamos alguns exemplos de como o mtodo da demonstrao indireta est presente
nas demonstraes matemticas. Vamos mais uma vez utilizar a Teoria dos Conjuntos
para a nossa ilustrao.

1) Mostre que (A B) B =

D] Suponhamos, por absurdo, que (A B) B . Ento existe um elemento x tal
que x A B e x B o que equivalente a afirmar que x A e x B e x B, o
que uma contradio!

2) Mostre que: Se A B, C D e B D = ento A C = .
Nossas premissas neste caso so:

- 39 -
P
1
:A B
P
2
:C D
P
3
:B D =
e a concluso :
Q : A C =
D] Vamos negar a concluso, isto , supor A C . Assumindo as premissas
verdadeiras vamos usar "argumentos" que nos levem a uma contradio. Se A C
, temos que existe um elemento x tal que x A e x C. De P
1
e P
2
conclumos que x
B e x D. Mas, isto contradiz a premissa P
3
.


14. SENTENAS ABERTAS

O clculo proposicional insuficiente para a Matemtica. Considere os
seguintes exemplos:
a) Existe tringulo retngulo.
b) Quaisquer que sejam os pontos A e B, existe uma reta a tal que A, B a.
O teorema a) trata-se de teorema existncia, que tem um quantificador
existencial e o teorema b) apresenta um quantificador universal. Por este motivo faz-se
necessrio o estudo do clculo de predicados (proposies quantificadas).
H expresses s quais no podemos atribuir os valores lgicos "falso" ou
"verdadeiro", como, por exemplo:
1. x + 1 = 0
2. x + y = 1
3. x
2
+ y
2
+ z
2
= 0
A depender do valor atribudo a x em 1), a x e y em 2) e a x, y e z em 3), as
expresses acima passam a ter um valor lgico V ou F, passando a ser proposies.
Chama-se sentena aberta com uma varivel em um conjunto A, uma expresso
que indicaremos por p(x), tal que p(a) verdadeira ou falsa para todo elemento a

- 40 -
pertencente a A. A sentena aberta tambm chamada de funo proposicional, o
conjunto A de conjunto-universo e o conjunto dos elementos de A tais que p(a)
verdade chamado de conjunto-verdade que indicaremos por Vp

Vp = { a A; V(p(a)) = V }
Exemplos
1. Determinemos o conjunto-verdade das seguintes sentenas abertas nos conjuntos
indicados.
a) p(x): 2x 1 = 3, em N
{ }
V
p
= 2
b) p(x): x
2
1 = 0, em Z { } V 1, 1
p
=
c) p(x): x > 3,
em
{ }
A = 1, 0, 2, 3, 4, 5, 6, 7
{ }
V 4, 5, 6, 7
p
=


Operaes Lgicas com Sentenas Abertas

As operaes lgicas sobre proposies se estendem naturalmente as sentenas
abertas. Assim, dadas as sentenas p(x) e q(x) podemos obter novas sentenas como:
1) ~p(x)
2) p(x) q(x)
3) p(x) q(x)
4) p(x) q(x)
5) p(x) q(x)

Admite-se todas as regras e propriedades dos conectivos para estes casos.

Exemplos


- 41 -
Determinemos o conjunto verdade em A = { 1, 0, 1 } para cada uma das seguintes
sentenas abertas.

1) p(x): x + 1 = 1, logo V
p
= {0}
~p(x) : x + 1 1 , V
p
= {-1, 1}. Observe que V
p
= A - V
p
.
Generalizando, se p(x) uma sentena aberta em A ento V
p
= A - V
p
.

2) p(x) q(x): x + 1 = 1 x 1

{ }
V
p q
= 0
Generalizando, se p(x) e q(x) so sentenas abertas em A ento V
p q
= V
p
V
q

3) p(x) q(x) : x
2
= 1 x + 1 = 1

{ }
V
p q
= 1 0 1 , ,
Generalizando, se p(x) e q(x) so sentenas abertas em A ento V
p q
= V
p
V
q
.

4) p(x) q(x): x + 1 A x + 1 = 0
Lembremos que p q p q, logo V
p q
= {-1,1}.
Generalizando, se p(x) e q(x) so sentenas abertas em A ento V
p q
= V
p
V
q


5) p(x) q(x): x par x 0

Lembremos que p q (p q) (q p), assim V
p q
= {-1,0}.
Generalizando, se p(x) e q(x) so sentenas abertas em A temos
V
p q
= V
p q
V
q p



15. QUANTIFICADORES


- 42 -
Podemos transformar sentenas abertas em proposies usando expresses
como para todo, qualquer que seja, existe um, etc.

Exemplos

1) Consideremos a sentena aberta p(x): x + 1 = 1. A partir desta sentena podemos
formar as seguintes proposies:
Existe x pertencente a Z; x + 1 = 1
Para todo x pertencente a Z, x + 1 = 1

2) Existe x N tal que x Z

3) Para todo x Q, x R

4) Qualquer que seja o nmero natural ele inteiro

5) Existe um nmero primo par.

Notamos as expresses qualquer que seja, existe, para todo. Estas expresses
chamam-se quantificadores.
importante notar que uma sentena aberta com todas as variveis quantificadas
uma proposio, pois ela assume um dos valores F ou V.


Quantificador Universal

Seja p(x) uma sentena aberta em um conjunto A e seja V
p
o seu conjunto-
verdade. Considere as seguintes proposies:
Qualquer que seja x A, p(x), ou

- 43 -
Para todo x A, p(x).
Simbolicamente, temos x , x A, p(x).
Se V
p
= A ento a proposio x , x A, p(x) verdadeira.
Se V
p
A ento a proposio x , x A, p(x) falsa.
Em outras palavras, dada a sentena aberta p(x) em A, o smbolo referido
varivel x representa uma operao lgica que transforma a sentena aberta p(x) numa
proposio. A esta operao lgica d-se o nome de quantificao universal e ao
respectivo smbolo de quantificador universal.


Exemplos

1) x N; x 0 ( V )
2) x Q; x R ( F )

Quantificador existencial

Seja p(x) uma sentena aberta em um conjunto A e seja V
p
o seu conjunto-verdade.
Considere a seguinte proposio:
Existe x A, p(x), ou
Existe pelo menos um x A, p(x).
Simbolicamente, temos x , x A, p(x).
Se V
p
ento a proposio x , x A, p(x) verdadeira.
Se V
p
= ento a proposio x , x A, p(x) falsa.
Em outras palavras, dada a sentena aberta p(x) em A, o smbolo referido
varivel x representa uma operao lgica que transforma a sentena aberta p(x) numa
proposio. A esta operao lgica d-se o nome de quantificao existencial e ao
respectivo smbolo de quantificador existencial.

- 44 -
Exemplos
x N; x + 1 < 3 ( V )
1) x Z; 2x + 1 = 0 ( F )



Negao de proposies com quantificadores

Os quantificadores existencial e universal podem ser precedidos do smbolo de
negao ( ~ ). Por exemplo, negar a proposio Todo nmero primo mpar
afirmar Nem todo nmero primo mpar ou Existe um nmero primo que no
mpar. Simbolicamente: ~( x primo, x mpar ) x primo, x no mpar.
De uma maneira geral temos: ~ ( x; p(x) ) x; ~ p(x)
~ ( x; p(x) ) x; ~ p(x)
Mostrar que uma proposio do tipo x A; p(x) falsa mostrar que x
o
A;
V( p( x
o
) ) = F. Um elemento x
o
de A que satisfaz a condio acima dito um
contra-exemplo.

16. ARGUMENTOS E DIAGRAMAS DE VENN

A teoria dos conjuntos bastante til na verificao da validade de determinados
argumentos, quando as premissas envolvem proposies quantificadas.
Consideremos o seguinte exemplo:
P
1
: Bebs so ilgicos.
P
2
: Ningum desprezado se pode domar crocodilos.
P
3
: Pessoas ilgicas so desprezadas.
Q: Bebs no podem domar crocodilos.

Consideremos:

- 45 -
B = Conjunto dos bebs
I = Conjunto das pessoas ilgicas
D = Conjunto das pessoas desprezadas
C = Conjunto dos domadores de crocodilos


Das premissas podemos concluir que:
1) B I (P
1
) 2) D C = (P
2
) 3) I D (P
3
)

Vejamos o diagrama correspondente:

D I

B C



O diagrama nos mostra que a concluso vlida

Exemplo

Verifique a validade dos seguintes argumentos atravs de diagramas de Venn.
1. P
1
: Alguns estudantes so preguiosos.
P
2
: Todos os homens so preguiosos
Q : Alguns estudantes so homens
Sejam E = conjunto dos estudantes
H = conjunto dos homens
P = conjunto dos preguiosos
Temos atravs das premissas que:

- 46 -
1) E P (P
1
) 2) H P (P
2
)
O diagrama abaixo nos mostra uma situao em que as premissas so verdadeiras
e a concluso falsa.
P E

H
O argumento no vlido, apesar de podermos construir tambm um diagrama onde a
concluso verdadeira.

P E
H


Para concluirmos a validade do argumento a representao do diagrama no pode
deixar dvida quanto a concluso.

2) P
1
: Todo nmero primo mpar (P
r
I)
P
2
: Nenhum nmero mpar par ( I P = )
Q : Existe um nmero primo que par. ( P
r
P )

I P
P
r


O argumento no vlido apesar da proposio Q ser verdadeira. Isto porque a
concluso no decorre das premissas.

3) P
1
: Todos os advogados so ricos. (A R)
P
2
: Poetas so temperamentais ( P T)
P
3
: Nenhuma pessoa temperamental rica (T R = )

- 47 -
Q : Nenhum advogado poeta. (A P = )
R T
A
P

A concluso vlida.