Escolar Documentos
Profissional Documentos
Cultura Documentos
2 Logica98 PDF
2 Logica98 PDF
1. BREVE HISTRICO
-1-
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.
-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
-3-
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
-4-
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
Conectivo Smbolo
2) e conjuno
3) ou disjuno
5) se e somente se bicondicional
-5-
Dadas as proposies simples p e q podemos com o uso dos conectivos formar
novas proposies a partir de p e q. Assim, temos:
1) A negao de p ~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
-6-
~(pq): No verdade que: Jorge Amado escreveu o romance "Mar Morto" ou
Rui Barbosa era baiano.
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
1) Negao
-7-
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
p q pq
V V V
V F F
F V F
-8-
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
p q pq
V V V
V F V
F V V
F F F
Exemplo
p: 2 mpar
q: 3 > 0 V ( p q) = V
-9-
4) Condicional
p q pq
V V V
V F F
F V V
F F V
Exemplo
p: 4 mpar
q: 3 par V ( p q) = V
Observaes
- 10 -
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.
Exemplos
- 11 -
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
p q pq
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
- 12 -
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.
Cada proposio simples p tem dois valores: V ou F, que se excluem. Da, para
n proposies simples p1, p2 , ... p n , h tantas possibilidades quantos so os
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
1) ~(p q) ~p ~q
p q pq ~(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
- 13 -
2) ( p q) ( ~p ~q)
p q pq ~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
3) ( p ~q) ( r p)
p q r ~q p ~q rp (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
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
- 14 -
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)
Exemplo
A proposio p q r ~r s, deve ser lida como
((p q) r) ((~r) s).
5. EQUIVALNCIA
- 15 -
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
- 16 -
As operaes lgicas gozam das seguintes propriedades que podem ser
verificadas facilmente.
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
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
- 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
8. CIRCUITOS DE CHAVEAMENTO
- 19 -
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 2o e 3o 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.
V(p) = 0
A B
p
- 20 -
V(p) = 1
A p B
1. Circuito em srie
A B
p q
2. Circuito em paralelo
p
A B
- 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 q F
1 1 1
1 0 1
0 1 1
0 0 0
So vlidas as propriedades:
1.Comutativa
2. Associativa : Nos dois esquemas, a corrente passa pelo circuito, quando pelos menos
um dos interruptores est fechado.
p
p
A B
A q B
q
r r
(p q) r = p (q r)
A B A B
p q r p q r
p(qr) = (pq) r
- 22 -
3. Distributiva
p p p
A B A B
q r q r
A p q r B
r
p
q
- 23 -
O circuito acima pode ser representado pela funo F(p,q,r) = (pqr)[(rq) p]
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
A B
q r
- 24 -
Observao
Podemos tambm simplificar circuitos, usando equivalncias conhecidas.
9. IMPLICAO LGICA
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.
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
- 26 -
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.
- 27 -
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 CBA = B A. No caso de B ser o conjunto universo indicamos
simplesmente CA , A ou ainda A'.
Pelas definies vistas vemos que as operaes lgicas esto intimamente
relacionadas com as operaes entre conjuntos. Podemos estabelecer as relaes:
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
- 28 -
7.a) (AB) C = A (BC) b) (AB) C = A(BC)
8. a) A(BC) = (A B)(AC) b) A (BC) = (AB) (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
- 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
- 30 -
A verdade ou falsidade das asseres isoladas da competncia dos especialistas.
Daremos a seguir o conceito de argumento.
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.
- 31 -
P1 P2 P3 ... Pn implica logicamente a concluso Q, o que equivalente a
afirmar que a condicional P1 P2 P3 ... Pn Q tautolgica.
Exemplo
Tabela-Verdade
- 32 -
Exemplos
1) P1, P2, P3 | Q
P1: Joo vai ao cinema ou vai ao clube.
P2: Se vai ao clube, ento telefona.
- 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:
- 34 -
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
P1, P2, P3, ... Pn | 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,
P1 P2 P3 ... Pn Q ~Q ~ (P1 P2 P3 ... Pn )
~Q ~P1 ~P2 ~ P3 ... ~ Pn
Exemplo
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 -
O argumento reescrito em linguagem simblica fica: p q, q r, ~r | p
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
3) P1: ~p ~q
P2 : r s p
- 36 -
P3: ~s q
P4 : ~ r
Q: ~( r s)
4) P1: p q r
P2:r s
P3: q ~p
Q: ~p q
- 37 -
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.
1) Mostre que (A B) B =
- 38 -
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.
- 39 -
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 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}
Exemplos
- 40 -
Determinemos o conjunto verdade em A = { 1, 0, 1 } para cada uma das seguintes
sentenas abertas.
2) p(x) q(x): x + 1 = 1 x 1
Vp q = {0}
3) p(x) q(x) : x2 = 1 x + 1 = 1
Vp q = { 1, 0, 1}
4) p(x) q(x): x + 1 A x + 1 = 0
Lembremos que p q p q, logo Vp q = {-1,1}.
Generalizando, se p(x) e q(x) so sentenas abertas em A ento Vp q = Vp Vq
15. QUANTIFICADORES
- 41 -
Podemos transformar sentenas abertas em proposies usando expresses
como para todo, qualquer que seja, existe um, etc.
Exemplos
3) Para todo x Q, x R
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
- 42 -
Para todo x A, p(x).
Simbolicamente, temos x , x A, p(x).
Se Vp = A ento a proposio x , x A, p(x) verdadeira.
Exemplos
1) x N; x 0 (V)
2) x Q; x R (F)
Quantificador existencial
- 43 -
Exemplos
x N; x + 1 < 3 (V)
1) x Z; 2x + 1 = 0 (F)
Consideremos:
- 44 -
B = Conjunto dos bebs
I = Conjunto das pessoas ilgicas
D = Conjunto das pessoas desprezadas
C = Conjunto dos domadores de crocodilos
D I
B C
Exemplo
- 45 -
1) E P (P1) 2) H P (P2)
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
I P
Pr
- 46 -
Q : Nenhum advogado poeta. (A P = )
R T
A
P
A concluso vlida.
- 47 -