Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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 tornarse 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.
-2-
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:
-3-
-4-
1)
2 mpar
2)
3 mpar
3)
2>0
4)
Se
5)
3 mpar
simples
composta
2 Q.
ou
3+1=5
4 par
ento
composta
4 divisvel por 2.
se e somente se
3 primo
composta
composta
Smbolo
negao ou modificador
2) e
conjuno
3) ou
disjuno
4) se ... ento
condicional
5) se e somente se
bicondicional
-5-
~p
no p
2) A conjuno de p e q
pq
p e q
3) A disjuno de p e q
pq
p ou q
4) A condicional de p e q
pq
se p ento q
5) A bicondicional de p e q
pq
p se e somente se q
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:
p ~q:
~p q:
-6-
~(pq):
2 no par ou 6 mltiplo de 3
~p q
b)
~q p
c)
~p q
~p
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.
pq
F
-8-
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,
pq
Exemplo
p: 2 mpar
q: 3 > 0
V ( p q) = V
-9-
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,
pq
Exemplo
p: 4 mpar
q: 3 par
V ( p q) = V
Observaes
1) Notemos que, quando o valor lgico da proposio
2) Dada a condicional: Se
3 irracional
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,
pq
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.
- 12 -
simples
arranjos n a n, com repetio de 2 elementos (F e V), isto , A2,n = 2n. Segue-se que o
nmero de linhas da tabela-verdade 2n.
Exemplo
Construo da tabela-verdade das seguintes proposies:
1) ~(p q) ~p ~q
p
pq
~(p q)
~p
~q
~p ~q
~(p q) ~p ~q
- 13 -
2) ( p q) ( ~p ~q)
p
pq
~p
~q
~p ~q
(pq)) (pq)
3) ( p ~q) ( r p)
~q
p ~q
rp
(pq)(rp)
1) ~ ;
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 tabelasverdade so idnticas.
- 15 -
Observao
Os smbolos e so distintos!
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)
~(~p)
2. Idempotente
pp
pp
pq
qp
pq
qp
(p q) r
p (q r)
(p q) r
p (q r)
pV
pF
p F
pV
p (q r)
(p q) (p r)
p (q r)
(p q) (p r)
p (p q)
p (p q)
~(p q)
~p ~q
~(p q)
~p ~q
~( p q)
p ~q
~(p q)
(p ~q) (q ~p)
3. Comutativa
4. Associativa
5. Elemento Neutro
6. Elemento Absorvente
7. Distributiva
8. Absoro
9. Leis de De Morgan
Observao
Todas as equivalncias continuam sendo vlidas quando substituimos as
proposies simples por proposies compostas.
- 17 -
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.
- 18 -
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
)
)
B e C
so ngulos agudos ento
E) Se um tringulo ABC retngulo e
) )
B + C = 90o .
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
- 19 -
V(p) = 1
p
A corrente s atravessa
fechados. Portanto este circuito pode ser representado por F = F (p,q) que satisfaz a
tabela a seguir:
p
p
A
B
q
- 21 -
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
(p q) r = p (q r)
p(qr) = (pq) r
- 22 -
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.
A
q
r
p
q
- 23 -
pqr
(rq) p
A
q
q
r
- 24 -
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
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!
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
- 25 -
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.)
ppq
qpq
2. Regra da Simplificao
(SIMP)
pqp
pqq
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 (S.H)
Hipottico
(p q) (q r) p r
CBA =
B A.
Disjuno x unio
Bicondicional x igualdade
, =
Negao x complementar
~, C
F,
V, U
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
- 28 -
b) (AB) C = A(BC)
8. a) A(BC) = (A B)(AC)
9). A = A
10. a) A B = A B
b) A B = A B
11. a) A A = U
b) A A =
12. a) = U
b) U =
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.
- 29 -
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) P1 : Se chove ento fica nublado.
P2 : Choveu.
Concluso - Q: Est nublado.
2) P1: Se fizer sol ento irei praia.
P2: No fui praia.
Concluso - Q: No fez sol.
3) P1: Se eu fosse cantora ento seria artista.
P2: No sou cantora.
Concluso - Q: No sou artista.
4) P1: 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.
- 30 -
maneiras:
i) P1, P2, P3, ... Pn acarretam Q
ii) Q decorre de P1, P2, P3, ... Pn
iii) Q se deduz de P1 , P2 , ..., Pn .
Observao:
Um argumento que contm duas premissas chamado de silogismo.
Definio: Um argumento P1, P2, P3, ... Pn | Q diz-se vlido se, e somente se, a
concluso Q verdadeira sempre que as premissas P1, P2, P3, ... Pn forem todas
consideradas verdadeiras. Um argumento que no vlido diz-se um sofisma.
Teorema (Critrio de Validade de um Argumento)
Um argumento P1, P2, P3, ... Pn | Q vlido P1 P2 P3 ... Pn Q
uma tautologia
P1 P2 P3 ... Pn Q .
so
- 31 -
o que equivalente a
12.
MTODOS
DE
DETERMINAO
DA
VALIDADE
DE
UM
ARGUMENTO
Tabela-Verdade
Dado o argumento P1, P2, P3, ... Pn | Q a este argumento corresponde a
condicional P1 P2 P3 ... Pn 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 P1 P2 P3 ... Pn Q tautolgica. A tabela-verdade
portanto o mtodo mais geral para se testar a validade de um argumento.
- 32 -
Exemplos
1) P1, P2, P3 | Q
P1: Joo vai ao cinema ou vai ao clube.
P2: Se vai ao clube, ento telefona.
P3: 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)
pq
qr
~r
(1) (2)(3)
(4) p
- 33 -
2) P1, P2 | Q
P1: Se eu fosse cantora ento seria artista.
P2: 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:
(1)
(2)
(3)
pq
~p
(1) (2)
~q
(3) ~q
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,
P1 P2 P3 ... Pn Q ~Q ~ (P1 P2 P3 ... Pn )
~Q ~P1 ~P2 ~ P3 ... ~ Pn
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) P1, P2, P3 | Q
P1: Joo vai ao cinema ou vai ao clube.
P2: Se vai ao clube, ento telefona.
P3: Joo no telefonou.
Q: Joo foi ao cinema.
Supondo que Joo no foi ao cinema, ento por P1 ele vai ao clube. Segue de P2
que Joo telefonou, o que contradiz P3. Logo o argumento vlido.
Esquematizando temos: p: Joo vai ao cinema, q: Joo vai ao clube, r: Joo telefona
- 35 -
P1 : p q
P2: q r
P3 : ~ r
Q: p
Vamos assumir que V(Q) = V(p) = F. De P1 temos que V(q) = V. Com este
valor para q segue de P2 que V(r) = V, o que contradiz P3 . Logo, o argumento
vlido.
2)
P1: p qr
P2 : p q
P3 : 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 P2.
b) V(r) = F
Temos por P2 que V(p) = V(q) = V. Com estes valores temos V(P1) = V(P2) = V(P3) =
V e V(Q)= F. De b) podemos concluir que o argumento um sofisma.
3) P1: ~p ~q
P2 : r s p
- 36 -
P3: ~s q
P4 : ~ r
Q: ~( r s)
- 37 -
P1 :A B
P2 :C D
P3 :B D =
e a concluso :
Q:AC=
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 P1 e P2 conclumos que x
B e x D. Mas, isto contradiz a premissa P3.
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. x2 + y2 + z2 = 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
- 39 -
em N
Vp = {2}
b) p(x): x2 1 = 0,
em Z
Vp = { 1, 1}
c) p(x): x > 3,
em A = { 1, 0, 2, 3, 4, 5, 6, 7}
Vp = {4, 5, 6, 7}
- 40 -
Vp q = {0}
Generalizando, se p(x) e q(x) so sentenas abertas em A ento Vp q = Vp Vq
3) p(x) q(x) : x2 = 1 x + 1 = 1
Vp q = { 1, 0, 1}
15. QUANTIFICADORES
- 41 -
x Z
x R
Quantificador Universal
Seja p(x) uma sentena aberta em um conjunto A e seja Vp o seu conjuntoverdade. Considere as seguintes proposies:
Qualquer que seja x A, p(x), ou
- 42 -
Exemplos
1) x N; x 0
2) x Q;
(V)
x R (F)
Quantificador existencial
Seja p(x) uma sentena aberta em um conjunto A e seja Vp 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 Vp ento a proposio x , x A, p(x) verdadeira.
Se Vp = 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.
- 43 -
Exemplos
x N; x + 1 < 3
1) x Z; 2x + 1 = 0
(V)
(F)
2) D C = (P2)
3) I D (P3)
I
B
1) E P (P1)
2) H P (P2)
E
H
E
H
(Pr I)
P
Pr
A
P
A concluso vlida.
- 47 -