Você está na página 1de 173

INICIAO

LGICA MATEMTICA
A Editora Nobel tem como objetivo publicar obras com qualidade editorial e grfica, consistncia de informaes, confiabilidade de traduo, clareza de texto, impresso, acabamento e papel adequados. Para que voc, nosso leitor, possa expressar suas sugestes, dvidas, crticas e eventuais reclamaes, a Nobel mantm aberto um canal de comunicao. Entre em contato com: CENTRAL NOBEL DE ATENDIMENTO AO CONSUMIDOR Fone: (11) 3933-2822 Fax: (11) 3931-3988 End.: Rua da Balsa, 559 So Paulo CEP 02910-000 Internet: www.livrarianobel.com.br o
oom._zto

ELJ(ARU Uh ALIZNCAH I-ILHU

LGICA INICIAO

MATEMTICA
51L3 1,tct
Hft) U663(
Direitos desta edio reservados Livraria Nobel S. Rua da Balsa, 559 02910-000 So Paulo, SP -- Fone: (11) 3933-2822 Fax: (II) 3931-3988

e-mau: ednobel@livrarianobel.com.br

impresso: Paym Grfica e Editora Ltda.

18 edio: 2000 Dados Internacionais de Catalogao na Publicao (CIP) (Cmara Brasileira do Livro, SP, Brasil) 1. Lgica simblica e matemtica 1. Ttulo 86-0802 CDD-511.3 ndice para catlogo sistemtico: 1. Lgica matemtica 511.3

PROIBIDA A REPRODUO
Nenhuma parte desta obra poder ser reproduzida, copiada, transcrita ou mesmo transmitida por meios eletrnicos ou gravaes sem a permisso, por escrito, do editor. Os infratores sero punidos pela Lei n 9.6 10/98. 1995 Edgard de Alencar Filho

1 41 ERSDADE rcio DE s E1
A.355i
Impresso no Brasil / Printed in Brazil

Alencar Filho, Edgard de, 1913


Iniciao lgica matemticalEdgard de Alencar Filho. - So Paulo: Nobel, 1999.

Bibliografia ISBN 85-213-0403-X

ndice
Captulo 1 PROPOSIES. CONECTIVOS 1. Conceito de proposio 11 2. Valores lgicos das proposies 12 3. Proposies simples e proposies compostas 12 4. Conectivos 13 5. Tabela-verdade 13 6. Notao 15 Exerccios 15 Captulo 2 OPERAES LGICAS SOBRE PROPOSIES 2. Negao 17

3. Conjuno 18 4. Disjuno 20 5. Disjuno exclusiva 21 6. Condicional 22 7. Bicondicional 23 Exerccios 27 Captulo 3 CONSTRUO DE TABELAS-VERDADE 1. Tabela-verdade de uma proposio composta 29 2. Nmero de linhas de uma tabela-verdade 29
3. Construo da tabela-verdade de uma proposio composta 30 3. 4. Exemplificao 30 4. 5. Valor lgico de uma proposio composta 36 5. 6. Uso de parntesis 38 7. Outros smbolos para os conectivos 39 Exerccios

Ca MI Captulo 4 TAUTOLOGIAS, CONTRADIES E CONTINGNCIAS 2. 1. Tautologia 4. 2. Princpio de substituio para as tautologias 45 5


3. Contradio 46 6. 4. Contingncia 47 7. Exerccios 48 Captulo 5 IMPLICAO LGICA Ca AF 1. Definio de implicao lgica 2. Propriedades da implicao lgica 49 3. Exemplificao 50 4. Tautologias e implicao lgica 5 4 Exerccios 6. Captulo 6 7.

EQUIVALNCIA LGICA
1. Definio de equivalncia lgica 55 2. Propriedades da equivalncia lgica 55 3. Exemplificao 56 Ca 4. Tautologias e equivalncia lgica 57 5. Proposies associadas a uma condicional 2. 6. Negao conjunta de duas proposies 62 3 7. Negao disjunta de duas proposies 63 Exerccios 63 Captulo 7

LGEBRA DAS PROPOSIES


1. Propriedades da conjuno 67 2. 2. Propriedades da disjuno 69 3. Propnedades da conjuno e da disjuno 71 4. Negao da condicional 74 5. Negao da bicondicional 74 Exerccios 75 Captulo 8

MTODO DEDUTIVO 2. Exemplificao 78

3. Reduo do nmero de conectivos 81 4. Forma normal das proposies . 82 5. Forma normal conjuntiva 82 6. Forma normal disjuntiva 84 7. Princpio de dualidade 85 Exerccios 85

Captulo 9 ARGUMENTOS. REGRAS DE INFERNCIA 1. Definio de argumento 87


2. Validade de um argumento 87 3. Critrio de validade de um argumento . . 88 4. Condicional associada a um argumento . 89 5. Argumentos vlidos fundamentais 90 6. Regras de inferncia 91 7. Exemplos do uso das regras de inferncia 92 Exerccios 96

Captulo 10 VALIDADE MEDIANTE TABELAS-VERDADE 2. Exemplificao 99


3. Prova de no-validade 108 Exerccios 110

Captulo 11 VALIDADE MEDIANTE REGRAS DE INFERNCIA 2. Exemplificao 112 Exerccios 118 Captulo 12 VALIDADE MEDIANTE REGRS DE INFERNCIA E EQUIVALNCIAS 1. Regra de substituio 129 2. Equivalncias notveis 129 3. Exemplificao 131 4. Inconsstncia 138 Exerccios 141 Captulo 13 DEMONSTRAO CONDICIONAL E DEMONSTRAO INDIRETA 1. Demonstrao condicional 145 2. Exemplificao 146 3. Demonstrao indireta 149 4. Exemplificao 150 Exerccios 153 Captulo 14 SENTENAS ABERTAS 1. Sentenas abertas com uma varivel 156 2. Conjunto-verdade de uma sentena aberta com uma varivel 156 3. Sentenas abertas com duas variveis 158 4. Conjunto-verdade de uma sentena aberta com duas variveis 159 5. Sentenas abertas com n variveis 160 6. Conjunto-verdade de uma sentena aberta com n variveis 161 Exerccios 162 Captulo 15 OPERAES LGICAS SOBRE SENTENAS ABERTAS 2. Conjuno 164 3. Disjuno 166 4. Negao 168 5. Condicional 169 6. Bicondicional 170 7. lgebra das sentenas abertas 171

Exerccios 172 Captulo 16 QUANTIFICADORES


1. Quantificador universal 175 2. Quantificador existencial 178 3. Varivel aparente e varivel livre 180 4. Quantificador dc existncia e unicidade 180 5. Negao de proposies com quantificador . . 181 6. Contra-exemplo 183 Exerccios 183 Captulo 17 QUANTIFICAO DE SENTENAS ABERTAS COM MAIS DE UMA VARIVEL 1. Quantificao parcial 187 2. Quantificao mltipla 187 3. Comutatividadc dos quantificadores 189 4. Negao de proposies com quantificadores 190 Exerccios 190

RESPOSTAS DOS EXERCCIOS 193 BIBLIOGRAFIA 203

Captulo 1

Proposies. Conectivos
1. CONCEITO DE PROPOSIO Definio Chama-se proposio todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes. Assim, p. ex., so proposies: (a) A Lua um satlite da Terra (b) Recife a capital de Pernambuco (e) r>/ (d) sen 1 A Lgica Matemtica adota como regras fundamentais do pensamento os dois seguintes princpios (ou axiomas): (1) PRINCPIO DA NO CONTRADIO: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. (II) PRINCIPIO DO TERCEIRO EXCLUDO: Toda a proposio ou verdadeira ou falsa, isto , verificase sempre um destes casos e nunca um terceiro. Por virtude deste princpio diz-se que a Lgica Matemtica uma Lgica bivalente. Por exemplo, as proposies (a), (b), (e) e (d) so todas verdadeiras, mas so falsas as cinco seguintes proposies: (a) VASCO DA GAMA descobriu o Brasil (b) DANTE escreveu os Lusadas
-

12 EDGARD DE ALENCAR FILHO

(c) -- um nmero inteiro (d) O nmero ir racional (e) tg-- =2 Assim, as proposies so expresses a respeito das quais tem sentido dizer que S() verdadeiras ou falsas. 2. VALORES LGICOS DAS PROPOSIES Definio Chama-se val3r lgico de uma proposio a verdade se a proposio

verdadeira e a falsidade se a proposio falsa. Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas letras V e F, respectivamcnte. Assim, o que os princpios da no contradio e do terceiro excludo afirmam que: Toda a proposio tem um, e um s, dos valores V, F. Consideremos, p. ex., as proposies: (a) O mercrio mais pesado que a gua (b) O Sol gira em torno da Terra O valor lgico da proposio (a) a verdade(V) e o valor lgico da proposio (b) a falsidade(F).

3. PROPOSIES SIMPLES E PROPOSIES COMPOSTAS


As proposies podem ser classificadas em simples ou atmicas e compostas ou moleculares. Definio 1 Chama-se proposio simples ou proposio atmica aquela que no contm nenhuma outra proposio como parte integrante de si mesma. As proposies simples so geralmente designadas pelas letras latinas minsculas p, q, r, s chamadas letras proposicionais. Assim, p. ex., so proposies simples as seguintes: p : Carlos careca q : Pedro estudante r : O nmero 25 quadrado perfeito

Definio 2 Chama-se proposio composta ou proposio molecular aquela


formada pela combinao de duas ou mais proposies. As proposies compostas so habitualmente designadas pelas letras latinas misculas P. O. R, S,. . . , tambm chamadas letras proposicionais.
INICIAO LGICA MATEMTICA 13

Assim, p. ex., so proposies compostas as seguintes: P : Carlos careca e Pedro estudante Q : Carlos careca ou Pedro estudante R : Se Carlos careca, ento infeliz visto que cada uma delas formada por duas proposies simples. As proposies compostas tambm costumam ser chamadas frmulas proposicionais ou apenas frmulas. Quando interessa destacar ou explicitar que uma proposio composta P formada pela combinao das proposies simples p, q, r escreve-se: P(p, q, r,. As proposies simples e as proposies compostas tambm so chamadas respectivarnente tomos e molculas. Observaremos ainda que as proposies componentes de uma proposio composta podem ser, elas mesmas, proposies compostas. 4. CONECTIVOS Definio Chamam-se conectivos palavras que se usam para formar novas proposies a partir de outras. Assim, p. ex., nas seguintes proposies compostas: P : O nmero 6 par e o nmero 8 cubo perfeito Q : O tringulo ABC retngulo ou issceles R : No est chovendo S : Se Jorge engenheiro, ento sabe Matemtica T : O tringulo ABC equiltero se e somente se equingulo so conectivos usuais em Lgica Matemtica as palavras que esto grifadas, isto : e, ou, no, se . . . ento se e somente se . .

5. TABELA-VERDADE
Segundo o Princpio do terceiro excludo, toda proposio simples p verdadeira ou falsa, isto , tem o valor lgico V(verdade) ou o valor lgico F(falsidadc). Em se tratando de uma proposio composta, a determinao do seu valor lgico, conhecidos os valores lgicos das proposies simples componentes, se faz F com base no seguinte princpio:

14 EL)GARD DE ALENCAR FILHO

O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocament determinado. Admitido este princpio, para aplic-lo na prtica determinaao do valor lgico de uma proposio composta dada, recorre-se quasi sempre a um dispositivo denominado tabela-verdade, na qual figuram todos os possveis valores lgicos da proposio composta correspondentes a todas as possveis atribuies de valores lgicos s proposies simples componentes. Assim, p. ex., no caso de uma proposio composta cujas proposies simples componentes so p e q, as nicas possveis atribuies de valores lgicos a p e a q san: p cl v

r
2VF 3FV 4FF Observe-se que os valores lgicos V e F se alternam de dois em dois para a primeira proposio p e de um em um para a segunda proposio q, e que, alm disso, VV, VF, FV e FF so os arranjos binrios com repetio dos dois elementos V e F. No caso de uma proposio composta cujas proposies simples componentes so p, q e r, as nicas possveis atribuies de valores lgicos a p, a q e a r so: pqr

v v

F F
F F

V V
F F

V F
V F

7 8

INICIAO LGICA MATcMTICA 15

Analogamente, observe-se que os valores lgicos V e F se alternam dc quatro em quatro para a primeira proposio p, de dois em dois para a segunda proposio q e de um em um para a terceira proposio r, e que, alm disso, VVV, VVF, VFV. VFF, FVV, FVF, FFV e FFF so os arranjos ternrios com repetio dos dois elementos V e F.

6. NOTAO
O valor lgico de uma proposio simples p indica-se por V(p). Assim, exprime-se que p verdadeira(V), escrevendo: V(p) V. Analogamente, exprime-se que p falsa(F), escrevendo: V(p) = F. Seiam, p. ex., as proposies simples: p : OSolverde q : Um hexgono tem 9 diagonais

2 raiz da equao x2 + 3x 4 = O
T emos: V(p)=F, V(q)=V, V(r)=F Do mesmo modo, o valor lgico de uma proposio composta P indica-se por V(P). EXERCftEIOS 1. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) O nmero 17 primo. (b) Fortaleza a capital do Maranho. (c) TIRADENTES morreu afogado. (d) (3+5)2 =32 52

2
(e) O valor archimediano de ir e (f) l.(--7 ( g) 0,131313.. . uma dzima peridica simples. (h) As diagonais de um paralelogramo so iguais. ( i ) Todo polgono regular convexo inscritvel.

(j ) O hexaedro regular tem 8 arestas.


16

EDGARD DE ALENCAR FILHO

(k) A expresso ri2 n + 41 (n N) s produz nmeros primos. (1 ) Todo nmero divisvel por 5 termina por 5. (rn) O produto de dois nmeros mpares um nmero mpar.
2O2
O

(n) sen 30 + sen 60 2. (o)1+3+5+...+(2n-l)2n2. (p) As razes da equao x3 1 = O so todas reais. (q) O nmero 125 cubo perfeito. (r) 0,4 e 4 so as razes da equaox3 - 16x O. (s) O cubo um poliedro regular. (t) sen( (u) tg

j.

+ x) = scn(

x).

4-

< tg --

Capitulo

Operaes Lgicas sobre Proposies


1. Quando pensamos, efetuamos muitas vezes certas operaes sobre proposies. chamadas operaes lgicas. Estas obedecem a regras de um clculo, denominado clculo proposicional, semelhante ao da aritmtica sobre nmeros. Estudaremos a seguir as operaes lgicas fundamentais.

2. NEGAO()
Definio Chama-se negao de uma proposio p a proposio representada por no p, cujo valor lgico a verdde(V) quando p falsa e a falsidade(F) quando p verdadeira. Assim, no p tem o valor lgico oposto daquele dc p. Simbolicamente, a negao de p indica-se com a notao p, que se l: nao p O valor lgico da negao de uma proposio , portanto, definido pela seguinte tabela-verdade muito simples:

ou seja, pelas igualdades: e F=V

p) = V(p)

18 EDGARD DE ALENCAR FILHO INICI

Evenp1os: C seguil (1) p:2+3=5 (V) e -p:2+3#5 F)

V(p) V(p) VF
(2) q:7<3 (F) e -q:74 3 (V) V(q)= V(q) FV (3) r : Roma acapital daFrana(F) e r :Roma no acapital daFrana(V) V(r)= V(r)= -F=V Na linguagem comum a negao efetua-se, nos casos mais simples, antepondo o advrbio no ao verbo da proposio dada. Assim, p. ex., a negao da proposio: p : O Sol uma estrela e e p : O Sol no uma estrela Outra maneira de eftuar a negao consiste em antepor proposio dada expresses tais como no verdade que, falso que. Assim, p. ex., a negao (1) da proposio: q : Carlos mecnico e - q : No verdade que Carlos mecnico (2) ou q : I falso que Carlos mecnico Observe-se, entretanto, que a negao de Todos os homens so elegantes Nem todos os homens so elegantes e a de Nenhum homem elegante (3) Algum homem elegante.

3. CONJUNO ( A) (4)
Definio Chama-se conjuno de ditas proposies p e q a proposio representada por p e q, cujo valor lgico a verdade(V) quando as proposies p e q so ambas verdadeiras e a falsidade(F) nos demais casos. Simbolicamente, a conjuno de duas proposies p e q indica-se com a notao: p A q, que se l: p e q.

INICIAO LGICA MATEMTICA 19

O valor lgico da conjuno de duas proposies , portanto, definido pela seguinte tabela-verdade: ou seja, pelas igualdades: VAVV, VAF=F, FAV=F, FAF=F e V(p A q)V(p)A V(q) !xemp1os:

(1) j p : A neve branca (V)


2<5 (V) p A q : A neve branca e 2 <5 (V) V(p A q) V(p) A V(q) = V A V = V (2) p : O enxfre verde (F) q : 7 um nmero primo (V) p A q : O enxfre verde e um nmero primo (F) V(pAq)V(p) AV(qJFAVF (3) p : CANTOR nasceu na Rssia (V) q : FERMAT era mdico (F) p A q : CANTOR nasceu na Rssia e FERMAT era mdico (F) V(p Aq)=V(p) AV(q)VA F=F ir>4 (F) kq:sen =0 (F) pAq:IT>4 e sen =0 (F) V(p Aq)V(p)AV(q)FA FF

pAq

v v
V F F F V F

v
F F F

20 EDGARD DE ALENCAR FILHO

4. DISJUNO ( V ) Definio Chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo valor lgico a verdade(V) quando ao menos uma das proposies p e q verdadeira e a falsidade(F) quando as proposies p e q so ambas falsas. Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao: p V q, que se l: p ou q. O valor lgico da disjuno de duas proposies , portanto, definido pela seguinte tabela-verdade:

ou seja, pelas igualdades:

VVV=V, VvF=V, FVV=V, FVF=F


e

V(p V q) V(p) V V(q)


!Lvemplos:

(1) p : Paris a capital da Frana (V) 945 (V) p V q : Paris a capital da Frana ou 9 4 = 5 (V) V(p V q) V(p) V V(q) V V V V (2) j p : CAMES escreveu os Lusadas (V) ir=3 (F) p v q : (AMES escreveu os Lusadas ou ir 3 (V) V(p Vq)V(p) VV(q)V V FV (3) p : Roma a capital da Rssia (F) q : 5/7 uma frao prpria (V) p V q : Roma a capital da Rssia ou 5/7 uma frao prpria (V) V(p V q) V(p) V V(q) F V V V

T
v
V F F

pVq

v v
F V F V V F

INICIAO LGICA MATEMTICA 21

(4) jp : CARLOS GOMES nasceu na Bahia (F)

<kq : \ETi (F)


p v q : CARLOS GOMES nasceu na Bahia ou = 1 (F) V(p V q) = V(p) V V(q) F V F = F

5. DISJUNO EXCLUSIVA (Y)


Na linguagem comum a palavra ou tem dois sentidos. Assim, p. ex., consideremos as duas seguintes proposies compostas: P : Carlos mdico ou professor

Q : Mano alagoano ou gacho


Na proposio P se est a indicar que uma pelo menos das proposies Carlos mdico, Carlos professor verdadeira, podendo ser ambas verdadeiras: Carlos mdico e professor. Mas, na proposio Q, se est a precisar que urna e somente uma das proposies Mano alagoano, Mano gacho verdadeira, pois, no possvel ocorrer Mano alagoano e gacho. Na proposio P diz-se que ou inclusivo, enquanto que, na proposio Q, diz-se que ou exclusivo. Em Lgica Matemtica usa-se habitualmente o smbolo V para ou inclusivo e o smbolo para ou exclusivo. Assim sendo, a proposio P a disjuno inclusiva ou apenas disjuno das proposies simples Carlos mdico, Carlos professor, isto : P : Carlos mdico V Carlos professor ao passo que a proposio a disjuno exclusiva das proposies simples Mano alagoano, Mano gacho, isto :

Q : Mano alagoano Y Mano gacho


De um modo geral, chama-se disjuno exclusiva de duas proposies p e q a proposio representada simbolicamente por p q, que se l: ou p ou q ou ou q, mas no ambos, cujo valor lgico a verdade(V) somente quando p verdadeira ou q verdadeira, mas no quando p e q so ambas verdadeiras, e a falsidade(F) quando p e q so ambas verdadeiras ou ambas falsas. Logo, o valor lgico da disjuno exclusiva de duas proposies definido pela seguinte tabela-verdade:

p V V F F

q V F V F

p q F V V F

22 EDGARD DE ALENCAR FILHO

ou seja, pelas igualdades: VVV=F, VV F=V, FVV=V, FvF=F e V(p q)V(p)YV(q) NOTA A lngua latina tem duas palavras diferentes correspondentes aos dois sentidos distintos da palavra ou na linguagem comum. A palavra latina vel exprime a disjuno no seu sentido dbil ou inclusivo, ao passo que a palavra latina aut exprime a disjuno rio seu sentido forte ou exclusivo. 6. CONDICIONAL (-.) Definio Chama-se proposio condicional ou apenas condicional uma proposio representada por se p ento q, cujo valor lgico a falsidade(F) no caso em que p verdadeira e q falsa e a verdade(V) nos demais casos. Simbolicamente, a condicional de duas proposies p e q indica-se com a notao: p * q, que tambm se l de uma das seguintes maneiras: (i) p condio suficiente para q (ii) q condio necessria para p Na. condicional p - q, diz-se que p o antecedente e q o consequente. O smbolo - chamado smbolo de implicao. O valor lgico da condicional de duas proposies , portanto, definido pela seguinte tabela-verdade: ou seja, pelas igualdades: V-V=V, VF=F, F-+V=V, F-*F=V e V(p--q)V(p)-.V(q) Portanto, uma condicional verdadeira todas as vezes que o seu antecedente urna proposio falsa.

p-*q

v v v

V F F

F V F

F V V

INICIAO LGICA MATEMTICA 23

Eremplos: (1) p : GALOIS morreu em duelo (V) q : ir um nmero real (V) p q : Se GALOIS morreu em duelo, ento ir um nmero real (V)
-*

V(p-*q)V(p)--*V(q)=V-*V=V (2) j p : O mes de Maio tem 31 dias (V) q : A Terra plana (F) p * q : Se o mes de Maio tem 31 dias, ento a Terra plana (F) V(p-q)=V(p)--*V(q)=V-F= F (3) j p DANTE escreveu os Lusadas (F) q : CANTOR criou a Teoria dos Conjuntos (V) p -* q : Se DANTE escreveu os Lusadas, ento CANTOR criou a Teoria dos Conjuntos (V) V(p-*q)=V(p)-V(q)=F-*VV (4) j p : SANTOS DUMONT nasceu no Cear (F) q : O ano tem 9 meses (F) p - q : Se SANTOS DUMONT nasceu no Cear, ento o ano tem 9 meses (V) V(p-+q)=V(p)-V(q) F-F=V NOTA Uma condicional p -+ q no afirma que o consequente q se deduz ou conseqncia do antecedente p. Assim, p. ex., as condicionais: 7 um nmero mpar -* Braslia uma cidade 3 + 5 = 9 - SANTOS DUMONT nasceu no Cear no esto a afirmar, de modo nenhum, que o fato de Braslia ser uma cidade se deduz do fato de 7 ser um nmero mpar ou que a proposio SANTOS DUMONT nasceu no Cear conseqncia da proposio 3 + 5 = 9. O que uma condicional afirma unicamente uma relao entre os valores lgicos do antecederite e do consequente de acordo com a tabela-verdade anterior.

7. BICONDICIONAL ()
Definio Chama-se proposio bicondicional ou apenas bicondicional uma proposio representada por p se e somente se q, cujo valor lgico a verdade(V) quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade(F) nos demais casos.
24 EDGARD DE ALENCAR FILHO

Simbolicamente, a bicondicional de duas proposies p e q indica-se com a notao: p + q, que tambm se l de uma das seguintes maneiras: (i) p condio necessria e suficiente para q (ii) q condio necessria e suficiente para p O valor lgico da bicondicional de duas proposies , portanto, definido pela seguinte tabela-verdade: ou seja, pelas igualdades: V*-V=V, V-F=F, F.-V=F, FFV e V(pq)V(p)V(q) Portanto, uma bicondicional verdadeira somente quando tambm o so as duas condicionais: p - q e q - p.

Exemplos
(1) fp : Roma fica na Europa (V) q : A neve branca (V) p q : Roma fica na Europa se e somente se a neve branca (V)

V(p*q)=V(p)4-V(q)=V-V-V (2) p : Lisboa a capital de Portugal (V) q: tg =3 (F) p * q : Lisboa a capital de Portugal se e somente se tg 3 (F) V(p* q)V(p)+*V(q)=V*_F=F (3) p : VASCO DA GAMA descobriu o Brasil (F) q : TIRADENTES foi enforcado (V) p q : VASCO DA GAMA descobriu o Brasil se e somente se TIRAD ENTES foi enforcado (F) V(p+-q)V(p)---V(q)=F#---V=F

p V V F F

q V F V F

p++q V F F V

INICIAO LGICA MATEMTICA 25

(4) f p : ATerra plana (F) q : s,/ um nmero racional (E) p * q : A Terra plana se e somente se /i um nmero racional (V) V(p q) = V(p) V(q) = E * E = V EXERCCOS 1. Sejam as proposies p : Est frio e q : Est chovendo. Traduzir para a linguagem corrente as seguintes proposies: (a) p (b) pAq (c) pVq (d) q*p (e) p-*-q (f) pvq (g) pA-q (h) p<+q (O pAq-p 2. Sejam as proposies p : Jorge rico e q : Carlos feliz. Traduzir para a linguagem corrente as seguintes proposies: (a) qp (b) pVq (c) q<---p (d) p-q (e) --p (f) ---pAq-p 3. Sejam as proposies p : Claudio fala ingls e q : Claudio fala alemo. Traduzir para a linguagem corrente as seguintes proposies: (a) pVq (b) pAq (c) pAq (d) pA-q (e) (f) pA--qJ 4. Sejam as proposies p : Joo gacho e q : Jaime paulista. Traduzir para a linguagem corrente as seguintes proposies: (a) (pA-q) (b) -p (c) (pV-q) (d) p*--q (e) p.-q (f) (---q-p)

5. Sejam as proposies p : Marcos alto e q : Marcos elegante. Traduzir para a linguagem simblica as seguintes
proposies: (a) Marcos alto e elegante (b) Marcos alto, mas no elegante (c) No verdade que Marcos baixo ou elegante (d) Marcos no nem alto e nem elegante (e) Marcos alto ou baixo e elegante (f) falso que Marcos baixo ou que no elegante

26 EDGARD DE ALENCAR FILHO

6. Sejam as proposies p : Suely rica e q : Suely feliz. Traduzir para a linguagem simblica as seguintes proposies: (a) Suely pobre, mas feliz (b) Suely rica ou infeliz (c) Suely pobre e infeliz (d) Suely pobre ou rica, mas infeliz 7. Sejam as proposies p : Carlos fala francs, q : Carlos fala ingls e r : Carlos faia alemo. Traduzir para a linguagem simblica as seguintes proposies: (a) Carlos fala francs ou ingls, mas no fala alemo (b) Carlos fala francs e ingls, ou no fala francs e alemo (c) falso que Carlos fala francs mas que no fala alemo (d) falso que Carlos fala ingls ou alemo mas que no fala francs 8. Traduzir para a linguagem simblica as seguintes proposies matemticas: 9. Traduzir para a linguagem simblica as seguintes proposies matemticas: (a) (x-i-y=0 e z>O) (b) x=O e (y+z>x (e) x:_0 ou (x=0 (d) (x=y e z=t) OU 10. Traduzir para a linguagem simblica as seguintes proposies matemticas: (a) Se x > O ento y = 2 (b) Sex+y=2 ento z>O (c) Se x 1 ou z = 2 ento y> 1 (d) Sez>5 ento x_l e x_2 (e) Sex_y ento x+z>5 e y+z<5 (f) Sexy>z e z=l ento x+y>1 (g) Se x <2 ento x = 1 ou X = O (h) y=4 ese x<y ento x<5 11. Simbolizar as seguintes proposies matemticas: (a) x maior que 5 e menor que 7 ou x no igual a 6 (b) Se x menor que 5 e maior que 3, ento x igual a 4 (c) x maior que 1 ou x menor que 1 e maior que O

(a) x=0 ou x>O (e) x>l ou x+y=0 (b) x_0 e y_O (d) x2=x.x e x=l
OU z=0

ou z=O) e y<O) (x<y e z=0)


INICIAO LGICA

12. Determinaroval (a) 3+2=7 (e) senir0 (e) 0>ltf (g) ../<lA 13. Determinar o vai (a) Roma a ca (b) FLEMING d (e) %/< ou (d) 2>./ou (e) .,/ > 1 V (f) 2=2Vsen

(g) 52=lOVir

(h) 3_3V5#
(i) [= 2 (j) -5<7V (k) 51< 0\ 14. Determinar o vai (a) Se3+2=6 (b) SeO<1 en (e) Se/>1 (d) Sei--li 1 (e) tg6O (f) f> (g) ,/T= 1 (h) ir >4 -* 3 15. Determinar o vaI (a) 3+4=7 se (b) 02 1 sees (e) [= (d) tgir =1 see (e) 1> 2 (f) 2>0

(g) 32 42 52 (h) l>sen (i) sen20 > 1 (j) = -i


-

INICIAO LGICA MATEMTICA 27

12. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) 3+2=7 e 5+5=10 (b) 2+7=9 e 4+8=12

(c) senir0 e cosir=0 (d) l>0A2+2=4 (e) 0>1 A irracional (f) (/ET)2 1 A ir racional (g) / < 1 A ./5 racional
13. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) Roma a capital da Frana ou tg45 = (b) FLEMING descobriu a penicilina ou sen3O = (e) /3 <0 ou Londres a capital da Itlia (d) 2 > ou Recife a capital do Cear (e) [ >1 Vir noumnmeroreal

(f) 2=2V sen9o_tg45 (g) 2 = 10V ir racional


(h) 33V5_5

(i) /E4 = 2 ./ V 13 um nmero primo (j) -5<-7 v I2 =


(k) 151< OVtg <1 14. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) Se3+2=6 ento 4+49 (b) Se O < 1 ento irracional (e) Se\/> 1 ento 1< 2 (d) Se 1 1 = O ento sen30 =

(e) tg6O =f 2=2 (f) v-2-2 (g) .fZT 1 -).%/35 (h) ir >4 3>
-*

15. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) 3 + 4 = 7 se e somente se 53 125 (b) 02 = 1 seesomentese (1+5)0=3 (c) \/ = se e somente se \f O (d) tgir = 1 se e somente se scnir O

(e) 1> 2 * ir2 <20 (f) -2>0 ir2 <0 (g) 32 42 =52 *+ ir racional (h) 1 > sen * cos <1 (i) sen20 > 1 + cos20 > 2

o)

-1 -2

EDGARD DE ALENCAR FILHO

16. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies:


(a) No verdade que 12 um nmero mpar (b) No verdade que Belm a capital do Par

(c) falsoque2+3=5 e 1+1=3 (d) falsoque3+3=6 OU fET=o (e) -(l + 1=2 34=5) (f) -(ll=5 3+3=l) (g) 2+2=4 - (3+3=7 11=4) (li) -..(2+2_4 e 35=8)
*

17. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies:


(a) (scnO = O OU cosO = 1) (b) 8 OU 42 43) (c) -.(tg45 = 2 se e somente se ctg45 = 3) (d) Brasilia a capital do Brasil, e 2 = O ou 3 = (e) (32 = 9 3 = 5 A 02 = O)

(f) 3=8l
(g)

-*

(2+ 1 =3/.5.0=0)

18. Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor lgico (V ou F) de cada uma das seguintes proposies:
(a) V(p-*q)V

(b) V(p-q)=V (c) V(pq)V (d) V(p-q)=V


(e) V(p-q)=F V(p A q) F V(p V q) = F V(p A q) = V

V(p V q)
V(p V q) = V
28

(a) pA-q (d) p A -q 1. (b) pV-q


(e) -.-pVq col

19. Determinar V(p) em cada um dos seguintes casos, sabendo: (e) pAq (f) pA(-pVqJ
(a) V(QF (c) V(cijF (e) V(q)V e V(pAcij=F e V(p.-i.q)F e V(p.q)F

e(
(b) V(q) = F (d) V(q)F

(f) V(q)=F
20. Determinar V(p) e V(q) em cada um dos seguintes casos, sabendo:

e V(pVq)F e V(q-p)V e
e e e e e

(C e ta va 2. ni

Captulo

Construo de Tabelas-Verdade
1. TABELA-VERDADE DE UMA PROPOSIO COMPOSTA
Dadas vrias proposies simples p, q, r, . . , podemos combin-las pelos conectivos lgicos: --, A, V, -, e construir proposies compostas, tais como: P(p,q) = pV(p-q) Q(p,q) = (p+ q)Aq R(p,q,r) = (p-+----q V r)A (qV (p---r)) Ento, com o emprego das tabelas-verdade das operaes lgicas fundamentais (Cap. 2): p, pAq, pVq, p*q, p-q possvel construir a tabela-verdade correspondente a qualquer proposio composta dada, tabela-verdade esta que mostrar exatamente os casos em que a proposio composta ser verdadeira(V) ou falsa(F), admitindo-se, como sabido, que o seu valor lgico s depende dos valores lgicos das proposies simples componentes. 2. NMERO DE LINHAS DE UMA TABELA VERDADE O nmero de linhas da tabela-verdade de uma proposio composta depende do nmero de proposies simples que a integram, sendo dado pelo seguinte teorema: A tabela-verdade de uma proposio composta com n proposies simples componentes contm 2 linhas.
30 EDGARD DE ALENCAR FILHO

Dem. Com efeito, toda proposio simples tem dois valores lgicos: V e F, que se excluem. Portanto, para uma proposio composta P(p, P2, , p) com n proposies simples componentes P1, P2, Pn h tantas possibilidades deatribuio dos valores lgicos V e F a tais componentes quantos so os arranjos com repetio n a n dos dois elementos V e F, isto , A2 ,n = 2, segundo ensina a Anlise Combinatria. 3. CONSTRUO DA TABELA-VERDADE DE UMA PROPOSIO COMPOSTA Para a construo prtica da tabela-verdade de uma proposio composta comea-se por contar o nmero de proposies simples que a integram. Se h n proposies simples componentes: p1, P2, . . , p, ento a tabela-verdade contm 2 linhas. Posto isto, 1a proposio simples Pi atribuem-se 2/2 2fl_1 valoresV seguidos de 2 valores F; 2! proposio simples P2 atribuem-se 2/4 22 valores V, seguidos de 202 valores F, seguidos de 2 2 valores V,seguidos, finalmente, de 2-2 valores F; e assim por diante. De modo genrico, a k-sima proposio simples pk(k n) atribuem-se alternadamente 2/2 = 2 k valores V seguidos de igual nmero de valores F. No caso, p. ex., de uma proposio composta com cinco (5) proposies simples componentes, a tabela-verdade contm 2 32 linhas, e os grupos de valores V e F se alternam de 16 em 16 para a 1! proposio simples Pi de 8 em 8 para a 2! proposio simples 2, de 4cm 4 para a 3! proposio simplesp3, de 2 em 2 para a 4! proposio simples p,, e, enfim, de 1 em 1 para a 5! proposio simples p5.

4. EXEMPLIFICAO
(1) Construir a tabela-verdade da proposio: 1a Resoluo Forma-se, em primeiro lugar, o par de colunas correspondentes s duas proposies simples componentes p e q. Em seguida, forma-se a coluna para q. Depois, forma-se a coluna para p A q. Afinal, forma-se a coluna relativa aos valores lgicos da proposio composta dada.

pAq

pA q)

V V F V V F F V

F V F F

V F V V

F F

V F

INICIAO LGICA MATEMTICA 31

2 Resoluo Formam-se primeiro as colunas correspondentes s duas proposies simples p e q. Em seguida, direita, traase uma coluna para cada Uma dessas proposies e para cada um dos conectivos que figuram na proposio composta dada.

Depois, numa certa ordem, completam-se essas colunas, escrevendo em cada uma delas os valores lgicos convenientes, no modo abaixo indicado:
Os valores lgicos da proposio composta dada encontram-se na coluna completada em ltimo lugar (coluna 4). Portanto, os valores lgicos da proposio composta dada correspondentes a todas as possfveis atribuies dos valores lgicos V e F s proposies simples componentes p e q (VV, VF, FV e FF) so V, F, V e V, isto , simbolicamente: P(VV) = V, P(VF) = F, P(FV) = V, P(FF) V ou seja, abreviadamente: P(VV, VF, FV, FF) = VFVV Observe-se que a proposio P(p, a) associa a cada um dos elementos do conjunto U { VV, VF, FV, FF } um nico elemento do conjunto {V, F}

isto , P(p, q) outra coisa no que uma funo de U em {V, F P(p,ci):U* {V,F}

(p

q)

v v
V F F F V F

--

--

-j F VI V V F F F F 1 3 F V F V 2 F F V F 1

V V F F

V F V F

V F V V 4

32 EDGARD DE ALENCAR FILHO INICI

cuja representao grfica por um diagrama sagital a seguinte: P U ou e ( FF } 3a Resoluo Resulta de suprimir na tabela-verdade anterior as duas primeiras colunas da esquerda relativas s proposies simples componentes p e q, o que d a seguinte tabela-verdade simplificada para a proposio composta dada: VVFFV FVVVF

E
(2) Construir a tabela-verdade da proposio: P(p,q)= (pA q)v(qp) (3) sI 1a Resoluo: 2 Resoluo:
INICIAO LGICA MATEMTICA

33

Portanto, simbolicamente: P(VV)=F, P(VF)=V, P(FV)=V, P(FF)=V ou seja, abreviadamente:


P(VV, VF,

FV, FF)

FVVV

Observe-se que P(p, ci) outra coisa no que uma funo de U = { VV, VF, FV, FF} em V, F} , cuja representao grfica por um diagrama sagital a seguinte:

3 Resoluo: U (3) Construir a tabela-verdade da proposio: 1a Resoluo:

P(p, q,r)=pv r--*qA r

(p

q)

(q

+*

p)

F V V V V F V F 3 1

V V F F F V F F 2 1

F F V V V V V F F V V V V F F V F F V F 4 3 1 2 1

pV-r

qA-r

pV-r-+qA----r

V V V F V V F V F V F V V F F V

V V V V F V F V

F V F F F V F F

F V F F V V V F

F V V F F V F V F F V F F F F V

34

EDGARD DE ALENCAR FILHO

2 Resoluo:
Portanto, simbolicarnente: P(VVV) = F, PVVF) V, P(VFV) = F, P(VFF) F P(FVV) V, P(FVF) = V, P(FFV) = V, P(FFF) = F ou seja, abreviadamente: P(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) = FVFFVVVF

Observe-se que a proposio P(p, q, r) outra coisa no que uma funo de U (VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF} em {V, F} , cuja representao grfica por um diagrama sagital a seguinte:
INIC

3i 1 (4) 1 U ou

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

p V V V V F F F F 1

V V V V V F V F V 3

r V F V F V F V F 1

-*

q V V F F V V F F 1

A F V F F F V F F 3

r V F V F V F V F 1

F V F V F V F V 2

F V F F V V V F 4

F V F V F V F V 2

INICIAO LGICA MATEMTICA 35

3 Resoluo: (4) Construir a tabela-verdade da proposio: P(p,q,r)(p-q)A(q-*r)--*(p-r) Resoluo:


Portanto, simbolicamente: P(VVV) = V, P(VVF) V, P(VFV) = V, P(VFF) = V P(FVV) = V, P(FVF) = V, P(FFV) = V, P(FFF) = V ou seja, abreviadamente: P(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) = VVVVVVVV

p V V V V F F F

r V F V F V F V

q V V F F V V F

r V F V F V F V F

V V V V F V F

F V F V F V F

F V F F V V V

F V F F F V F

F V F V F V F

V 1

(p

-+

q)

(q

r)

(p

-+

r)

v v v
V V V F F F F V F F V V F F F V F V F V F 1

v v
V V V F F F F V F F V V V V 2 1

v v
V F F V V F F F F F V F V V 3 1

v v v v
V F F V V F F F V V V F V V 2 F V F V F V F 1 V V V V V V V 4 1

v
V V V F F F F

v v
F V F V V V V 2 F V F V F V F 1

EDGARD DE ALENCAR FILHO INICIA

Observe-se que a ltima coluna (coluna 4) da tabela-verdade da proposio Exei P(p, q, r) s encerra a letra V(verdade), isto , o valor lgico desta proposio sempre V quaisquer que sejam os valores lgicos das proposies componentes (1) Sa p,qer. Ve (5) Construir a tabela-verdade da proposio: Re P(p, q, r) = (p-+(---q V r)) A (q V (p + r)) V(l Resoluo: (2) Sej Note-se que uma tabela-verdade simplificada da proposio P(p, q, r), pois, no encerra as colunas relativas s proposies componentes p, q e r. Portanto, simbolicamente: P(VVV) = F, P(VVF) = F, P(VFV) = V, P(VFF) = F P(FVV) = F, P(FVF)= F, P(FFV) = F, P(FFF) = V ou seja, abreviadamente: P(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) = FFVFFFFV

5. VALOR LGICO DE UMA PROPOSIO COMPOSTA


Dada uma proposio composta P(p, q, r,. . .), pode-se sempre determmar o seu valor lgico (V ou F) quando so dados ou conhecidos os valores lgicos respectivos das proposies componentes p, q, r, .

(4) Sal p (5 Sal


36

(V Re V(1 V(I (3) Sal da Re: Re Lo (V (p

(p

r))

(q

(p

+ +

r))

VVFVVVFFVVVFFV VFFVFFFFVVVVVF VVVFVVVVFFVFFV

VVVFVFFFFVVVVF FVFVVVFFVVFVFV FVFVFFFFVVFFVF FVVFVVFFFVFVFV FVVFVFVVFFFFVF 4 1 5 2

INICIAO LGICA MATEMTICA 37

Exemplos:
(1) Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor lgico (V ou F) da proposio:
P(p, aj
= --(p V q) * p A q Resoluo Temos, sucessivamente V(P)=(V V F)--VA F=V--*F A V=F**F=V (2) Sejam as proposies p ir = 3 e q : sen - = O. Determinar o valor lgico (V ou F) da proposio: P(p,ci)=(p*q)-+(p-*p A cij Resoluo As proposies componentes p e q so ambas falsas, isto , V(p) = F e V(q) = F. Portanto: V(P)=(F*F)-(F-F A F)=V-*(F-*F)=V--*V=V (3) Sabendo que V(p) = V, V(q) F e V(r) F, determinar o valor lgico (V ou F) da proposio: P(p, q, r) = (q - (r - p)) V ((q -* p) * r) Resoluo Temos, sucessivamente: = (F*(F--*F))V((V--*V)<---*F)= = (FV)v(VF)=FVF=F (4) Sabendo que V(r) V, determinar o valor lgico (V ou F) da proposio: p q V r.

Resoluo Como r verdadeira(V), a disjuno q V r verdadeira(V). Logo, a condicional dada verdadeira(V), pois, o seu consequente verdadeiro (V). (5) Sabendo que V(ci) = V, determinar o valor lgico (V ou F) da proposio: (p - q) -+( q -+ Resoluo Como q verdadeira(V), ento q falsa(F). Logo, a condicional -+ .-p verdadeira(V), pois, o seu antecedente falso(F). Por conseqncia, a condicional dada verdadeira(V), pois, o seu consequente verdadeiro(V).
38 EDGARD DE ALENCAR FILHO INIC

(6) Sabendo que as proposies x = O e x y so verdadeiras e que a e, au proposio y = z falsa, determinar o valor lgico (V ou F) da proposio: x_O V xy-+y_z Resoluo - Temos, sucessivamente: este VV-V-FFv F-V=F- V=V 6. USO DE PARNTESIS I bvia a necessidade de usar parntesis na simbolizao das proposies, que devem ser colocados para evitar qualquer tipo de ambiguidade. Assim, p. ex., a -se expresso p A q V r d lugar, colocando parntesis, s duas seguintes proposies: (i) (p A q) V r e (ii) p A (q v r) que no tm o mesmo significado, pois, na (i), o conectivo principal V , e na (ii), o conectivo principal A , isto , a (i) uma disjuno e a (ii) uma Conjuno. esc Analogamente, a expresso p A q * r V s d lugar, colocando parntesis, s seguintes proposies: ((p A q)-r) V s, p ((q-*r) V s), (p A (q-r)) v s,

pA(q-+(rV s)), (pA q)*(rV s) tais que, duas quaisquer delas, no tm o mesmo significado. 7. Por outro lado, em muitos casos, parntesis podem ser suprimidos, a firii de simplificar as proposies simbolizadas, desde que, naturalmente, ambiguidade alguma venha a aparecer. A supresso de parntesis nas proposies simbolizadas se faz mediante algumas convenes, das quais so particularmente importantes as duas seguintes: (1) A ordem de precedncia para os conectivos : (1) ; (2) A e V ; (3) ; (4) Portanto, o conectivo mais fraco e o conectivo mais forte ++. Assim, p. ex., a proposio: p -+ q + s A r urna bicondicional e nunca uma condicional ou uma conjuno. Para convert-la numa condicional h que usar parntesis: p-(q---s Ar)
INICIAO LGICA MATEMTICA

e, analogamente, para convert-la numa conjuno:


(p -* q s) A r

O consequente da condicional uma bicondicional. Desejando-se converter este consequente numa conjuno cumpre escrever:
p -* ((q s) A r)

Tambm so bicondicionais as trs seguintes proposies: pAqrVs; p-q<rAs; pVq-r-s (11) Quando um mesmo conectivo aparece sucessivamente repetido, suprimem-se os parntesis, fazendo-se a associao a partir da esquerda. Segundo estas duas convenes, as quatro seguintes proposies: (((---(p A q))) V (--p)); ((p V (a)) A (r A (p))) (((p V (--q)) A r) A (p)); ((p)-(q--*(--(p V r)))) escrevem-se mais simplesmente assim: (p V q) A r A -p; (p V ci) A (r A --p) p-(q--(pV r)) 7. OUTROS SMBOLOS PARA OS CONEC[I VOS Nos livros de Lgica, usam-se diferentes smbolos para os conectivos. Assim,

p. ex., so frequentemente usados os smbolos: EXERCCIOS

1 para a negao ( )
e & paraaconjuno( A)

D (ferradura) para a condicional (-+) (a) --(pV--q) (e) pAq-pVq (e) (p-*q)-*pAq (g) (p4*---q)*q-+p (b) (p-*qJ (d) p--*(q--*p) (f) q4+---qAp (h) (p+----q)-*--pAq
39

1. Construir as tabelas-verdade das seguintes proposies:


40

EDGARD DE ALENCAR F$LHO

NICIA(

8. Sabei FeF es: (a) ( (c) ( 9. Sabei so f (a) (c) c (e) ( (g) ( (i) ( (k) ( 10. Sabe v,

prop (a) (e) (e)


(a) P(p, q, r) p A -r + (b) P(p, q, r) (e) P(p, q, r) (d) P(p.q,r) = (e) P(p, q, r) = (f) P(p, q, r) =

(a) (p A q) V (p A q) (e) -(pAq)+--*--pV-q


(b) (p-.o)A--p-*---q (d) (pV(pVJ)V(-pA--q) 11. Sabe (V ( (a) (c) (e) (g)

12. Sabe prop cada (a) (c) (e) 13. Sabe (V o 2. Construir as tabelas-verdade das seguintes proposies: (a) pAr-qVr (c) p-+(p--r).E----*qVr (b) p-r--qV---r (d) (pAqr)V(-p.EqV--r)
3. Determinar P(VV, VF, FV, FF) em cada um dos seguintes casos: (a) P(p, ci) (--p + q) (h) l)(p,q) = .pVq*p (e) P(p, q) = (p V ci) A -(p A q) (d) P(p. q) = (p A q) V (p A ci) (e) P(p, q) = ((p V q) A (-p V -q))
(f) P(p,q)

(g) P(p,q) (pVq)A-.p-+(q-*p) 4. Determinar P(VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) em cada unidos SeguiliteS casos: (a) P(p, q, r) p V (q A r) (b) P(p, q, r) = (p A q) V r (c) P(p, q, r) = --p V (q A r) (d) P(p, q, r) (p V ci) A (p V r) (e) P(p, q, r) (p V -r) A (q V r) (f) P(p, q, r) -(p V =q) A (p V r)

5. Determinar P(VFV) em cada uni dos seguintes casos:


p A (q V -r) =(p A q) +* (p V r) (r A (p V q)) A =(-=r V (p A q)) (p V q -* r) -* q V -r (p V (q -+ r)) A (-p V r * q) 6. Sabendo que os valores lgicos das proposies p e q so respectivamente F e V, determinar o valor lgico (V ou F) da proposio: (p A(--q-p))A - p*+q)--*qV p) 7. Sejam as proposies p : tg(ir x) ctgx e q : ir <2. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies:
INICIAO LGICA MATEMTICA

41 es: (a) (pp-*q) V (p-+r) (c) (pAq-r)-+(p-(q-*r)) 9. Sabendo que as proposies p so falsas, determinar o valor proposies: (a) p A q -+ r (c) (e)

(g)
(i ) (k) (s+-r)--(p-q) (b) (p--q).--((pVr)Aq) e q so verdadeiras e que as proposies r e s lgico (V ou F) de cada uma das seguintes (b) rvs-+q (d) (f) (h) (r - s) A(pA q)

(j) ((rp)V(s*q)
(1) r q( p r)

10. Sabendo que os valores lgicos das proposies p, q, r e s so respectivamente V, V, F e F, determinar o valor lgico (V ou F) de cada uma das seguintcs proposies:
(a) pAqrA-s (c) (p-+q)-*(s-+r) (e) (q A r) A s * (p * s) (g) (pAq)A(rAs)-*pVs

(b) (pciJ-(s--r) (d) (pAq)Vs-*(p+---*s) (f) p-q--(pV r)As (h) (p V s) V (s A r)


12. Sabendo que as proposies x = 0 e x y so verdadeiras e que as proposies y = z e y t so falsas, determinar o valor lgico (V

OU F) de

cada uma das seguintes proposies: (b) x*DVy=t-y=i. (d) x_0Vx_y-*yi. 13. Sabendo que a condicional p q verdadeira(V), determinar o valor lgiCo (V ou F) das condicionais:

8. Sabendo que os valores lgicos das proposies p, q e r so respectivamente V, F e F, determinar o valor lgico (V ou F) de cada urna das seguintes proposi
pAs (q -+ s) * r
4*

(q V r) A (p V s) (p A q) V r
p (r A s) r-+pAq

1
1
(a) p-*q--+q-+p (e) (p-*r)-(-p--r) (e) --(pAs)-*---pA---s
(b) (r.p)-*(p-r) (d) (pAq)-*pVq

(f) ((p V s) A (s V r))


li. Sabendo que V(p) V(r) = V e V(q) V(s) F, determinar o valor lgico (V OU F) de cada uma das seguintes proposies:

(a) x=0Ax=y-+y_i. (c) x_yVy_z-.y=L (e) x=0-+(x*yVy_t) pVr-*qVr e


p A r -+ q A r

42 EDGARD DE ALENCAR FILHO

14. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) p * q A ---r, sabendo que V(p) = V(r) V (b) p A q-*p V r,sabendoqueV(p)=V(r)V (c) (p - --q) A (-p V r), sabendo que V(q) = F e V(r) = V 15. Suprimir o maior nmero possvel de parntesis nas seguintes proposies: (a) ((q(r V q))*(p A (b) ((p A (-(-qj)) (q E* (r V q))) (c) (((p v q) (r)) V ((((q) A r) A q)))

Captulo 4

Tautologias, Contradies e Contingncias


1. TAUTOLOGIA Definio Chama-se tautologia toda a proposio composta cuja ltima coluna da sua tabela-verdade encerra somente a letra V(verdade).
Em outros termos, tautologia toda proposio composta P(p, q, r, . . .) cujo valor lgico sempre V(verdade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r, As tautologias so tambm denominadas proposies tautolgicas ou proposies 1 ogicamente verdadeiras. imediato que as proposies p - p e p * p so tautolgicas (Princpio de identidade para as proposies).

Exemplos:
(1) A proposio (p A p) (Princpio da no contradio) tautolgica, conforme se v pela sua tabela-verdade:

Portanto, dizer que uma proposio no pode ser simultneamente verdadeira e falsa sempre verdadeiro.
EDGARD DE ALENCAR FILHO (2) A proposi:io p v p (Princpio do terceiro excludo) tautolgica, COflI() imediatamente se v pcla sua tabela-verdade: lortanto, dizer que uma proposio ou verdadeira ou falsa sempre verdadeiro.
(4) A proposio p A q (p q) tautolgica, conforme mostra a sua tabela-verdade:

(5) A proposiio p V (q A q) p tautolgica, conforme mostra a sua tabela-verdade: 44 (3) A proposio p V --(p A q) tautolgica, conforme se v pela sua tabela-verdade:

v v
E E

v
F

v
F F F F

v v
F F

v v v v

qJ
V V

(pAq)

pV(pA]

V V

V V V

F F

V E

F F

V V

pAq

p*q

pAq-*(p---+q)

v v v
V F

v
F

F
F

v
V V V

F
E

V
E

F V

Ei iiLE

q A p V (q Aq)

pV (q A q)

INICIAO LGICA MATEMTICA

45

(6) A proposio tabela-verdade:


p A r q V r tautolgica, conforme se v pela sua (7) A proposio ((p q) r) (p (q r)) tautolgica, conforme mostraa sua tabela-verdade:

2. PRINCIPIO DE SUBSTITUIO PARA AS TAUTOLOGIAS


Seja P(p. q, r, . . .) urna tautologia e sejam P()(p, q, r, . . .), Q0(p, q, r, . . R(p, q, r proposies quaisquer. Como o valor lgico de P(p, q, r, . . .) sempre V(verdade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r bvio que, substituindo p por P0,q por Q0,r por R0,.. . na tautologia P(p, q, r,. . .), a nova proposio P(PO, Q0, R, . . .) que assim se obtm tambm uma tautologia. Subsiste, pois, para as tautologias o chamado Princpio de substituio seguinte: Se P(p, q, r, . . .) uma tautologia, ento P(P0, Q0, R, . . .) tambm uma

tautologia, quaisquer que sejam as proposies P0, Q0, R0, (p

v V E v v v v FV F V FIV FJV
1J3 (

v v
F

v v v
F

v F v v F v v
1

r))

v
F

v v v E v E
2 3 4

pAr

qVr

p A r--qVr

V V V F V V F
V V F F F F F V V F V F V F V F V V F F

V F V F F F

V F V V V F

V V V V V V

V F

V V

V V

F E F V F

r)

vv v v V V V F V F E V V E F V F V V V F V V F F V E V F V F F F V V V F V V V E V V V E V

46 curuj u iLINH tILhU

3. CONTRADIO Definio - Chama-se contradio toda a proposio composta cuja ltima coluna da sua tabela-verdade encerra somente a letra F(falsidade). Em outros termos, contradio toda proposio composta P(p, q. r, - . .) cujo valor lgico sempre F(falsidade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r, Como uma tautologia sempre verdadeira(V), a negao de uma tautologia sempre falsa(F), ou seja, urna contradio, e vice-versa. Portanto, P(p, q, r, . . .) uma tautologia se e somente se P(p, q, r, . .) uma contradio, e P(p, q, r, . . .) uma contradio se e somente se P(p, q, r, . . uma tautologia. As contradies so tambm denominadas proposies contravlidas ou proposies logicamente falsas. Para as contradies vale um Princpio de substituio anlogo ao que foi dado para as tautologias: Se P(p, q, r, . . .) uma contradio, ento P(P0, Q0, R, . . .) tambm uma contradio, quaisquer que sejam as proposies P0, Q0, R0, . Exemplos: (1) A proposio p A p uma contradio, conforme se v pela sua tabela-verdade: Portanto, dizer que uma proposio pode ser simultneamente verdadeira e falsa sempre falso. (2) A proposio p p uma contradio, conforme mostra a sua tabela-verdade:

LLJ

pAp

P
VF FV F F

INICIAO LGICA MATEMTICA 47

(3) A proposio (p A ci) A (p V q) uma contradio, conforme se v pela sua tabela-verdade:

(4) A proposio -.p A (p A q) uma contradio, conforme mostra a sua tabela-verdade:


4. CONTINGNCIA Definio Chama-se contingncia toda a proposio composta em cuja ltima coluna da sua tabela-verdade figuram as letras V e F cada uma pelo menos uma vez. Em outros termos, contingncia toda proposio composta que no tautologia nem contradio. As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas.

Exemplos:
(1) A proposio p * p uma contingncia, conforme se v pela sua tabela verdade:

p V V F F

q V F V F

pA q

pVq

(pVq )

(pAq)A(pVq )

V F F F

V V V F

F F F V

F F F F

-q

pA q

p A (p A q)

V V F

V F V F F F V V F V F V F V F F F F F F

p p VF FV

p-*p F V

48

EDGARD DE ALENCAR FILHO

(2) A proposio p V q p urna contingncia, conforme mostra a sua tabela-verdade:


-

(3) A proposio x 3 A (x y x _ 3) uma contingncia, conforme mostra a sua tabela-verdade:


-+

x=3 x=y_3Ix*y

(a) (p-p)V(p-p) (c) (p-q)Ap-*q (e) (pq)A----q----p (g) ppA(pVq) (i) (p A p) V (q*--q) (k) (pVq)-(p-*q) (a) (p-*q)-(pAr-+q) (c) (p-+a)-+(pAr-+qAr) (a) pVq-pAq (c) (p*(p--*q))-q (a) p-(--p-q) (c) p-(q-+(q-+p)) (e) pV-q-+(p+q) (g) p-+(pVVr
(b) (ppAp)---*---p (d) pV(qVp) (f) (pVq)Ap-*q (h) (p V p) V (q V --q)

(i) pV(pAq)*p
(1) (p*q)Ap-+q

(b) (p*q)-(p-*qVr) (d) (p*q)--*(pVr-+qVr) (b) (q-p)-+(p-q) (d) p-(p-*qA---q)


(b) pVq-* (p-4.q) (d) ((p-*a+q)-+p (f) pV--q-(p--*q)

(h) pAq-(p-qVr)

EXERCCIOS 1. Mostrar que as seguintes proposies so tautolgicas: 2. Mostrar que as seguintes proposies so tautolgicas: 3. Mostrar que as seguintes proposies so contingentes: 4. Determinar quais das seguintes proposies so tautolgicas, contravlidas, ou contingentes:

pVq

pVq*p

v v
V F F F

V V V F F

v
V F V

V V F F

V F V F

F F V V

F V F V

V F V V

V F F F

Captulo 5

Implicao Lgica
1. DEFINIO DE IMPLICAO LGICA Definio Diz-se que uma proposio P(p, q, r,. ..) implica logicamente ou apenas implica uma proposio Q(p, q, r, . se Q(p, q, r, . .) verdadeira(V) todas as vezes que P(p, q, r,
. . .) verdadeira(V). Em outros termos, uma proposio P(p, q, r,. ..) implica logicamente ou apenas implica uma proposio Q(p, q, r, . . .) todas as vezes que nas respectivas tabelas-verdade dessas duas proposies no aparece V na ltima coluna de P(p, q, r,...) e F na ltima coluna de Q(p, q, r,.. .), com V e F em urna mesma linha, isto , no ocorre P(p, q, r, . . .) e Q(p, q, r, . . .) com valores lgicos simul - tneos respectivamente V e F. Indica-se que a proposio P(p, q, r, . . .) implica a proposio Q(p, q, r, . . com a notao: P(p, q, r,.. .) Q(p, q, r,...) Em particular, toda proposio implica uma tautologia e somente urna contradio implica uma contradio.

2. PROPRIEDADES DA IMPLICAO LGICA imediato que a relao de implicao lgica entre proposies goza das propriedades reflexiva(R) e transitiva(T), isto , simbolicarnente: (R) P(p, q, r,...) = P(p, q, r,...) (T) SeP(p,q,r,...) Q(p,q,r,...) e Q(p, q, r, . . .) R(p, q, r,. . .), ento P(p, q, 1,...) R(p, q, r,...)
50

EDGARD DE ALENCAR FILHO

3. EXEMPLIFICAO (1) As tabelas-verdade das proposies: sao: pAq, pVq, pq


A proposio p A q verdadeira(V) somente na linha 1 proposies p V q e p * q tambm so verdadeiras(V). proposio implica cada uma das outras duas proposies, isto : pAq=pVq e pAq=p-.-*q

e, nesta linha, as Logo, a primeira As mesmas tabelas-verdade tambm demonstram as importantes Regras de inferncia: (i) p=pVq (ii) pAq=p e e q p V q (Adio) p A q q (Simplificao) (2) As tabelas-verdade das proposies: sao: p+q, p-q, q-p
A proposio p q verdadeira(V) nas linhas 1 e 4 e, nestas linhas, as proposies p - q e q p tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies, isto :
L

p*qp-q e
p-+q = q-*p

.1
p
q pA q pV q p. q

v v
V F F F

v
V V F

F F V F F

v
F F V

p*q

p-q

q-+p

v v
V F

v
F

v
F

v
V

F
F

V V
F

V
V

F
V

INICIAAO A LOiIA MAl LIMA lUA bi

(3) A tabe1a-verdade da proposio: (p V q) A ---p :

Esta proposio verdadeira(V) somente na linha 3 e, nesta linha, a proposio q tambm verdadeira(V). Logo, subsiste a implicao lgica: (p V q) A -p = q denominada Regra do Silogismo disjuntivo. Outra forma desta importante Regra de inferncia : (p V q) A --q = p (4) A tabela-verdade da proposio (p -+ q) A p :

vvvv
VFFF FVVF F FI V F Esta proposio verdadeira(V) somente na linha 1 e, nesta linha, a proposio q tambm verdadeira(V). Logo, subsiste a implicao lgica: (p-+q)Ap q
=

denominada Regra Modus ponens. (5) As tabelas-verdade das proposies (p q) A q e p so:


-*

pV q

(pVq)Ap)

V V F F

V F V F V V V F F F V V F F V F

P1

(p-+q)Ap

p V V F F

q V F V F

p q

q F

(pq)Aq)

F F F F V F V V

V F V V

V F V

52

A proposio (p -* q) A --q verdadeira(V) somente na linha 4, e nesta linha, a proposio p tambm verdadeira(V). Logo, subsiste a implicao lgica: (pq)Aq denominada Regra Modus toliens. As mesmas tabelas-verdade tambm mostram que ---p implica p * q, isto : p p-q. 4. TAUTOLOG1AS E IMPLICAO LGICA Teorema A proposio P(p, q, r,...) implica a proposio Q(p. q, r,.. isto : P(p,q.r,...) Q(p,q.r,...) se e somente se a condicional: P(p.q,r,...) -* Q(p,q,r,...) (1) tautolgica. Dem. (i) Se P(p, q, r,...) implica Q(p. q. r,. . .), ento, no ocorre que os valores lgicos simultneos destas duas proposies sejam respectivamente V e F, e por conseguinte a ltima coluna da tabela-verdade da condicional (1) encerra somente a letra V, isto , esta condicional tautolgica. (ii) Reciprocamente, se a condicional (1) tautolgica, isto , se a ltima coluna da sua tabela-verdade encerra somente a

letra V, ento, no ocorre que os valores lgicos simultneos das proposies P(p, q, r, . .) e Q(p, q, r, . . .) sejam respectivamente V e F, e por conseguinte a primeira proposio implica a segunda. Portanto, a toda implicao lgica corresponde uma condicional tautolgica, e vice-versa. Corolrio Se P(p, q. r, . . .) = Q(p, q, r, . . .), ento, tambm se tem: P(P0, Q0, R0,...) Q(PO, Q0, R0,...) quaisquer que sejam as proposies P0, Q0, R0, . NOTA Os smbolos - e so distintos, pois, o primeiro de operao lgica (aplicado, p. ex., s proposies p e q d a nova proposio p -* q), enqunto que o segundo de relao (estabelece que a condicional P(p, q, r,. . Q(p, q, r, . . .) tautolgica).
INICIAO LGICA MATEMTICA

53

Exemplos:
(1) A condicional (p -+ q) A (q -* r) - (p - r) tautolgica, pois, a ltima coluna da sua tabela-verdade encerra somente a letra V (Cap. 3, 4, Ex. 4). Logo, subsiste a implicao lgica:
(pci)A(q-r) = p-r

denominada Regra do Silogismo hipottico.


(2) A condicional p A p - q tautolgica, pois, a ltima coluna da sua tabela-verdade encerra somente a letra V: Logo, subsiste a implicao lgica: p A p q. Assim, de uma contradio p A p se deduz qualquer proposio q (Princpio da inconsistncia). (3) A proposio (p q) A p implica a proposio q, pois, a condicional * q) A p - q tautolgica conforme se v pela sua tabela-verdade: Portanto, simbolicamente: (p * q) A p q.

EXERCCIOS 1. Mostrar que a proposio p implica a proposio seguintes casos:


q(p q) em cada um dos (a) p:ir>3; q:tg45=l 1b) p:sen3= 1; q:%/> ./ (e) p : AI3CD um losango; q : ABCD um paralelogramo

p V

q V

p F F

pAp F F

pfp-*q V V

V F F

F V F V V F F V V

pq(pq)A p

(pq)A pq

v v
V F F F

v
F F F

v
V V V

F F V V F

54 EDGARD DE ALENCAR FiLHO

(d) p : O polgono ABCDE. . . regular; q : O polgono ABCDE. . . ins critvel (e) p : O nmero inteiro x termina por 0; q : O nmero inteiro x divisvel por5 (f) p : ABC um tringulo; q: A soma dos ngulos internos A, B e C igual a 180 (g) p:tg = / q:sen - = cos 2. Mostrar: (a) q p - q; (b) q p A q * p 3. Mostar que p q no implica p -* q. Resoluo - As tabelas-verdade das duas proposies dadas so: A proposio p + q verdadeira(V) na linha 2 e, nesta linha, a proposio - q falsa(F). Logo, a primeira proposio no implica a segunda. 4. Mostrar que p no implica p A q e que p V q no implica p. 5. Mostrar: (x = y v x <4) A x <4 x = y.

6. Mostrar: (x * O x = y) A x * y x 0.
-*

p V V F F

q V F V F

p4----q

V F V F V F V V F F V V

Captulo 6

Equivalncia Lgica
1. DEFINIO DE EQUIVALNCIA LGICA Definio Diz-se que urna proposio P(p, q, r,. .) logicamente equivalente ou apenas equivalente a uma proposio Q(p, r, . . .), se as tabelas-verdade destas duas proposies so idnticas. Indica-se que a proposio P(p, q, r, . .) equivalente a proposio Q(p, q, r,. com a notao: P(p, q, r,...) Q(p, q, r,...) Em particular, se as proposies P(p, q, r, . . .) e Q(p, q, r, . . .) so ambas tautologias ou so ambas contradies, ento so equivalentes. 2. PROPRIEDADES DA EQUIVALNCIA LGICA
, . .

imediato

que a relao de equivalncia lgica entre proposies goza das propriedades reflexiva(R), simtrica(S) e transitiva(T), isto , simbolicamente: (R) P(p, q, r,...) P(p, q,r,...) (S) SeP(p,q,r,...) Q(p,q,r,...), ento Q(p, q, r,...) P(p, q, r,. ..) (T) Se P(p, q, r,...) Q(p, q, r,...) e Q(p, q, r, . . .) R(p, q, r, . . .), ento P(p, q, r,...) R(p, q, r,...)
56

EDGARD DE ALENCAR FILHO

3. EXEMPLIFICAO (1) As proposies --p e p so equivalentes, isto , simbolicamente p p (Regra da dupla negao). Realmente, o que demonstra a tabela-verdade: p p ---p VFV FVF

4.
Portanto, a dupla negao equivale afirmao. (2) As proposies p -* p e p so equivalentes, isto , simbolicamente: - p p (Regra de CLAVIUS). Realmente, o que demonstra a tabela-verdade: p p VFV FVF (3) As condicionais p - p A q e p q tm tabelas-verdade idnticas:

v v VFV
VFFFF FVVVV FFVVV p-)-q
VVVVV VFFFF

FVFVV FFFVV

4
Por consequncia, estas condicionais so equivalentes, isto . subsiste a equivalncia lgica: p-*p Aq==p-q denominada Regra de absoro. (4) A condicional p * q e a disjuno p V q tm tabelas-verdades idnticas:

pAq

ppAq

p-*q---p-pVq

INICIAO LGICA MATEMTICA 57

Por consequncia, estas duas proposies so equivalentes, isto , subsiste a importante equivalncia lgica: p-q-p V q (5) A bicondicional p + q e a conjuno (p - q) A (q - p) tm tabelas- verdade idnticas:

vvvvvv
VFFFVF FVFVFF FFVVVV Por consequncia, estas duas proposies so equivalentes, isto , subsiste a importante equivalncia lgica: p q: (p -+ q) A (q -* p) (6) A bicondicional p +- q e a disjuno (p A a,) V (-p A q) tm tabelas-verdade idnticas: V V V V VV F F F VFFVFFFFFV F V F F F VF V F F F F V F F FV V V V
4. 1

Por consequncia, estas duas proposies so equivalentes, isto , subsiste a importante equivalncia lgica: p-*q==.(p A q) V (p A q) 4. TAUTOLOGIAS E EQUIVALNCIA LGICA Teorema A proposio P(p, q, r,.. .) equivalente proposio Q(p, q, r, . . .), isto : P(p, q, r,...) Q(p, q, r,...) se e somente se a bicondicional: P(p, q, r,...) +-+ Q(p, q, r,...) (1) tautolgica.

)_

p.4 *q

p-+q

q-+p

(p-+q) A(qp)

X L

58 EDGARD DE ALENCAR FILHO

Dem. (i) Se as proposies P(p, q, r, . . .) e Q(p, q, r, ...) so equivalentes, ento, tm tabelas-verdade idnticas, e por conseguinte o valor lgico da bicondicional (1) sempre V(verdade), isto , (1) tautolgica. (ii) Reciprocamente, se a bicondicional (1) tautolgica, ento, a ltima coluna da sua tabela-verdade encerra somente a letra V(verdade), e por conseguinte os valores lgicos respectivos das proposies P(p, q, r, . . .) e Q(p, q, r, . ..) so ambos V(verdade) ou so ambos F(falsidade), isto , estas duas proposies so equivalentes. Portanto, a toda equivalncia lgica corresponde uma bicondicional tautolgica, e vice-versa. Corolrio Se P(p, q, r, - . .) Q(p, q, r, - . .), ento, tambm se tem: P(P0, Q0, R0, . . Q(PQ, Q0, R0,...)

quaisquer que sejam as proposies P0, Q0, R0, NOTA Os smbolos e so distintos, pois, o primeiro de operao lgica (aplicado, p.
..-

ex., s proposies p e q d a nova proposio p q), enquanto que o segundo de relao (estabelece que a bicondiciorntl P(p, q, r,. . * Q(p, q, r, . . .) tautolgica).

Exemplos:
(1) A bicondicional (p A -q -* c) - (p -. q), onde c uma proposio cujo valor lgico F(falsidade), tautolgica, pois, a ltima coluna da sua tabela-verdade encerra somente a letra V(verdade): Portanto, as proposies p A q - e e p - q so equivalentes, isto , simbolicamente: p A q e p -+ q Nesta equivalncia consite o Mtodo de demonstrao por absurdo.

p V V F F

q V F V F

(p

A F

--q

c) F F F F 1

(p

-+

ci)

V F V F V F V V 2 4

V V V V 5 1 V V F F

V F V V 2 1 V F V F

V V F F

V F F

IMCIAO LGICA MATEMTICA 59

(2) A hicondicional (p A q -* r) (p - (q - r)) tautolgica, pois, a ltima coluna da sua tabela-verdade encerra somente a letra V(verdade): Portanto, as condicionais p A q * r e p - (q -* r) so equivalentes, isto , simbolicamente: p A q - r p - (q -* r)

Esta importante equivalncia lgica denominada Regra de Exportao-Importao. (3) As proposies x = 1 V x <3 e (x <3 A x = 1) no so equivalentes, pois, a bicondicional: (x= 1V x<3)----(x<3 A x= 1) no tautolgica, conforme se v pela sua tabela-verdade:

5. PROPOSIES ASSOCIADAS A UMA CONDICIONAL


Definio -- Dada a condicional p -> q, chamam-se proposies associadas a p q as trs seguintes proposies condicionais que contm p e q: (a) Proposio recproca de p - q : q - p (b) Proposio contrria de p -+ q : p -* (c) Proposio contrapositiva de p - q : q *

( p

r)

(p

( q

r))

v v v v v v
V V V F F F F V F F F F F F 1 2 V F F V V F F 1 F V V V V V V 3 F V F V F V F 1 V V V V V V V 4 1

v v
V V V F F F F F V V V V V V 3 1

v v
V F F V V F F F V V V F V V 2 1 F V F V F V F

(x=I

x<3)

(x<3

A V

x=1)

V V V F F V F V F V F V

F V F V

F V V V V F V F

F F F

V V F F

60

EDGARDDEALENCAR FILHO

e demonstram as duas importantes propriedades: (1) A condicional p - q e a sua contrapositiva q + ---p so to , simbolicamente:

(1) Seja a condicional relativa a um tringulo T:


p - q Se 1 equiltero, ento T issceles A recproca desta proposio : q - p: Se T issceles, ento T equiltero

(2) A contrapositiva da condicional:


p -+ q : Se Carlos professor, ento pobre

s tabelas-verdade destas quatro proposies so:

v v F F v F v F

v
F

v v

t
vv vv
FF

vv

v
F

v v

1
equivalentes, isp -+ q q (II) A recproca q -* p e a contrria p -* q da condicional p -* q so equivalentes, isto , simbolicamente: q -p p q

As mesmas tabelas-verdade tambm demonstram que a condicional p -* q e a sua recproca q - p ou a sua contrria p q no so equivalentes. A contrria de p - q tambm denominada a inversa de p - q e a contrapositiva de p - q outra coisa no que a contrria da recproca de p -* q e por isso tambm denominada contra-recproca de p - q. Tambm se diz que p -+ q a direta em relao s associadas.

Exemplos.
Aqui, a condicional p q vcrdadeira(V), mas a sua recproca q p talsa(l-).

e
-

p : Se Carlos no pobre, ento no professor

p-q

q *p

p-*---q

q---p

INICIAO LGICA MATEMTICA 61

(3) Seja achar a contrapositiva da condicional: Se x menor que zero, ento x no positivo. Representando por p a proposio x menor que zero e por q a proposio x positivo, a condicional dada sob forma simblica escreve-se: p - q, e por conseguinte a sua contrapositiva : q-p q-* p isto , em linguagem corrente: Se x positivo, ento x no menor que zero. (4) Seja demonstrar a proposio condicional: p - q : Se x2 mpar, ento x mpar A contrapositiva desta condicional : -q- --p : Sex par, ento x2 par que vamos demonstrar ser verdadeira. Com efeito, suponhamos x par, isto , x = 2n(n E Z). Corno x2 = 2.2n2 segue-se que x2 par. Logo, a contrapositiva verdadeira, e por conseguinte a proposio condicional dada p -+ q tambm verdadeira. (5) Determinar: (a) A contrapositiva da contrapositiva de p - q (b) A contrapositiva da recproca de p -+ q (c) A contrapositiva da contrria de p * q Resoluo (a) A contrapositiva de p* q q*p. E a contrapositiva de (b) A recproca de p - q q- p. E a contrapositiva de q - p: p - q. (e) A contrria de p -+ q p -* q. E a contrapositiva de p -* --q : qpq-p. Observe-se que a recproca e a contrria so cada uma a contrapositiva da outra e que a condicional e a contrapositiva so cada uma a coritrapositiva da outra.

(6) Determinar:
(a) A contrapositiva de p - (b) A contrapositiva de p -+ q (e) A contrapositiva da recproca de p - (d) A recproca da contrapositiva de p 62 EDGARD DE ALENCAR FILHO

Resoluo (a) A contrapositiva de p -+ q : qpq--p

(b) A contrapositiva de p - q : (c) A recproca de p - q -q -+ p. E a contrapositiva de q - p : p-qp-q (d) A contrapositiva de p * q : -q--p q-p Earecprocadeq-+p p-*q. (7) Determinar: (a) A contrapositiva da recproca de x = O -+ x < 1 (b) A contrapositiva da contrria de x < 1 -* x < 3 Resoluo (a) A recproca de x = O - x < 1 x < 1 -* x = O. E a contrapositiva desta recproca x _ O - x < 1. (b) A contrria de x<1 x<3 x<1 -*x<3. E a contrapositiva desta contrria x <3 - x < 1. 6. NEGAO CONJUNTA DE DUAS PROPOSIES Definio Chama-se negao conjunta de duas proposies p e q a proposio no p e no q, isto , simbolicamente --p A A negao conjunta de duas proposies p e q tambm se indica pela notao p . q. Portanto, temos: p4 q=pA q Como a proposio --p A q verdadeira somente no caso em que p e q so ambas falsas, ento, a tabela-verdade de p q a seguinte: p q p4q VVF VFF FVF FFV
INICIAO LGICA MATEMTICA 63

7. NEGAO DISJUNTA DE DUAS PROPOSIES Definio Chama-se negao disjunta de duas proposies p e q a proposio no p ou no q, isto , simbolicamente --p V q. A negao disjunta dc duas proposies p e q tambm se indica pela notao p t q. Portanto, temos: ptq==-pV q Como a proposio --p v q falsa somente no caso em que p e q so ambas verdadeiras, ento, a tabela-verdade de p t q a seguinte: p q ptq VVF VFV FVV FFV Os sfmbolos t so chamados conectivos de SCHEFFER.

EXERCCIOS
1. Mostrar que as proposies p e q so equivalentes (p ci) em cada um dos seguintes casos: (a)p:l+34; q:(l+3)216 (b) p:senO1; q:cosO0 (c) p:2 1; q:1r<4 (d) p:x=y; q:xz=yz(x,y,zER) (e) p : x par; q : x + 1 mpar (x Z) (f) p : O tringulo ABC issceles (AB AC); q : Os ngulos B e C so iguais (g) p:a.Lb; q:b.La (h) p:aIIb; q:bIIa (i) p : O tringulo ABC retngulo em A; q : a2 = b2 +

(j)

p:xE (a} ; q:x=a

64 EDGARD DE ALENCAR FILHO

2. [xprimir a bicondicional p 4* q em funo dos trs conectivos: A, V e Resoluo Temos: p q (p q) A (q -+ p) pqp V q

q -* p q V p Portanto: pq(-p v q) A (q V p). 3. [)cmonstrar por tabelas-verdade as seguintes equivalncias: (a) pA(pVq)=p (b) pV(pAq)s=p (c) pp A qp-q (d) q*p V qp_*q (e) (p A(pr)p-qA r (1) (g) (p -+r=p A --r-*-q 4. Mostrar que as proposies x = 1 V x <3 e (x < 3 A x = 1) no so equivalentes. 5. Demonstrar que o conectivo M. (ou exclusivo) exprime-se em funo dos trs conectivos --, A e V do seguinte modo: p Y q==(p V q) A -(p A q) Dem. Com efeito, as tabelas-verdade de p Y. q e (p v q) A (p A o) so idnticas: 6. Demonstrar que os trs conectivos ---, V e A exprimem-se em funo do conectivo . de SCHEFFER do seguinte modo: (a) p=pp (b) (c) pAq(p4p)l(q.q)

p q

(p

ci)

( p

q)

V V F F

V F V F F V V F

V V F F 1

V V V F 2 1 V F V F

F V V F 4

F V V V

V V F F 1

V F F F 2

V F V F 1

INICIAO LGICA MATEMTICA

65

Dem. Realmente, o que demonstram as trs tabelas-verdade seguintes:


[_]-ii p4p

(a) F F FV V

++ VFV VFV VFV FVF

4.

7. Demonstrar por tabelas-verdade que os trs conectivos , V e A exprimem -s em funo do conectivo t de SCHEFFER do seguinte modo: (a) p=ptp (b) pVq-==(ptp)t(qtq) (c) pAq=(ptq)t(ptq) 8. Sabendo que as proposies p e q so verdadeiras e que a proposio r falsa, determinar o valor lgico (V ou F) das seguintes proposies: (a) (-pq)A(qt---r) (b) ((ptq) V(qr))t(rp) (c) (p t q)--+((q r) p) (d) ((ptp)q)i.(qAr)

pq (b)

v v
F F (p q) 4(p q)

v F v F
(c)

v v F F v
F

v F

v
F
F F

+
F F

v v
F

v
F

v
F F F +

pv q

pAq

j;-:-j; j--j-

(p p) (c

66 EDGARD DE ALENCAR FILHO

9. Demonstrar que o conectivo V exprime-se em funo unicamente de pela equivalncia: p V q (p - q) -* p. 10. Demonstrar que a negao conjunta e a negao disjunta gozam da propriedade comutativa, isto : p4-q=q4.p e ptq=qfp 11. Demonstrar: ((p t -p) t (p t p)) p A p 12. Demonstrar que as seguintes proposies so contingentes: (a) (pq)(qtp) (b) (pt(qvr))*---r (e) ((pp) vq)I(-.q Ar)

Captulo 7

lgebra das Proposies


1. PROPRIEDADES DA CONJUNO
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V(verdade) e F(falsidade).

(a) Idempotente: p A p p Dem. Com efeito, so idnticas as tabelas-verdade das proposies p A p e p, ou seja, a bicondiconal p A p p tautolgica: [jpAp PAP.E-_.pJ

vv FF
(1) x_lAx#l=x#l (ii) x<OAx<O==x<O

v v
Assim, p. ex., temos: (h) Comutativa: p A q q A p Dem. Com efeito, so idnticas as tabelas-verdade das proposics p A q e q A p, ou seja, a bicondicional p A q q A p tautolgica:

v v F F v F v F

v_ v
FF FF FF

v v v v
p q pAq

qAp

pAq+*qAp

68

EDGARD DE ALENCAR FILHO

Assim, p. cx., temos: (i) x1Ax>O=x>OAx1 (ii) ir>3 A n<4e=*ir<4 A ir>3 (iii) > 1 A <3 <3 > 1 (e) Associativa: (p A q) A r p A (q A r) Dem. (um efeito, so idnticas as tabelas-verdade das proposies (p A q) A r e p A (q A r): Observe-se que a bicondicionai (p A q) A r + p A (q A r) tautolgica. Assim, p. ex., ternos: (i) (ab Ab_c)Ac<d=ab A(b*cAc<d) (ii) (x*OAX>1)Ax<3=x_OA(X>1Ax<3)
(d) Identidade: Dem. Com p, p A e e e, lgicas:

pAtp e pAc>c efeito, so idnticas as tabelas-verdade das proposies p A t e ou seja, as bicondicionais p A t 4 p e p A e ** e so tauto

VFVF FVFFF

vv vv
Estas propriedades exprimem que t e e so respectivamente elemento neutro e elemento absorvente da conjuno.

v v v v F F F F v v
F

v v
F

F v
F

v
F

v
F

v F

v v
F F F F F F

v F F F F F F

t
v
F

F F

v
F F F

v
F F F F F F F

t
e P t P e p t+p P

1
pqrpA q

(pAqjAr

qA r

pA(qr )

INICIAO LGICA MATEMTICA

69

Assim, p. ex., temos: (i) x*lAIxIO.=x*l (ii) x_1AxI<O=IxI<O 2. PROPRIEDADES DA DISJUNO Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V(verdade) e F(falsidade). (a) Idempotente: p v

pp
*

Dem. Com efeito, so idnticas as tabelas-verdade das proposies p v p e p, ou seja, a bicondicional p v p p tautolgica: Assim, p. ex., temos:

vv
FF

tt
(i) x_OVxO-=x*O (ii) xlV xl=x1

v v
(b) Comutativa: p

vqqvp

Dem. Com efeito, So idnticas as tabelas-verdade das proposies p v

qe

q V p, ou seja, a bicondicional p v q q V p tautolgica:


Assim, p. ex., temos:

vv vv vv
FF (i) x#1vxO=xOvx_l (ii) a>bv b<c==b<cv a>b

v v v v 1 pvppvp_*p
v v F F v F v F

1
p
q pv q
qv p

pvq

qvp

70 EDGARD DE ALENCAR FILHO

(c) Associativa: (p v q) v r p v (q v r) Dem. Com efeito, so idnticas as tabelas-verdade das proposies (p v ci) v r e p v (q v r):

vvvvvvv
VVFVVVV VFVVVVV VFFVVFV FVVVVVV FVFVVVV FFVFVVV FFFFFFF Observe-se que a bicondicional (p v q) v r p v (q v r) tautolgica. Assim, p. ex., temos: (i) (X_1VX2)VX<4=x_1V(X2Vx<4) (ii) (abVbc)vc<d4==a_bv(bcvc<d) (d) Identidade: pVt=t e pVc.c=p Dem. Com efeito, so idnticas as tabelas-verdade das proposies p V t e t, pV c e c, ou seja, as bicondicionais pV t*t e pVc*p so tautolgicas: p t e iLpvt pvc pv tt pvc*p VVFVVVV FVFVF V V Estas propriedades exprimem que t e e so respectivamente elemento absorvente e elemento neutro da disjuno. Assim, p. ex., temos: (i) xl V xjO=xjO (ii).x#1vIxJ<O=x_i (iii) x_OV x2 <O=x_O

pyq

(pvqjvr qvr

INICIAO LGICA MATEMTICA

71

3. PROPRIEDADES DA CONJUNO E DA DISJUNO Sejam p, q e r proposies simples quaisquer. (a) Distributivas:


(i) pA(qv r)==(pA q)v(pA r) (ii) pv(qAr)c=(pvq)A(pv r) Dem. (i) Com efeito, so idnticas as tabelas-verdade das proposies pA(qvr) e(pAq)v(pAr):

v v v
F F F F

t
v v
F F F F F F

v
F

v
F

F F F F

vvvv
VVFV VFVV VFFF FVVV FVFV FFVV FF F F Observe-se que a bicondicional p A (q v r)
*

(p A q) v (p A r) tautolgica.
A (p

(ii) Analogamente, so idnticas as tabelas-verdade das proposies p v (q A r) e (p v )

V r):

v v v
F F F F

1
v v v v v
F F F

t
v v v v v v
F F

v v v v v
F

v
F

vvvv
VVFF VFVF VFFF FVVV FVFF FFVF FFFF Observe-se que a bicondicional p v (q A r) (p v q) A (p v r) tautolgica. A equivalncia (i) exprime que a conjuno distributiva em relao disjuno e a equivalncia (ii) exprime que a disjuno distributiva em relao conjuno.

v v v v
F F F

t
1
pqr qVr pA(qVr) pAq pAr (pAq)v(pAr)

pqr

qr

pv(qAr)

pv q

pvr

(pvq)A(pvr)

Assim, p. ex., segundo (i), a proposio:


EDGARD DE ALENCAR FILHO

Carlos estuda e Jorge ouve msica ou l equivalente seguinte proposio: Carlos estuda e Jorge ouve msica ou Carlos estuda e Jorge l Segundo (ii), a proposio: Chove ou faz vento e frio (b) Absoro: Chove ou faz vento e Chove ou faz frio (i) pA(pvq).==:p (ii) pv(pAq)=p
Dem. (i) Com efeito, so idnticas as tabelas-verdade das proposies p A (p v q) e p, ou seja, a bicondicional p A (p v q) * p tautolgica: (ii) Analogamente, so idnticas as tabelas-verdade das proposies p V (p A q) e p, ou seja, a bicondicional p v (p A q) p

tautolgica:
72

equivalente seguinte proposio:

v F v F

v v
F F

t
v v v
F

v v
F F

t
v v v v
v F v F

v v
F F

1
v
F F F

v v
F F

t
v v v v
pv q

pA(pVq)

pA(pVq)p

pqpAq

pv(pApv(pAp

INICIAO LGICA MATEMTICA

73

(c) Regras de DE MORGAN (1806-1871): (i) -(pAq)--pvq (ii) pvq)==pA-q Dem. (i) Com efeito, so idnticas as tabelas-verdade das proposies (p Aq) e

pv q:

Observe-se que a bicondicional (p A q) p v q tautolgica. (ii) Analogamente, so idnticas as tabelas-verdade das proposies --(p v q)

e p A --q:
Observe-se que a bicondicional Hp V q) ** --p A q tautolgica. As Regras de DE MORGAN ensinam: (i) Negar que duas dadas proposies so ao mesmo tempo verdadeiras equivale a afirmar que uma pelo menos falsa.

(ii) Negar que uma pelo menos de duas proposies verdadeira equivale a afirmar que ambas so falsas. Estas Regras de DE MORGAN podem exprimir-se ainda dizendo que a negao transforma a conjuno em disjuno e a disjuno em conjuno. Assim, p. ex., segundo (i), a negao da proposio: a proposio: l inteligente e estuda

v v
F

F v F v F

v
F

F F

F F

v v
F

v v v

t
F

v
F v
F

v v v

v v v
F

F F F v

t
F F v v F v F v F F F v

t
No inteligente ou no estuda

p q

PAq

(p A q)

p q p v q

p q pq

(pvq)

-p

pA-q

v v
V F F V

74

EDGARD DE ALENCAR FALHO

Segundo (ii), a negao da proposio: mdico ou professor a proposio: No mdico e no professor

NOTA As Regras de DE MORGAN mostram como possvel definir a disjuno a partir da conjuno e da negao. OU a
conjuno a partir da disjuno e da negao: p v q=(---pA q) p A q --(--p v -q) 4. NEGAO DA CONDICIONAL Como p - q p V q (Cap. 6, 3, Ex. 4), temos:

v q)==.---p A
ou seja: - q) p A q Esta equivalncia tambm demonstrada pelas tabelas-verdade das proposies q) e p A q, que so idnticas: VVVFFF VFFVVV

F V VFEF FFVFVF
NOTA A condicional p - q no goza das propriedades idempotente, comutativa e associativa, pois, as tabelas-verdade das proposies p - p e p, p * q e q - p, (p -+ q) - r e p (q -+ r) no so idnticas. 5. NEGAO DA BICONDICIONAL Como p q (p -+ q) A (q - p) (Cap. 6, 3, Ex. 5), temos:
q) A(qVp)

p q

p-q

(pq)qpAq

INICIAO LGICA MATEMTICA 75

e, portanto: ou seja:

q) -(--p v q) V V p)
q) (p A q) v (q A p) -(p-_*q)=(p Aq)V (--p A q)

Esta equivalncia tambm demonstrada pelas tabelas-verdade das proposies q) e (p A q) v (p A q), qUe so idnticas: As tabelas-verdade das proposies --(p * q), p q e p q soidnticas:

Portanto, subsistem as equivalncias: q) p q p q


NOTA - A bicondicional p 4* q no goza da propriedade idempotente, pois, imediato que no so idnticas as tabelasverdade das proposies p p e p, mas goza das propriedades comutativa e associativa.

EXERCCIOS
1. Demonstrar as propriedades comutativa e associativa da bicondicional, isto :

v v
F F F

v v
F

t
v
F F

v v
F

v
F

v v
F F

v
F F F

v
F

v
F F

v v
F

v v
F

t
F F

v
F

v
F

v
F

v v
F F

v
F

v
F

v
F F

v
F

v v
F

t
F

v
F

v
F

v v
F

t
F
F

v v
F

v v
F

t
(a) pqq4---*p (b)

(p

q)

(p

q)

(p

q)

p*q

-(p+*q)

-q

pq-p

-p--q

76 2. Demonstrar por tabelas-verdade as equivalncias: EDGARD DE ALENCAR FILHO


(a) pqA r(pq) A(pr) (b)

Dem.

(a) Com

pqv r(pV (pr) efeito, so idnticas as tabelas-verdade das proposies p

qA r e

(p q) A (p
-

(h) Analogamente, so idnticas as tabelas-verdade das proposies p -+ q v (p-+q) v (p-r):

e A equivalncia (a) exprime que a condicional distributiva esquerda em relao conjuno e a equivalncia (b) exprime que a condicional distributiva esquerda em relao disjuno. A condicional no distributiva direita em relao a nenhuma dessas duas operaes (conjuno e disjuno). 3. Dar a negao em linguagem corrente da proposio: Rosas so vermelhas e violetas so azuis.
INICIAO LGICA MATEMTICA II

Resoluo Denotando por p a proposio Rosas so vermelhas e por q a proposio Violetas so azuis, a proposio dada sob forma simblica escreve-se p A q, cuja negao (p A q) p v q. Logo, a negao da proposio dada em linguagem corrente : Rosas no so vermelhas ou violetas no so azuis 4. Dar a negao em linguagem corrente de cada uma das seguintes proposies: (a) I falso que no est frio ou que est chovendo. (b) No verdade que o pai de Marcos pernambucano ou que a me gacha. (c) No verdade que as vendas esto diminuindo e que os preos esto aumen tan do. (d) No verdade que Jorge estuda Fsica, mas no Qumica. 5. Demonstrar as seguintes Regras de DE MORCAN para trs componentes: (a) (p A q A r) p vq v r (b) (pvqvr)-pAqA--r 6. Demonstrar por Induo matemtica as seguintes Propriedades distributivas generalizadas: (a) p A (qi v q v ... Vq)=(p A qi)v

(p A q2)v

...

V (p A q)

(b) pv(qIAq2A... Aqn)=(pvq1)A(pvq2)A... A(pvq)

Captulo 8

Mtodo Dedutivo
1. Todas as implicaes e equivalncias foram demonstradas at aqui pelo Mtodo das tabelas-verdade. Vamos agora exemplificar a demonstrao de implicaes e equivalncias por um mtodo mais eficiente, denominado Mtodo dedutivo. No emprego do Mtodo dedutivo desempenham papel importante as equivalncias relativas lgebra das Proposies, que, observamos, subsistem quando as proposies simples p, q, r, t (verdadeira) e c (falsa), que nelas figuram,so substitudas respectivamente por proposies compostas P, Q, R, T (tautolegia) e C (contradio).

2. EXEMPLIFICAO
(1) Demonstrar as implicaes: (i) cp (ii) p=t onde p uma proposio qualquer e e e t so proposies cujos valores lgicos respectivos so F(falsidade) e V(verdade).

Dem. Temos, sucessivamente: (i) c-+p--c Vp=tvpt (ii) Observe-se que as tabelas-verdade de e p e p * t mostram que estas condicionais so tautolgicas:

t V

c-+p

p-t

VF

FF

INICIAO LGICA MATEMTICA

(2) Demonstrar a implicao: p A q p (Simplificao) Dem. Temos, sucessivamente: P A q-p==(p A q)v p=(--pv q)v p=(-pv p)v q

=Tv q=T (3) Demonstrar a implicao: p p v q (Adio)


Dem. Temos, sucessivamente: p-p v qp v (p V q)(p v p) v qT v qT

(4) Demonstrar a implicao: (p ci) A p q (Modus ponens) Dem. Temos, sucessivamente: (p-q) A pp A (p Vq)4=(p A p)V (p A q)=CV (p A q)
-

pAiq (5) Demonstrar a implicao: (p -+ q) A q -p (Modus toliens) Dem. Temos, sucessivamente: (pq)A q=(pv q)A q==QpA q) V(qVq)

(p A V Cp A 6) Demonstrar a implicao: (p v q) A p q (Silogismo disjuntivo)


Dem. Temos, sucessicamente:

(p v q) Ap=(p A p) v (q A p)=C V(q A p)=q A pq (7) Demonstrar a implicao: p A q p v q


Dem. Temos, sucessivamente: (p v p)v (q v q)T V TT

(8) Demonstrar a implicao: p q p


-*

Dem. Temos, sucessivamente:

p-(q-p)=-pv (q-p)-pv (-qv p)=(-p v p)V q 4=TV q4=T


(9) Demonstrar a implicao: p p - q Dem. - Temos, sucessivamente:

p-*(p--q)=---pv (p-*q)-pv(--.--p v q)=p v(p v v p) V q=T v


80 EDGARD DE ALENCAR FILHO (lO) Demonstrar a implicao: p q p A r * q Dem. Temos, sucessivamente: (p-q)_*(pAr-q(p--*q)v(pAr.q) -(-p v q) v ((p A r) v q) =(-p A q) v((-pv -r) v q)

==(p A --ci) V ((-p v q) V r) =(p A q) v --(p A -q))v --r =T V r4=T (II) Demonstrar a equivalncia: p q : p A -q - e (Reduo a absurdo) Dem. Temos, sucessivamente: p Aqc(pA oJ V c(pA V q) p V qp-*q (12) Demonstrar a equivalncia: p q p V q * q Dem. Temos, sucessivamente: (--pVq)A Tpvqp-q (13) Demonstrar a equivalncia: (p -* q) A (p - -q)

Dem. Temos, sucessivarnente: (p q) A (p q) (--pv q) A (p v v (q

A q)

==pV C=p (14) Demonstrar a equivalncia: p A q -* r p * (q r) (Exportao-Importao) Dem. Temos, sucessivamente: p-(q-r)pv(q-*r)==-.-p V(-q v r)=(pv q)v r

--(p A q) v

r p A q -+ r (15) Demonstrar a equivalncia: (p - r) A (q * r) p v q Dem. Temos, sucessivamente: (p-+r) A(q-r)==(pv r)A (qv r)==(---p A --q)V r --(p v ci) v r p v q -+ r

(16) Demonstrar a equivalncia: (p - q) v (p -* r) p -+ q v r Dem. Temos, sucessivamente: (p-+q) v (p*r) =(p V q) V (-.-p v r)(p v --p) v(q v r) p v (q v r) p q V r

INICIAO LGICA MATEMTICA 81

(17) Demonstrar a equivalncia: (p - r) v (q -* s) p A q (p-r) v (q*s) =(-p V r) (pA q)v (rV s)pA q-.rV s (18) Demonstrar as equivalncias: (a) p=pp (b) pAq(pp)(qlq) (e) pvq=(pq)(pq) (d) p_*q((pp)4q)4((p4-p)4q) Dem. Temos, sucessivamente:

r V s Dem. Temos, sucessivamente:

v (qv s)==(p v q)V (rV s)

(a)
(h) p A qp A qp q==(p p)(q q) (c) p v (1(PA q)-(p q)=(p q) 4 (p q) (d) pqp v q(pA q)(p A q) q) (p 4 q)=((p p) q) 4 ((p4 p) 4 q) (19) Demonstrar as equivalncias: (a) p==ptp (b) pAq4=(ptq)t(ptq) (c) pvq=(ptp)t(qtq) (d) p-+q==pf(qtq)

Dem. Temos, sucessivamente:


(a) p-pv -p==pfp (b) p A v -q)=(p t q)(p t q) t (pt q (c) pvqpvqpt-q==(ptp)t(qtq) (d) p-q=pV q==pV qptq=>pt(q q)

3. REDUO DO NMERO DE CONECTIVOS

Teorema Entre os cinco conectivos fundamentais (, A V trs exprimem-se em termos de apenas dois dos seguintes pares:
, , -,

(1) e V (2)
, *

e A (3)

-*

Dem. Com efeito: (1) A e * exprimem-se em termos de e V p A q --p A ---q -(p V -q)
p_*qp V q

pq=(p-qJ A(qp)(--p v q) v (---qv p))


82 ,inij iJ i,,r1 riLi-lu

(2) V , e 4* exprimem-se em termos de - e A pvq-pV-q-(---pA----q) p-*q--p v q=--(p A -q) q)A (--p A ci) (3) A , v e exprimem-se em termos de e -* p Aq=-=-(--pV q)-(p-.-ci) p V q-----p V q-p-*q pq=(p-*q) A(q-p)==---((p-q)--*---(q-*p)) Os conectivos A , V e * no se exprimem em termos de e +. O conectivo v exprime-se em funo unicamente de * pela equivalncia: p v q=(p-*qj-q. Todos os Conectivos exprimem-se em termos de um nico: ou f, conforme mostrou A. M. SCHEFFER em 1913 (2, Ex. 18 e 19).

4. FORMA NORMAL DAS PROPOSIES Definio Diz-se que uma proposio est na forma normal (FN) se e somente se, quando muito, contm os conectivos A e V
-,

Exemplificando, esto na forma normal (FN) as seguintes proposies: pA--q, --(--pv----u), (pAq)v(qvr) Toda a proposio pode ser levada para uma FN equivalente pela eliminao dos conectivos e , se existirem, isto , pela substituio de p * q por p v q e de p q por (p v q) A (p v q). H duas espcies de FN para uma proposio: a forma normal conjuntiva (FNC) e a forma normal disjuntiva (FND), que a seguir vamos definir e exemplificar.

5. FORMA NORMAL CONJUNTIVA


Definio Diz-se que uma proposio est na forma normal conjuntiva (FNC) se e somente se so verificadas as seguintes condies: (1) Contm, quando muito, os conectivos --, A e V (2) no aparece repetido (como ----) e no tem alcance sobre A e V (isto , s incide sobre letras proposicionais); (3) v no tem alcance sobre A (isto , no h componentes do tipo p V (q A r)).

INICIAO LGICA MATEMTICA

83

Exemplificando, esto na FNC as seguintes proposies: pv-q, -p AqAr, (pvA(-qV--r) Para toda proposio pode-se determinar uma FNC equivalente mediante as seguintes transformaes: (1) Eliminando os conectivos e mediante a substituio de p -* q por p v q e de p 4* q por (-p v q) A (p v q); (2) Eliminando negaes repetidas e parntesis precedidos de pelas regras da Dupla negao e de DE MORGAN;

(3) Substituindo p v (q A r) e (p A q) v r pelas suas equivalentes respectivas (p v q) A (p v r) e (pv r) A

(q v r).
bxemplos: (1) Determinar a FNC da proposio (ftp v q) A q) v (q r)) Resoluo Temos, sucessivamente: -((p v q) A q)A (q A r)=((p v q) V -q) A (-q v r).= Observe-se que uma outra FNC da proposio dada : (p v q) A (q v -r) equivalente anterior. Assim sendo, uma mesma proposio pode ter mais de urna FNC, mas equivalentes. (2) Determinar a FNC da proposio: (p - q) 4* ( q -* p) Resoluo Temos, sucessivamente: v q) V (q v -p)) A (Qp v q) v (q v p)) ((-p A q) v (q v p)) A ((p v q) v (q A -p)) ((p A q) v (q v p)) A ((p v q) v (-q A p)) (pvqvp)A(qvqvp)A(pv qv-q)A(--pv qvp) Observe-se que a proposio dada tautolgica, pois, cada elemento da sua FNC tautolgico. Realmente, o 19 elemento contm p e p, o 29 elemento contm q e -q, o 39 elemento contm q e q, e, finalmente, o 49 elemento contm p e De modo geral, tautolgica toda a proposio cujos elementos da sua FNC encerram, cada um deles, uma proposio e a sua negao, isto , cujos elementos so todos tautolgicos. 84 EDGARD DE ALENCAR HL-iu (3) Determinar a FNC da proposio: p * q v r Resoluo Temos, sucessivamente: (p-(qv r))A((qv r)-p) (pvqvr)A((qvr)vp) ( p v q V - r) A (( q Ar) v p) (-pv qV -r)A (Pv q)A (pv r) 6. FORMA NORMAL DISJUNTIVA Definio Diz-se que uma proposio est na forma normal disjuntiva (FND) se e somente se so verificadas as seguintes condies: (1) Contm, quando muito, os conectivos , A e V (2) no aparece repetido (como ) e no tem alcance sobre A e V (isto , s incide sobre letras proposicionais); (3) A no tem alcance sobre v (isto , no h componentes do tipo p A (q V r)). Exemplificando, esto na FND as seguintes proposies: pvq, pv(qAr), (pAq)v(pAqAr) Para toda proposio pode-se determinar uma FND equivalente mediante as seguintes transformaes: (1) Eliminando os conectivos * e mediante a substituio de p -+ q por pvqedep+qpor(pvq)A(pv_); (2) Eliminando negaes repetidas e parntesis precedidos de pelas regras da Dupla negao e de DE MORGAN; (3) Substituindo p A (q V r) e (p v q) A r pelas suas equivalentes respectivas (p A qv (p A r) e (p A r) v (q A r).

fremplos:
(1) Determinar a FN1 da proposio: (p - q) A (q - p) Resoluo Temos, sucessivamente: (p v q) A(qV p)((p v A q)v((pv qA p) (pAv(qAv(_pAp)v(pAq) Observe-se que urna outra FND da proposio dada (-p A q) v (p A q), equivalente anterior. Portanto, uma mesma proposio pode ter mais de uma FND, mas equivalentes. INICIAO LGICA MATEMTICA 85

(2) Determinar a FND da proposio: (((p v ci) A ci) v (q A r)) Resoluo - Temos, sucessivamente: ((pv q) A q) A (qA r)= (pvq)v)A(qVr)= ((pAv)A(qvr)= (((-p A q) v q) A o) v (((-p A-q) v q) A --r) Observe-se que uma outra FND da proposio dada : (p A v (p A q A r) v (q A r) equivalente anterior. Importa notar que contravlida toda a proposio cujos elementos da sua FND encerram, cada um deles, uma proposio e a sua negao, isto , cujos elementos so todos contravlidos. 7. PRINCPIO DE DUALIDADE Seja P uma proposio que s contm os conectivos , A e V . A proposio que resulta de P trocando cada smbolo A por V e cada smbolo v por A chama-se a dual de P. Assim, p. ex., a dual de ((p
A o) v r) ((p v q) A -- r).

Princpio de dualidade: Se P e Q so proposies equivalentes que s contm os conectivos - A e v , ento as suas duais respectivas P1 e Q1 tambm so equivalentes. Assim, p. ex., da equivalncia p A (p v q) p deduz-se, pelo Princpio dc dualidade, a equivalncia p v (p A q) p. Analogamente, a partir de (p A p) v q q deduz-se, pelo Princpio dc dualidade: (p v p) A q q.

EXERCCIOS 1. Demonstrar as equivalncias:


(a) p A (p v q) p (b) p v (p A q) p Dem. Temos, sucessivamente: (a) pA(pvq)(pvc)A(pvq)pV(cAq)pVcP

(b) pv(pAq)e=(pA t)v(pAq)=pA(t vq)==pAt=-=p


- - --

86 EDGARD DE ALENCAR FILHO

2. Simplificar as proposies: (a) (p q) (b) (p v q v (p A q) Resouo Temos, sucessivamente: (a) (b) (p vq)v

(p A)=(p A-q)V

(-pA q)pA(qV q) A T=p

3. Simplificar as proposies:
(a) -(p v q) (b) A q) (c) &pvq) (d) (pvq)A p (e) (p-q)A (p-*q) (f) pA (pq)A (p-q) 4. Demonstrar a equivalncia: p * q ((p f p) t (p t p)) t (q t ci)

5. Usar o Mtodo dedutivo para demonstrar:


(a) pA--pq (b) --p--pp (e) p-*p Aqp-q (d) (p-1-+q=p v q (e) (p-r)v(q-r)=p A q-r

(p- r)=p-q Ar 6. Demonstrar: ptq q)) 7. Determinar uma forma normal conjuntiva (FNC) equivalente para cada uma das seguintes proposies: (a) p-q (b) p*--p (e) p+--p (d) pvp (e) ptq (f) ptp
(f) (p-q)

(g) pt-p (h) pq (i) (p Ap)4(qAq) (j) (--p Aq) q (k) (ptq)*p (1) -p(qvp) (m) pt-(q r) (n) ((-pt-q))4(r-.-p) 8. Determinar uma forma normal disjuntiva (FND) equivalente para cada uma das seguintes proposies: (a) (-pv-q) (b) (p-.q) (c) (p-*q)i\ p (d) -(p v q) (e) (p - c) v p (f) (p A q) (g) pv p (h) p-+---p (i) ptq (j) p4q (k) ptp (1) pt---p

Captulo

Argumentos. Regras de Inferncia


1. DEFINIO DE ARGUMENTO
Sejam P, P2 P (n 1) e Q proposies quaisquer, simples ou compostas. Definio Chama-se argumento toda a afirmao de que uma dada sequncia finita P , P1 (n 1) dc proposies tem como consequncia ou acarreta uma proposio final Q. As proposies P1, P2, . . . , P dizem-se as premissas do argumento, e a proposio final Q diz-se a concluso do argumento. Um argumento de premissas P1, P2 P e de concluso Q indica-se por: P1,P2,...,PHQ e se l de uma das seguintes maneiras: (i) P1, P2, . n acarretam Q (ii) Qdecorrede P1,P2 (iii) Qsededuzdc P,,P2,. - . ,P (iv) Q se infere de P1 , P2, . . , P Um argumento que consiste em duas premissas e uma concluso chama-se silogismo. 2. VALIDADE DE UM ARGUMENTO Definio Um argumento P1, P, . . . , P 1 Q diz-se vlido se e somente se a concluso Q verdadeira todas as vezes que as premissas P1 , P2, . - , Pn 5O verdadeiras.
88 EDGARD DE ALENCAR FILHO

Em outros termos, um argumento P1, P2, . . , P 1 Q vlido se e somente se l)r V o valor lgico da cbncluso Q todas as vezes que as premissas P1, P2, . tiverem o valor lgico V. Portanto, todo argumento vlido goza da seguinte propriedade caracterstica: A verdade das premissas incompatvel com a falsidade da concluso. Um argumento no-vlido diz-se um sofisma. Deste modo, todo argumento tem um valor lgico, digamos V se vlido (correto, legtimo) ou F se um sofisma (incorreto, ilegtimo). As premissas dos argumentos so verdadeiras ou, pelo menos admitidas como tal. Alis, a Lgica s se preocupa com a validade dos argumentos e no com a verdade ou a falsidade das premissas e das concluses.

A validade dc um argumento depende exclusivamente da relao existente entre as premissas e a concluso. Portanto, afirmar que um dado argumento vlido significa afirmar que as premissas estio de tal modo relacionadas com a concluso que nfio possvel ter a concluso falsa se as premissas so verdadeiras.

3. CRITRIO DE VALIDADE DE UM ARGUMENfO


Teorema Um argumento P1, P2 P F Q vlido se e somente se a condicional: (P1 A P2 A ... A Pn)-Q (1) tautolgica. Dem. Com efeito, as premissas P1, P2, . . . , P so todas verdadeiras se e somente se a proposio P1 A P2 A . . . A P verdadeira. Logo, o argumento P1, P2 P i Q vlido se e somente se a concluso Q verdadeira todas as vezes que a proposio P1 A P2 A . . . A P verdadeira, ou seja, se e somente se a proposio P1 A P2 A . .. A P implica logicamente a Concluso Q: P1 A P2 A ... A P Q ou, o que equivalente, se a condicional (1) tatolgica.

NOTA Se o argumento P1 (p, q, r P(p, q, r,. Q(p, q, r,...)


, . .) f

vlido, ento o argumento da mesma forma: P1(R, 5, T , P1(R, S, T,...) Q(R, S, T,...) tambm vlido, quaisquer que sejam as proposies R, S, T, . .
INICIAO LGICA MATEMTICA 89

Exemplificando, do argumento vlido pFp V q (1) segue-se a validade dos argumentos: (p A r) H(-p A r) V (-s- r);

(p-r v s)(p--*r V s) V (-r As) pois, ambos tm a mesma forma de (1). Portanto, a validade ou no-validade de um argumento depende apenas da sua forma e no de seu
contedo ou da verdade e falsidade das proposies que o integram. Argumentos diversos podem ter a mesma forma, e como a forma que determina a validade, lcito falar da validade de uma dada forma ao invs de falar da validade de um dado argumento. E afirmar que uma dada forma vlida equivale a asseverar que no existe argumento algum dessa forma com premissas verdadeiras e uma concluso falsa, isto , todo argumento de forma vlida um argumento vlido. Vice-versa, dizer que um argumento vlido equivale a dizer que tem forma vlida.

4. CONDICIONAL ASSOCIADA A UM ARGUMENTO


Consoante o Teorcma anterior (3), dado um argumento qualquer: a este argumento corresponde a condicional: (P1 A P2A ... APn)*Q cujo antecedente a conjuno das premissas e cujo consequente a concluso, denominada condicional associada ao argumento dado. Reciprocamente, a toda condicional corresponde um argumento cujas premissas so as diferentes proposies cuja conjuno formam o antecedente e cuja concluso o consequente. Exemplificando, a condicional associada ao argumento: p A q, p>----r, qV sH -..(r V s) e
A q) A (p-+r)A (qv s)--(r v s) e o argumento correspondente condicional: (p-qVr)A--sA(qvr-s)-(s-*pA-q) e

(p

p-+qVr, s, qVr*sHs--pAq
90 EDGARD DE ALENCAR FILHO

5. ARGUMENTOS VLIDOS FUNDAMENTAIS So argumentos vlidos fundamentais ou bsicos (de uso corrente) os constantes da seguinte lista: 1. Adio (AD):

(1) pipvq; (ii) pfqvp II. Simplificao (SIMP):

(i) pA qip; (ii) p Aqq III. Conjuno (CONJ): (i) p, q i p A q; (ii) ), (J [ l A p IV. Absoro (ABS): p q F p (p A l)
-* -

V. Modus ponens (MP): p-+q, pFq VI. Modus toliens (MT):


p*q, qH-p

VII. Silogismo disjuntivo (SD): (i) pv q, --pi-----q; (ii) pv q, qH-p VII!. Silogismo hipottico (SH): p-q, q-rI---p-+r

IX. Dilema construtivo (DC): p-+q, r-s, pVrIqvs


INICIAO LGICA MATEMTICA 91

X. Dilema destrutivo (DD):

p-q, r-*s, qV---sI--pV--r


A validade destes dez argumentos consequncia imediata das tabelas-verdade construdas no Captulo 5 e do Teorema anterior. 6. REGRAS DE INFERNCIA Os argumentos bsicos da lista anterior so usados para fazer inferncias, isto , exccutar os passos de uma deduo ou demonstrao, e por isso chamam-se, tambm, regras de inferncia, sendo habitual escrev-los na forma padronizada abaixo indicada colocando as premissas sobre um trao horizontal e, em seguida, a concluso sob o mesmo trao. 1. Regra da Adio (AD); (i) P (ii) P

pvq qVp
lI. Regra de Simplificao (SIM?): (i) (ii) PA p III. Regra da Conjuno (CONJ): (i) (ii) P qq pq qAp IV. Regra da Absoro (ABS): p->q

p (p A q)
-*

V. Regra Modus ponens (MP): p-q p q


92 EDGARD DE ALENCAR FILHO

VI. Regra Modus toilens (MT):


p-q

Vil. Regra do Silogismo disjuntivo (SD): (i) pvq (ii) pvq 1 VIII. Regra do Silogismo hipottico (SH): pq q-*r p-*r IX. Regra do Dilema construtivo (DC):

p-*q

pV r qV s X. Regra do Dilema destrutivo (DD): p-*q r - s q v --s p V -r Com o auxilio destas dez regras de inferncia pode-se demonstrar a validade de um grande nmero de argumentos mais complexos. 7. EXEMPLOS DO USO DAS REGRAS DE INFERNCIA Damos a seguir exemplos simples do uso de cada uma das regras de inferncia na deduo de concluses a partir de premissas dadas. 1. Regra da Adio Dada uma proposio p, dela se pode deduzir a sua disjuno com qualquer outra proposio, isto , deduzir p v q, ou p v r, ou s V p, ou t V p, etc.
INICIAO LGICA MATEMTICA 93

Eemplos. (a) (1) p P (b) (1) p P (2) pv --q (2) qv --p (c) (1) p A q P (d) (1) p v q P (2) (p A q) v r (2) (r A s) v (p v cij (e) (1) x_O P (f) (1) x<1 P x*OV x_1 (2) x=2V x<1 II. Regra da Simplificao Da conjuno p A q de duas proposies se pode deduzir cada urna das proposies, p

ou q.

Exeniplos:
(a) (1) (p v q) A r P (b) (1) p A q P (2) pvq (2) -q (c) (1) x>OAx_1 P (d) (1) xEAAxEB P (2) x*1 (2) xA III. Regra da Conjuno Permite deduzir de duas proposies dadas p e q (premissas) a sua conjuno p A q ou q A p (concluso).

Exemplos:
(a) (1) pV q P (b) (1) pV q P (2) --r P (2) qvr P

(3) (pv q)Ar (3) (pv q)A(qv r) (c) (1) x<S P (d) (1) xEA P (2) x>1 P (2) xB P (3) x>lAx<5 (3) xBAxEA
EDGARD DE ALENCAR FILHO

IV. Regra da Absoro Esta regra permite, dada uma condicionai como premissa, dela deduzir como concluso uma outra condicional com o mesmo antecedente p e cujo consequente a conjuno p A q das duas proposies que integram a premissa, isto , p - p A q.

:re,nplos:
V. Regra Modus ponens Tambm chamada Regra de separao e permite deduzir q (concluso) a partir de p q e p (premissas).

xcmp1os: (e) (1) x_Ox+y>1 (2) x_O (d) (1) pv r-*sA--q (2) --pv r
VI. Regra Modus toilens Permite, a partir das premissas p - q (condicional) e q (negao do consequente), deduzir como concluso p (negao do antecedente).

(b) (1) p-----q (2) q (d)


94

(a) (1) x=2-+x<3 (2) x=2*x=2Ax<3 P (b) (1) xEA-.xEAUB P


(2) XEA-XEAAXEAUB

(a) (1) p--q P (2) p P


(b) (1) pAq-*r P (2) pAq P

(e) (3) r (3) LiA r P P p P

(3) x+y>1 (f) (3) xeA Exemplos: (a) (1) qAr*s P (2) -s P (e) P P (3) p (3) x=O

(3) (1) (2)

-q p-.qAr p P P

(3) (1)

sA-q P P

xeAflB*xEA xEAflB (2)

(3) (1) (2)

-(qA r) pqVr -(qvr) P P

(3)

(1)

x_Oxrry

(2)

x*y

INICIAO LGICA MATEMTICA

95

VII. Regra do Silogismo disjuntivo Permite deduzir da disjuno p v q dc duas proposies e da negao p (ou ci) de uma delas a outra proposio q (ou p). Jivemplos: (3) pAq
(c) (1) x=Ovx=I

(2) x_l
VIII. Regra do Silogismo hipottico Esta regra permite, dadas duas condicionais: p - q e q - r (premissas), tais que o consequente da primeira coincide com o antecedente da segunda, deduzir uma terceira condicional p * r (concluso) cujo antecedente e consequente so respectivamente o antecedente da premissa p q e o consequente da outra premissa q r (transitividade da seta i-v(-nlp1os:

(a) (1) p--*q P (2) q>--r P (c) (b) (1) p-qvr (2) qvr-*----s (3) p--*---s (d) (1) xI=O-*x=O (2) x=O*x+1=l P P

(3) IxI=O-*x+ll 1X. Regra do Dilema construtivo Nesta regra, as premissas so duas condicionais e a disjuno dos seus antecedentes, e a concluso a disjuno dos consequentes destas condicionais. P (b) (1) x<y*x=2 P (2) x<y-*x>2 P (3) x<yvx<y P P P (a) (1) (pAq)vr (2) r P P
(b) (1) pV q (2) p

P P P (d) (3) x=O (3) r (3) (p*q)--(qAs)


j)

Evemplos: (a) (1) (p A q)r (2) s-+t (3) (pAq)vs (4) rVt (4) x=2Vx>2

(3)

(1)

(pci)v
-.-(p-*q)

(2)

(3) (1)

p-*r (p--ci)--*r P P

(2)

r-(qAs)

96 EDGAAD DE ALENCAR FILHO

X. Regra do Dilema destrutivo . Nesta regra, as premissas so duas condicionais e a disjuno da negao dos seus consequentes, e a concluso a disjuno da negao dos antecedentes destas condicionais.
I.Vctflp1os:

(a) (1) q-r P (b) (1) xy=7*x=2 P

(2) p-*-s P (2) yx=2-x=3 P


(3)-rV--s P (3) x2Vx3 P (4) qvp (4) x+y_7Vy-x2 EXERCCIOS 1. Construir a condicional associada a cada um dos seguintes argumentos: (a) p, q-pHq (b) pq(pAq) (c) p, p-+ q, --q v (r A s)F_ r As (d) x=yx5, x=Sx<zx=yx<7

2. Construir o argumento (premissas e concluso) correspondente a cada uma das seguintes condicionais:
(a) p A(qV p)-.q (b) (p-+q)A (p -q)-*s (c) (x<OAy_x)-+x<OV y=x 3. Indicar a Regra de inferncia que justifica a validade dos seguintes argumentos: (a) pq(pq)v r (b) pA(q-r)f_-_p (c) p-q, q-*--r----- p*--r (d) p-(q-r), pFq-r (c)(qvr)-*-p, -pF--(qvr)

(f) p-+q, r---sf----_(p-q) A(r-*--s)


(h) pqv rFp-+pA(qv r) (i) x+yzy+xz; x+yzy+xz

(j)

x,yER-*x-i-yeR, x-t-yRt----x,yR (k) xO, x_l---x_OAx_1


INICIAO LGICA MATEMTICA 97

(1) 3<5H3<5V3<2 (m) x<OVx=l, x_1Hx<O


(n) x= 1 -+x<3, x<3-+x+y<5[-x= 1 -x+y<5 (o) ir>3Aii<45g<4 4. Usar a regra Modus ponens para deduzir a concluso de cada um dos seguintes pares de premissas: (a) (1) x=yAy=t (b) (1) x,yR*xyER

(2) (x=yA y=z)-*x=z (2) x,yeR (c) (1) (x>yA y>z)-x>z (d) (1) 2>l-*3>l (2) x>yAy>z (2) 2>1 (e) (1) x+12 (f) (1) x-t-O=y-x=y (2) x+l=2*y+l=2 (2) x+O=y 5. Usar a regra Modus toliens para deduzir a concluso de cada um dos seguintes pares de premissas:
(a) (1) x_O*x+y_y (b) (1) x=z-*x=6

(2) x+y=y (2) x6


(c) (1) (p*q)--.-(rAs) (d) (1) x>3*x>y

(2) ---(rAs) (2) x>y


6. Usar a regra do Silogismo disjuntivo para deduzir a concluso de cada um dos seguintes pares de premissas: (a) (1) x+8=l2Vx_4 (b) (1) y<6Vxy<lO (2) x+8_12 (2) xy<1O (c) (1) s V (r A t) (d) (1) --pv q

(2) s (2) q
7. Usar a regra do Silogismo hipottico para deduzir a concluso dc cada um dos seguintes pares de premissas: (a) (1) p-rv---s (b) (1) x=3-x<y (2) r \ s-t (2) x<y-*x*z

(c) (1) sVt-rAq (d) (1) xy=6-*xy+511 (2) rAq-*-p (2) xy+511*y=2

98 EDGARD DE ALENCAR FILHO

8. Usar a regra do Dilema construtivo para deduzir a concluso de cada um dos seguintes ternos de premissas: (a) (1) p-r (b) (1) x=5V x<y (2) q--*-s (2) x=5-x>3 (3) pv--q (3) x<y*t<2

(c) (1) y=O-+xy=O (d) (1) x=2-+x2=4


(2) y>l -xy>3 (2) x=2V y=3 (3) y=OVy>1 (3) y=z3y2=9

9. Usar a regra do Dilema destrutivo para deduzir a concluso de cada um dos seguintes ternos de premissas: (a) (1) p A q-r (b) (1) p*---r A q (2) q-r As (2) (-r A q) v -s
(3) -rV (r As) (3) -q-s (c) (1) x<3-.x_y (d) (1) y_9Vy_l8 (2) x>4-*x<y (2) x=2-+y=9 (3) xyvx<y (3) x=8-y=l8

Captulo 10

Validade Mediante Tabelas -Verdade


1. As tabelas-verdade podem ser usadas para demonstrar, verificar ou testar a validade de qualquer argumento. Dado um argumento: P1,P2,.. ,PiQ (1)
cumpre constatar se ou no possvel ter V(Q) F quando V(P1) V(P2) = V(P) = V. Para isso, o procedimento prtico consiste em construir uma tabela-verdade com uma coluna para cada premissa e a concluso, e nela identificar as linhas em que os valores lgicos das premissas P1, P2, . , P so todos V. Nessas linhas, o valor lgico da concluso Q deve ser tambm V para que o argumento dado (1) seja vlido. Se, ao invs, em ao menos uma dessas linhas o valor lgico da concluso Q for F, ento o argumento dado (1) no-vlido, ou seja, um sofisma. Uma outra alternativa para demonstrar, verificar ou testar a validade do argumento dado (1) consiste em construir a condicional associada:
(P1AP2A ... AP11)-Q

e reconhecer se esta condicional ou no uma tautologia mediante a construo da sua respectiva tabelaverdade. Sc esta condicional tautolgica, ento o argumento dado (1) vlido. Caso contrrio, o argumento dado (1) um sofisma. 2. EXEMPLIFICAO
(1) Verificar se vlido o argumento: p - q, q jp Resoluo Construamos a seguinte tabela-verdade:
4-3

p V V F F

q V F V F

p *q

V F V V

100 EDGARD DE ALENCAR FILHO

As premissas do argumento dado figuram nas colunas 2 e 3, e a concluso figura

na coluna 1. As premissas so ambas verdadeiras (V) nas linhas 1 e 3. Na linha 1 a concluso tambm verdadeira (V), mas na linha 3 a concluso falsa (F). Logo, o argumento dado no vlido, ou seja, um sofisma, pois, a falsidade da concluso compatvel com a verdade das premissas. Observe-se que esta forma de argumento no-vlido apresenta certa semelhana com a forma de argumento vlido Modus ponens. Tem o nome de Sofisma de afirmar o consequente. (2) Verificar se vlido o argumento: p -+ q, ----pi q Resoluo Construamos a seguinte tabela-verdade: As premissas do argumento dado figuram nas colunas 3 e 4, e a concluso figura na coluna 5. As premissas so ambas verdadeiras (V) nas linhas 3 e 4. Na linha 4 a concluso tambm verdadeira (V), mas na linha 3 a concluso falsa (F). Logo, o argumento dado no vlido, ou seja, um sofisma. Observe-se que esta forma de argumento no-vlido apresenta certa semelhana com a forma de argumento vlido Modus tollens. Tem o nome de Sofisma de negar o antecedente. (3) Verificar a validade do argumento: p - q, q 1 p Resoluo Construamos a seguinte tabela-verdade: 4-1 As premissas do argumento dado figuram nas colunas 2 e 3, e a concluso figura na coluna 1. As premissas so ambas verdadeiras (V) somente na linha 1, e nesta linha a concluso tambm verdadeira (V), isto , no possvel ter premissas verdadeiras e concluso falsa. Logo, o argumento dado vlido.
4-3 4-4

p V V F F

q V F V F

p-q

V F V V

F F V V

F V F V

p*q V F F V

VV VF FV FF

INICIAO LGICA MATEMTICA

(4) Testar a validade do argumento: p v q, p -* r 1 r Resoluo Construamos a seguinte tabela-verdade:

As premissas do argumento dado figuram nas colunas 4, 5 e 6, e a concluso figura na coluna 3. As trs premissas so verdadeiras (V) somente na linha 3, e nesta linha a concluso tambm verdadeira (V), isto , no possvel ter premissas verdadeiras e concluso falsa. Logo, o argumento dado vlido. (5) Testar a validade do argumento:
Se x=O e y=z, entoy>l
y>1

Portanto, y z Resoluo Representando as trs proposies simples x = O, y = z e y> 1 respectivamente por p, q e r, o argumento dado sob forma simblica escreve-se: pAqr, ri-----q

Posto isto, construamos a seguinte tabela-verdade:


101

4-3

4-8

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

pv q V V V V V V F F

q F F V V F F V V

p-r

V F V F V V V V

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

p q V V F F F F F F

pAq-r V F V V V V V V

--r F V F V F V F V

q F F V V F F V V

102 EDGARD DE ALENCAR FILHO

As premissas do argumento dado figuram nas colunas 5 e 6, e a concluso figura na coluna 7. As premissas so ambas verdadeiras (V) nas linhas 4, 6 e 8. Nas linhas 4 e 8 a concluso tambm verdadeira (V), mas na linha 6 a concluso falsa (F), isto , a falsidade da concluso compatvel com a verdade das premissas. Logo, o argumento dado no vlido, ou seja, um sofisma. NOTA Para demonstrar que um argumento no-vlido basta encontrar um argumento da mesma forma e que tenha, no entanto, premissas verdadeiras e concluso falsa. Esta maneira de demonstrar a no-validade dc um argumento chama-se Mtodo do contra-exemplo. Fxcmplificando, o seguinte argumento tem a mesma forma do que foi dado: Se 1 = O e 0 O, ento 0> 1 0>1 Portanto, O _ 0 A primeira premissa verdadeira (V), porque o seu antecedente falso, e a segunda premissa obviamente verdadeira (V), mas a concluso claramente falsa (F). Logo, este argumento um contra-exemplo que prova que o argumento dado novlido (sofisma). (6) Verificar se vlido o argumento: p - q, p i q Resoluo A condicional associada ao argumento dado : ((p-+q) A p)*--q Construamos a tabela-verdade desta condicional:

Na ltima coluna desta tabela-verdade figuram as letras V e F. Logo, a condicional associada no tautolgica e por conseguinte o argumento dado no vlido, ou seja, um sofisma. Chega-se a mesma concluso observando que as premissas do argumento dado so ambas verdadeiras (V) na linha 1 e que nesta linha a concluso falsa (F).

p V

q V

p F

p q V

(pq)A p

q F

((p A p)q

V F F

F V F

F V V

V V F

V F F

V F V

V V V

INICIAO LGICA MATEMTICA

103

(7) Verificar se vlido o argumento: p - q p -* q V r Resoluo - A condicional associada ao argumento dado :

(p -* q) -+ (p * q v r)

Construamos a tabela-verdade desta condicional:


45 47

Na ltima coluna desta tabela-verdade figura somente a letra V (verdade). Logo, a condicional associada tautoigica e por conseguinte o argumento dado vlido. Chega-se a mesma concluso observando que a premissa do argumento dado verdadeira (V) nas linhas 1, 2, 5, 6, 7 e 8, e em cada uma destas linhas a concluso verdadeira (V). (8) Testar a validade do argumento: Se x=O, entox-I-y=y Se y=z, entox-I-y_y Logo, se x=O, entoy#z
Resoluo Representando as trs proposies simples x = O, x -F y = y e y = z respectivamente por p, q e r, o argumento dado sob forma simblica escreve-se: p-q, r----qjp-*----r Ento, a condicional associada ao argumento dado :

(p - a)

A (r

ci) (p
-

pqr VVV V V

p q V

qv r

pq v r

(p(pqv r)

VVF VF VF FVV FVF FFV FFF V F

V F F V V V V

V V F V V V F

V V F V V V V

V V V V V V V

EDGARD DE ALENCAR FILHO

Posto isto, construamos a tabela-verdade desta condicional a fim de reconhecer


se OU flUO uma tautologia: 4-6
4-7

48

Na coluna 5 desta tabela-verdade figura somente a letra V (verdade). Logo, a condicional associada tautolgica e por conseguinte o argumento dado vlido. Chega-se ao mesmo resultado observando que as premissas do argumento dado so ambas verdadeiras (V) nas linhas 2, 6, 7 e 8, e em cada uma destas linhas a concluso tambm verdadeira (V). (9) Testar a validade do argumento:
Se 8 no par, ento 5 no primo Mas 8 par ______________________

Logo, 5 primo Resoluo Cumpre, em primeiro lugar, passar o argumento dado para a forma simblica. Representando por p a proposio 8 par e por q a proposio primo, temos: p-+-q, piq Posto isto, construamos a seguinte tabela-verdade:
104

v v F

F v F v F F F v v F v F v

v v
F

( p

uj

(r

-*

q)

-*

(p

-*

jr)

F V VV VV VF VF FV FV FV FV V F F V V F F V F F F V V V 2 3 5 3 VFFVVF FVFVVV VVVVVF FVVVVV VFFVFV FVFVFV VVVVFV FVVVFV F V F V F V F V

-p

p-+--q

INICIAO LGICA MATEMTICA 105

As premissas do argumento dado figuram nas colunas 1 e 5, e a concluso figura na coluna 2. As premissas so ambas verdadeiras (V) nas linhas 1 e 2, mas na linha 2 a concluso falsa (F). Logo, o argumento dado um sofisma, embora tenha premissas e concluso verdadeiras. (10) Verificar a validade do argumento: Se 7 menor que 4, ento 7 no primo 7 no menor que 4 Logo, 7 primo Resoluo Seja p a proposio 7 menor que 4 e q a proposio 7 primo. Ento sob forma simblica o argumento dado escreve-se: p----q, -pi---q Posto isto, construamos a seguinte tabela-verdade:

As premissas do argumento dado figuram nas colunas 4 e 5, e a concluso figura na coluna 2. As premissas so ambas verdadeiras (V) nas linhas 3 e 4, mas na linha 4 a concluso falsa (F). Logo, o argumento dado um sofisma, embora tenha premissas e concluso verdadeiras. (11) Verificar se vlido o argumento: Se 7 primo, ento 7 no divide 21 7 divide 21 Logo, 7 no primo Resoluo Representando por p a proposio 7 primo e por q a proposio 7 divide 21, o argumento dado sob forma simblica escreve-se: p-*---q, qi---p

p V V F F

q V F V F

p--q

F V F V

F V V V

F F V V

106 EDGARD DE ALENCAR FILHO

Posto isto, construamos a seguinte tabela-verdade:


4-3

As premissas do argumento dado figuram nas colunas 2 e 5. e a concluso figura

na coluna 3. As premissas so ambas verdadeiras (V) somente na linha 3, e nesta linha a concluso tambm verdadeira (V). Logo, o argumento dado vlido. Observe-se que a primeira premissa e a concluso deste argumento vlido so
proposies falsas. (l2) Verificar a validade do argumento: Se chove, Marcos fica resfriado Marcos no ficou resfriado

Logo, no choveu Resoluo Representando por p a proposio Chove e por q a proposio Marcos fica resfriado, o argumento dado sob forma simblica escreve-se:

p-q, qI---.p e por conseguinte vlido, pois, tem a forma do argumento vlido Modus tollens (MT). (13) Verificar se vlido o argumento: Se um homem careca, ele infeliz Se um homem infeliz, ele morre jovem
Logo, carecas morrem jovens Resoluo Representando as proposies Ele careca, Ele infeliz e Ele morre jovem respectivamente por p, c e r, o argumento dado sob forma simblica escreve-se:

pq, q-4rI---p--r
e por conseguinte vlido, pois, tem a forma do argumento vlido Silogismo hipottico (SH).

p*--q

VVFF VFFV FVVF FFVV

r
v

s V

INICIAO LGICA MATEMTICA

107

(14) Testar a validade do argumento:


Se 8 par, ento 3 no divide 7 Ou 5 no primo OU 3 divide 7 Mas 5 primo

Portanto, 8 mpar
Resoluo Representando as proposies simples 8 par, 3 divide 7 e primo respectivamente por p, q e r, o argumento dado sob forma simblica escreve-se: p*--q, --rvq, rH--p Ento, a condicional associada ao argumento dado : ((p--q) A(r v q)A r)---p Posto isto, construamos a tabela-verdade abreviada de reconhecer se ou no uma tautologia: desta condicional a fim
4-5

Na coluna 6 desta tabela-verdade figura somente a letra V (verdade). Logo, a condicional associada tautolgica e por conseguinte o argumento dado vlido. Chega-se ao mesmo resultado observando que as trs premissas do argumento dado so ao mesmo tempo verdadeiras (V) somente na linha 5, e nesta linha a concluso tambm verdadeira (V). Note-se que a segunda premissa e a concluso deste argumento vlido so proposies falsas.

(( p

q)

(-r

v
V V

q )

r)

F F V V V V F V V V V V V 1 3 2 42 3 F F V V F F V V

F F F V V V F V F V F V F V F V

F V V F F V V F F F F F V V F F 1 5

V F V F V F V F 1 62 VF VF VF VF VV VV VV VV

F V V V F V

F
E F

108 EDGARD DE ALENCAR FILHO

3. PROVA DE NO-VALIDADE O mtodo usual para demonstrar, verificar ou testar a no-validade de um dado argumento P1,

P2,

...,

P 1

consiste em encontrar uma atribuio de valores lgicos s proposies simples componentes do argumento que torne todas as premissas P1, P2 P verdadeiras (V) e a concluso Q falsa (F), o que equivale em encontrar urna linha da tabela-verdade relativa ao argumento dado em que os valores lgicos das premissas P1, P2 P so todos V e o valor lgico da concluso Q F. l bvio que, todas as vezes que seja possvel encontrar essa atribuio de valores lgicos, sem a construo da tabela-verdade completa relativa ao argumento dado, evita-se uma boa parte de trabalho.

Exemplos:
(1) Demonstrar a no-validade do argumento: (p-q)V--(rAs), pVsFr-q Dem. Com a seguinte atribuio de valores lgicos s proposies simples componentes dc) argumento dado: VF rp 5q

os valores lgicos das duas premissas so V e o valor lgico da concluso F,


pois, temos: l Premissa: (F -+ F) v

(V A V) V V V V V F = V

2Premjssa: FV VV Concluso: V F F
-

Logo, o argumento dado no-vlido (sofisma). (2) Demonstrar a no-validade do argumento: pvq, -(--rAs), -(-pA-.-s-----.-q-*r Dem. - Com a seguinte atribuio dc valores lgicos s proposies simples componentes do argumento dado: VF pq r s
INICIAO LGICA MATEMTICA 109

os valores lgicos das trs premissas so V e o valor lgico da concluso F, pois, temos: lPremissa: V V FV V VV

2 Premissa: (---F A F) HV A F) = F = V
3a Premissa: (----V A F) = (f A V) = .-F V Concluso: F -* F = V -* F = F Logo, o argumento dado no vlido (sofisma). (3) Demonstrar que no-vlido o argumento: p A q-(p-+r)v s, p A rHp vq LJem. Atribuindo s proposies simples componentes do argumento dado os valores lgicos indicados pela tabela: VF pr q
5

resulta o valor lgico V para as duas premissas e o valor lgico F para a concluso, pois, temos: laPremissa: VAV-+(V--F)V VV-FVVV-VV 2 Premissa: V A -F V A V V Concluso: V V V = F V E = F Portanto, o argumento dado no vlido (sofisma). (4) Demonstrar que no-vlido o argumento: (1) x_O (2) x=Ov(x<lVy>x) (3) y>x-+y>l Ax+y>2 y>l-x<l Dem. Atribuindo s proposies simples componentes do argumento dado os valores lgicos indicados pela tabela: VF y>x x=O y>l x<l x+y>2
110 EDGARD DE ALENCAR FILHO

resulta o valor lgico V para as trs premissas e o valor lgico F para a concluso, pois, temos: IPrcmissa: --F=V 2Prcmissa: FV (FV V)Fv (FV F)=FVF=Fv VV 3Premissa: VVAVV-VV Concluso: V -* F F (5) Demonstrar a no-validade do argumento: (1) x23x+2=9x=lvx2 (2) x=lVx2-3x>x2 (3) 3x>x2

3x>x2Vx=l Dem. Atribuindo a todas as proposies simples componentes do argumento dado o mesmo valor lgico F, resulta o valor lgico V para as trs premissas e o valor lgico F para a concluso, pois, temos: 1Premissa: F-FV FF-FV 2Premjssa: FV F-+FF--*FV 3 Premissa: --F = V Concluso: F V F = F EXERCCIOS 1. Usar tabelas-verdade para verificar que so vlidos os seguintes argumentos: (a) p-q, r-qF----r---p (b) p-*--q, r-+p, qI-r (e) p*q, rvq, -tH---p (d) p-qvr, qI_p-r (e) p----q, p, q-+rir (f) pA-q, r-q-pAr (g) pv(qvr), p, rFq (h) p v q, p, (p A r) * q r

2. Verificar mediante tabelas-verdade que so vlidos os seguintes argumentos:


(a) p-q, q, p-rAsf-rAs (b) p-qAr, -(qAr), -p-sh---------pAs (c) p v cl, q - r, r V si s

(d) pAq*r, s-pAq, s[qvr


(e) p v q, q -+ r, p - s, sj---- r A (p v q)

INICIAO LGICA MATEMTICA 111

3. Usar tabelas-verdade para mostrar a validade dos seguintes argumentos: (a) (1) xrO-*x_y (b) (1) x=6-.x>y

(2) x=z-x=y (2) (y>5 A x_6) (3) x=z (3) y>5-*x>y


x#O :. x>y (c) (1) x#y*x_z (d) (1) y>x.xO (2) x_t-x_O (2) xyO*xO (3) x=O (3) y>x x=y .. xy_O 4. Demonstrar a no-validade dos seguintes argumentos pelo Mtodo de atribuiio de valores lgicos: (a) pq, r-s, pv sFqv r (b) (p A q), p A q-r As, s-+r lr (c) pqVr, q.E+pvr, r4+pvq, pFqv r

(d) p*qvr, s+r, pVqf---pAq


(e) (p-*q)-+r, r---SV t, (s-+t)-*u, u_p*q (f) p-*(q-r), s-+(t-*v), q*s A t, -(q Av)Hpr

5. Passar para a forma simlica e testar a validade do argumento:


Se trabalho, no posso estudar Trabalho ou passo em Fsica Trabalhei Logo, passei em Fsica

Captulo 11

Validade Mediante Regras de Inferncia


1. O mtodo das tabelas-verdade permite demonstrar, verificar ou testar a validade de qualquer argumento,

mas o seu emprego torna-se cada vez mais trabalhoso medida que aumenta o nmero de proposies simples componentes dos argumentos. Assim, p. ex., para testar a validade de um argumento com cinco (5) proposies simples componentes necessrio construir uma tabela-verdade com 2 = 32 linhas, perspectiva nada animadora. Um mtodo mais eficiente para demonstrar, verificar ou testar a validade de um dado argumento P1, P2, P Q consiste em deduzir a concluso Q a partir das premissas P1 n mediante o uso de certas regras de inferncia.
..., ,

2. EXEMPLIFICAO
(1) Verificar que vlido o argumento: p q, p A r q Resoluo Temos, sucessivamente: (1) p-q P (2) pAr P (3) p 2 S1MP (4) q l,3MP Da segunda premissa: p A r, pela Regra de Simplificao (SIMP), inferimos p. De p e da primeira premissa: p q, pela Regra Modus ponens (MP), inferimos q, que a concluso do argumento dado.
-+

INICIAO LGICA MATEMTICA 113

Assim, a concluso pode ser deduzida das duas premissas do argumento dado por meio de duas Regras de inferncia, e por conseguinte o argumento dado vlido. (2) Verificar que vlido o argumento: pAq, pvr-sI---pAs Resoluo Temos, sucessivamente: (1) pq P (2) pv r-*s P (3) p 1 SIMP (4) pvr 3 AD (5) s 2,4MP (6) p A s 3,5 CONJ Da primeira premissa: p A q, pela Regra de Simplificao (SIMP), inferimos p. De p, pela Regra da Adio (AD), inferimos p v r. De p v r e da segunda premissa: p v r -+ s, pela Regra Modus ponens (MP), inferimos s. De s e de p (linha 3), pela Regra da Conjuno (CONJ), inferimos p A s, que a concluso do argumento dado. Assim, a concluso pode ser deduzida das duas premissas do argumento dado por meio de quatro Regras de inferncia, e por conseguinte o argumento dado vlido. (3) Verificar a validade do argumento: p-(q--*r), p-q, pFr Resoluo Temos, sucessivamente: (1) p-+(q--r) P (2) p-+q P (3) p P

(4) q*r 1,3 MP


(5) q 2,3MP
(6) r 4,5MP

(4) Verificar a validade do argumento:


p*q, pAq-+r, Hpr)l-p
114 EDGARD DE ALENCAR FILHO

Resoluo Temos, sucessivamente: (1) p-q P (2) pAq-r P (3) HpAr) P (4) p-+pAq 1 ABS (5) p-*r 2,4SH (6) p*pAr 5 ABS (7) --p 3,6MT

(5) Verificar que vlido o argumento: pvq-*r, rvq-*(p-(s-+t)), pAsis--*.t Resoluo Temos, sucessivamente: (1) pvq-r P (2) rvq-(p-*(s4--t)) P (3) AS P (4) p 3 SIMP

(5) pvq 4 AD
(6) r 1,5MP (7) rvq 6 AD (8) p-(s4--t) 2,7MP (9) s+t 4,8 MP (6) Verificar que vlido o argumento: p-+-q, p-*(r----q), (.sv r)-+---q, s--r Resoluo Ternos, sucessivamente: (1) p-*-q P (2) p-*(r--q) P (3) (-s v jr) -* --q P (4) P

(5) sV--r 4 AD
(6) 3,5 MP (7) 1,6MT (8) r*---q 2,7MP (9) 6,8 MT
INICIAO LGICA MATEMTICA 115

(7) Verificar a validade do argumento:


p q-r, r-s, t--u, t,

sV ui-(p q)

Resoluo Temos, sucessivamente: (1) pAq-r P (2) r*s P (3) t----u P (4) t P (5) svu P (6) u 3,4 - MP (7) s 5,6SD (8) r 2,7MT (9) (p A a) 1,8MT (8) Verificar a validade do argumento: p-+q, q*r, s*t, pVsIrVt Resoluo Temos, sucessivamente: (1) pq P (2) q-*r P (3) s-t P (4) pvs P (5) p-+r l,2S1-i (6) rV t 3,4,5DC (9) Verificar a validade do argumento: p_*q, r-.(s-*t), rv(pvs), riqvt Resoluo Temos, sucessivamente: (1) p-*q P (2) r-.(s--t) P (3) rv(pvs) P (4) r _________ 2,4 MP 3,4 SD 1,5,6 DC

(5) s*t (6) pvs (7) qvt


116 EDGARD DE ALENCAR FILHO

(10) Verificar que vlido o argumento: p-*q, (p-r)-*s vq, p Aq-r, -s--q Resoluo Temos, sucessivamente: (1) p-q P (2) (p-r)-svq P (3) pAq-r P (4) s P

(5) P-pAq 1 ABS


(6) p-r 3,5SH (7) svq 2,6-MP (8) q 4,7 SD (11) Verificar a validade do argumento: p - q, p v (-r A --a), s - r, (p A a)F s v Resoluo Temos, sucessivamente: (1) p-*q P (2) pv(-rA------q) P (3) s-----r P

(4) (pAq) P (5) p-pAq 1 -ABS (6) p 4,5 MT


(7) -rA ---q 2,6SD (8) -r 7 SIMP (9) s 3,8 - MT (10) -sv-q 9 AD (12) Verificar a validade do argumento: p*r, q+s, -r, (pv qA(rvs)s Resoluo Temos, sucessivamente: (1) p-+r P (2) q-s P (3) r p

(4) (pvq)A(rvs) P
(5) pvq 4 SIM? (6) rV s 1,2,5 DC (7) s 3,6 SD
INICIAO

LGICA MATEMTICA 117

(13) Verificar que vlido o argumento: p-q, q-*r, r-s, s, pVtIt Resoluo Temos, sucessivamente: (1) p-q P (2) q-+r P (3) r-*s P (4) s P

(5) pvt P
(6) p-r 1,2SH (7) p-s 3,6 SH (8) p 4,7- MT (9) t 5,8 SD (14) Verificar que vlido o argumento: (p-q)A (r*s), t*u, u-*v, qv -vH-pv --t Resoluo Temos, sucessivamente:

(1) (p-+q)A (r-s) P (2) t-u P (3) u-*v P (4) qV----v P (5) t-v 2,3 SH (6) p-q 1 SIMP (7) pv t 4,5,6 DD (15) Verificar a validade do argumento: x=y*x=z, x=z-x=1, xO-x#1, x=y[x_O Resoluo - Temos, sucessivamente: (1) x=y-*x=z P (2) x=z-x=1 P (3) x=O-x#1 P (4) x=y P (5) x=y*x=1 1,2SH (6) x=1 4,5 MP

(7) x_O 3,6 MT


118 EDGARD DE ALENCAR FILHO

(16) Verificar a validade do argumento: Se x=y,entox= Se x=z,entox=t

Ou x=y ou xO
Se x=O,entox+u=1 Mas x+u_I Portanto, x = t Resoluo Temos, sucessivamente: (1) x=y-x=z P

(2) x=z-x=t P (3) x=yVx=O P (4) x=O-*x+u1 P (5) x+u_1 P (6) x=y-x=t 1,2 SH (7) x_O 4,5 MT (8) x=y 3,7 SD (9) x=i 6,8- MP
(17) Verificar que vlido o argumento: x=y-x=z, x_y-x<z, x<zv y>, y_zA x_iIy>z Resoluo Temos, sucessivamente: (1) x=y*x=z P

(2) x_y-x<z P (3) x<zvy>z P (4) y_zAx#z P (5) x_z 4 SIMP (6) x_y 1,5 MT (7) x<z 2,6 MP (8) y>t 3,7 SD
EXERCCIOS 1. Usar a regra Modus ponens para deduzir de cada um dos seguintes temos de premissas a concluso indicada: (a) (1) p-q (b) (1) p_*q

(2) qr (2) p
(3) p (3) q-r

rr
INICIAO LGICA MATEMTICA

119

(e) (1) p*qA r

(2) qAr-*s (3) p


(d) (1) p-*qvr

(2) sVt---p
(3) sVt qvr

(b) (1) x+12 (2) x-t-1=2--*y-F1=2 (3) y+l=2-*x=y (c) (1) x+O=y-*x=y (2) x+O=y
(3) x=y-x+2=y+2 xi-2=y-t-2 (d) (1) (a>bAb>c)*a>c (2) a>bAb>c (3) a>c-a>lO :. a>lO 3. Usar a regra Modus ponens para deduzir de cada um dos seguintes conjuntos de premissas a concluso indicada: (a) (1) (a=bAh=c)*ac (b) (1) p*.---q (2) a=c*c=a (2) p (3) a=bAb=c (3) -q--r
CI

(4) r--t
(c) (1) pvq

(2) p Vq-f (3) --r-+sA-t (4) sA.-t-*uVv

uvv (d) (1) -p-+q (2) q*r (3) p (4) r*----s (5) --s*t (6) t*u u
4. Usar as regras Modus ponens e Modus toilens para deduzir de cada um dos seguintes conjuntos de premissas a concluso indicada: (a) (1) p*q P (b) (1) p-*--q P

(2) p-r P (2) --q P (3) -q P (3) p r A 5 P 2. Usar a regra Modus ponens para deduzir de cada um dos seguintes ternos de premissas a concluso indicada: (a) (1) 2>l-+3>1 (2) 3>l*3>O

(3) 2>1 3>0 x=y


..

_________________

r rAs
120

EDGARD DE ALENCAR FILHO

(e) (1) p-+q P (d) (1) x#O-*y=1 P (2) q---r P (2) x=y-y=t P (3) s---r P (3) y=t-*y_1 P (4) p P (4) x=y P x=O 5. Usar as regras da Conjuno, Simplificao, Modus ponens e Modus tollens para verificar que so vlidos os seguintes argumentos: (a) pAq, p-rI-pAr

(b) -pAq, r-*p----pA-r


(e) r-p, r-q, rIpAq (d) -p-q, -(rA s), p-+rA sF-pA q 6. Usar a regra do Silogismo disjuntivo para verificar que so vlidos os seguintes argumentos: (a) p v q, ---r, q-*r _p (b) p A q, rv s, p--si r (c) p, p--q, qv rfpA r (d) -p, p v(qV r), -r---q (e) pv q, -q, p-*r A sHs 7. Usar a regra do Silogismo disjuntivo para deduzir de cada um dos seguintes ternos de premissas a concluso indicada: (a) (1) x=y v x=z (b) (1) x_O-*x_y (2) x=z-+x=6 (2) x=yvx=z (3) x#6 (3) x_z x=y :. x=O (c) (1) l+12A2+13 (d) (1) x=Ovx=y (2) 32=1 v2l*1 (2) x=y-*x=z (3) l+l=2-2l=l (3) x_z 321 .. x=O 8. Verificar que so vlidos os seguintes argumentos: (a)r-pvq, r, -pF-q (b)p-+--q, ----q, (c) pAq, p-*r, q-s[--rAs (d)p-q, q---r, pI-r (e)p-q, -q, p-rF--r (f) p-q, p-r, p q Ar

INICIAO LGICA MATEMTICA

121

(g)p-*q, q, pvrir
(h)pv --q, r---p, r--q (i) p v -q, --q, r - p [___r (j)p-q, ----q, p-rvs1_rvs (k) pv --q, -----p, -r--qF---r (1)p-+--qA r, p, s-q, SV tIt (m)pAq, p-r, rAs---t, q*s_-t 9. Verificar que so vlidos os seguintes argumentos: (a) (1) x+8l2Vx_4 (2) x4Ay<x (3) x+8= 12 A y<x-*y+8<12 y-t-8<12 (b) (1) x+2<6-x<4 (2) y<6vx-i-y<1O (3) x+y<lOAx+2<6 x<4Ay<6 (e) (1) xy*x*y+3 (2) x=y+3Vx+2y (3) x+2*yAx=5 x5Ax_y (d) (1) x<yvxy (2) x=y-*y_5 (3) x<yAy=S-+x<5 (4) y5 x<5 (e)(1) 3x+2yl8Ax+4y16 (2) x23x+2y_18 (3) x2V y3 (4) x_4.-*y*3 x4

(f) (1) x+2>5-x4


(2) x4-x+4<7 (3) x+4<7 (4) x+2>5V (5x>2A x<3)
4

x<3
122 EDGARD DE ALENCAR FILHO

(g)(I) x>5-*x=6Vx>6 (2) x_5Ax<5-*x>5


(3) x<5*x_7 (4) x=7Ax_6 (5) x=7*x_5

x>6

lO. Usar a regra da Adio para verificar que so vlidos os seguintes argumentos: (a) pvq, p-r, --rF--qvs (b) pA--q, r--q, r-sI--sv--p (c) p, q-*p, -qv r>sH-s (d) pAq-s, r, r-pAql--SVq (e) pA-q, r-*q, rvs, pvs-*tI----t li. Usar a regra da Adio para verificar que so vlidos os seguintes argumentos: (a) (1) x>3Vy<4 (b) (1) x>yvx>5 (2) x>3-+x>y (2) x>5vy<6 (3) x>y (3) x+y1Axy y<4Vx>2 ... x>yvy<6 (c) (1) x2-x<3 (2) x_4Ax3 (3) x_z2Vx>4*x=5 x=5Ax4 (e) (1) x2=IA 2x_1 (f) (1) x-f2#5V 2x6 (2) xl2xl (2) x+2*5-+x_3 (3) x lv x+25 (3) 2x28--*2x_6 (4) x+25Vx21-x3 (4) x+38A2x28 x_3vx>2

(d) (1) (2) (3) y<6-*y<x


y<6V x=5y>x y4x
:. y=xvy>x

x3 12 . Deduzir de cada um dos seguintes conjuntos de premissas a concluso indicada:


(a) (1) sen3O = 0,5 * csc30 2 (2) sen3O 0,5
(3) csc3O 2 * tg3O = 0,58

tg3O 0,58 V cos60 0,5

INICIAO LGICA MATEMTICA 123 (b) (1) Dx3 3x2 A D3 = O

(2) Dx3 3x2 * Dx2 2x (3) Dx2 2x V Dx3 = 12-x2 x=2 (c) (1) y<4Ax=y3 (2) -(x*y+3)--.x>2

(3) y>2-*x>2
(4) y>2Vy=3-+x>5 y<3V x>5 (d) (1) x=yv x<y (2) y=x-s-4 (3) (x<3V x>5)A y=x4-*y_8 (4) x#y (5) y6v x<y-+x<3 (x4V y8)A x <3 13. Usar a regra do Silogismo hipottico para verificar que so vlidos os seguintes argumentos: (a)(1) 5x43x+4-*5x3x+8 (2) 2x8*x4 (3) 5x3x+8-2x8 5x43x+4-*x4 (b) (1) x*y+y<x

(2) (x>5-+y<x)-+y=5
(3) y5Vx=6 (4) x>5-x_y x=6V x>6 (c) (1) z=5((y=3-+y+z=8)A z>y)

(2) (xyz=11-+x=2)-(y=3A z=5) (3) xy=6-+x=2 (4) xyz=11-+xy=6 y+z=8


124 EDGARD DE ALENCAR FILHO

(d) (1) 5x=20-x=4 (2) 2x6Vx_3 (3) (5x-3= l7.x=4)-*2x#6 (4) 5x3=17--*5x=20 x#3Vx<4 (c)(I) (x+y=5*y3)Vx+z=3 (2) z*l v (x+z=3*xi-y=5) (3) x-i-y_5Az=l x+z=3-y=3 (f) (1) x=3*x>y (2) x_3-zrr5 (3) (x=3-*x<z)-*x<z (4) x>y-*x<z z=5vz>5 14. Usar a regra do Dilema construtivo para verificar a validade dos seguintes argumentos: (a) (1) 2x+y=7*2x=4 (2) 2xy=5-y=l (3) 2x+y=7V2x+y=5 (4) 2x_4 y=1 (b) (1) xL6(x=2Vx=8) (2) 2x+3y=2lAx_6 (3) xr2-y=9 (4) x=8*yzl y=lvy=9 (c) (1) x>5Vy<6 (2) y<6-+x<z

(3) x>5-+y<z (4) y<zAz6 x<zvz=6


INICIAO LGICA MATEMTICA 125

(d) (1) y=O-xy=O (2) y=Ovy<1 (3) xy=OVxy>3-*x*4

(4) y<1-xy>3
x_4Vx>y (e) (1) x<yvy<x (2) y<x-+x>6 (3) x<y-*x<7 (4) (x>6Vx<7)-+y>11 (5) y>11v x<O x<OVy<12 () (1) 2x2lOx+12OAx<4 (2) x25x+6O-x2vx3 (3) x=2-+x2=4

(4) x=3-*x2=9
(5) 2x2 IOx+ 120-*x2 -5x+60 x2r4Vx2=9 (g) (1) x=5V x<y (2) x>3vz<2-+z<xvy=1 (3) x<y-*z<2

(4) x=5-*x>3 (5) z<x-x=4


(6) x>3vz<2-+y_1 x4 (h) (1) (y=5x<y)A x>1 (2) y>5Vy=5 (3) x<yVy>4-+x+1>yAy<9

(4) y>5-*y>4
x+1>yVx>4 15. Verificar a validade de cada um dos seguintes argumentos: (a)pA-q, qv jr, s-rI--pA s (b)pvq, q-r, p*s, r[s

(c) pq, pv (sA t)s (d)pvq, qr, ps, SrA(pvq) (e) pv q, trA t (f)p---q, pv r, r---q, s-q, t[--sA t (g)-..p-*q, q-rA 5, p-*t, -tFs

(h)pvq, q-*r, --rf---p (i) pq, qA r, r-*sfpA S (j)p*c, pv r, -rF---qvs (k) p-q, q-r, (p-*r)-..-s, 5V tft (Upv--q, r, p*r, q-s---s

(m)r-t, s-*q, tvq_*p,rvs__..p (n) (ps)t, rtr (o)pv q---r, s-p, t-+q, SV tftuV r

16. Verificar que so vlidos os seguintes argumentos:


(a) (1) x=y x>y (2) x<4v x4z

(3) x=yx<z
(4) x>y-+x<z
x<4

(b) (1) 2x+y5-*2x=2 (2) 2x+y5Vy=3 (3) 2x=2-+xr,1

(4) y=3-2x=2
x=

(c) (1) x<3Vx>4 (2) x<3-+x_y

(3) x>4-+x_y (4) x<yvx*y-*x_4Ax2 x=2 (d) (1) x=3-*2x218


(2) x=3vx=3 (3) x3-2x218

(4) 2x218+x2=9
x29

126

EDGARD DE ALENCAR FILHO

INICAO LGICA MATEMTICA 27


(e) (1) z>x*x_7 (2) x<6vx=3 (3) x=3-+z>x

(4) x<6-z>x (5) x=7V x=5 x=5


x=3V x=4

x2 7x + 12 = O x = 4 * x2 7x + 12 O x2 7x 12 O -+ x > 2
x =3
-*

x2 <9 -+ x > 2 x2 <9-x2 =9V x2 >9

(f) (1) (2) (3) (4) (5) (6) (g)


(Ii) (1) x= senx= (2) x=-- V x= (3) senx=- (4) x = senx =
COSX = v
-

cscx=2

cscx = 2

(i) (1) x+2y5V3x+4y11 (2) x>y v x <2 -+y<2 v y <1

(3) 3x+4y11*x=1 (4) x>yvx<2 (5) x+2y5-+x=1 x=1A(y<2Vy<1)

9 v x2 > 9

(1)
(2) (3)

x>yv x<4
x<4-x<yA x>y-+x=4 y<4

(4)

x_4

:.

x<y

128 EDGARD DE ALENCAR FILHO

1 7. Usar as Regras de Inferncia para mostrar que so vlidos os seguintes argumen tos: (a) pv q*---r, p, s-rF--s (b) pA (qv r), qv r*-s, SV tFt (c) p v q * r, q, s A t - r ---(s A t) (d) p-q, -q, pv r-sF---s (e) pv (q r), q-*s, r-t, sA t*pv r, pr (f)qv(r-t), q-+s, s-(t-+p), sFr-p (g)pvq-+(p--*sAt),pArf_-_tvu

Captulo 12

Validade Mediante Regras de Inferncia e Equivalncias


J. REGRA DE SUBSTITUIO H muitos argumentos cuja validade no se pode demonstrar, verificar ou testar com o uso exclusivo das dez Regras de Inferncia dadas anteriormente (Cap. 7), sendo necessrio recorrer a um princpio dc inferncia adicional, a Regra de substituio de proposies equivalentes seguinte: Uma proposio qualquer P ou apenas uma parte de P pode ser substituda por uma proposio equivalente, e a proposio Q que assim se obtm equivalente P. 2. EQUIVALNCIAS NOTVEIS A fim de facilitar o emprego da Regra de substituio damos a seguir urna lista de proposies equivalentes, que podem substituir-se mutuamente onde quer que ocorram: 1. Idempotncia (ID): (i) p<=pAp; (ii) PPVP

II. Comutao (COM):


(i) pAq=qAp; (ii) PVqVP III. Associao (ASSOC): (i) pA(qAr)=(pAq)Ar

(ii) pv(qv r)==(pv q)v r


130 EDGARD DE ALENCAR FILHO IV. Distribuio (DIST): (i) PA(q v r)==(pA q)v (PA r) (ii) p v (q A r)=(p v q) (pv r) V. Dupla negao (DN): p,-.-,---p VI. De Morgan (DM): (i) pAq)-pv.-q (ii) (p q)==p Aq VII. Condicional (COND): p -* q p V q VIII. Bicondicional (BICOND): (i) pq==(p-*q) A(q-p) (ii) p*q4=(pA qv (pA -q) IX. Contraposio (CP): X. Exportao-Importao (EI): p A q -+ r . p (q -+ r) Estas equivalncias notveis constituem dez Regras de Inferncia adicionais que se usam para demonstrar, verificar ou testar a validade de argumentos mais complexos. Urna importante diferena no modo de aplicar as dez primeiras Regras de lnlrncia e estas dez ltimas Regras de Inferncia deve ser observada: as dez primeiras Regras de Inferncia s podem ser aplicadas a linhas completas de uma demonstrao ou deduo, ao passo que as dez ltimas Regras de inferncia podem ser aplicadas tanto a linhas completas como a partes de linhas completas consoante a Regra de substituio.
INICIAO LGICA MATEMTICA 131

Definio Dado um argumento P1, P2,.. , P 1 Q, chama-se demonstrao ou deduo de Q, a partir das premissas P1, P2 Pn, toda a sequncia finita de proposies X1, X2, . . . , Xk tais que cada X ou uma premissa ou resulta de proposies

anteriores da sequncia pelo uso de uma Regra de Inferncia, e de tal modo que a ltima proposio Xk da sequncia seja a concluso Q do argumento dado. 3. EXEMPLIFICAO (1) Demonstrar que vlido o argumento: p -* q, q p Dem. Temos, sucessivamente: (1) p--q P (2) q P (3) i-----p 1 CP (4) q*-p 3 DN (5) p 2,4 -- MP (2) Demonstrar que vlido o argumento: p - q, r -+ q H p r Dem. - Temos, sucessivamente: (1) p-*q P

(2) r---q P
(3) --q-*---r 2 CP (4) q--r 3 DN (5) p--r l,4SH (3) Demonstrar que vlido o argumento: p v (q A r), p v q -+ s Fp V 5 Dem. Temos, sucessivamente: (1) pv(qAr) P (2) pvq-s P (3) (pv q)A(pv r)1 DIST (4) pvq 3 -SIMP (5) 5 2,4 MP (6) pvs 5 AD 132 EDGARD DE ALENCAR FILHO (4) Demonstrar que vlido o argumento: p v q r A s, -s -q Dem. Temos, sucessivamente: (1) pvq-rAs P (2) --s P (3) rv---s 2. AD (4) (rA s) 3 DM (5) (pv q) 1,4- MT (6) pAq 5 DM (7) ci 6 SIMP

(5) Demonstrar a validade do argumento: Se Londres no fica na Blgica, ento Paris no fica na Frana. Mas
Paris fica na Frana. Logo, Londres fica na Blgica. Dem. Representando as proposies Londres fica na Blgica e Paris fica na Frana respectivamente por p e q, o argumento dado na forma simblica escreve-se: p-+q, qi-p Posto isto, temos sucessivamente: (1) -.-p-*.-.-q P (2) q P (3) ---pv --q 1 --COND (4) pvq 3 DN

(5) --q 2 DN
(6) p 4,5- SD Logo, o argumento dado vlido, embora sua concluso seja uma proposio falsa. 6) Demonstrar a validade do argumento: (v q)v r, pv(q Ap)f-q-r Dem. Temos, sucessivamente:

(1) (pvq)vr P (2) pv(qA-p) P (3) (p v q) A (p v p)2 DIST (4) (pvq)A---p 3 ID (5) 4 SIMP
INICIAO LGICA MATEMTICA

133

(6) p v (q v r) 1 ASSOC (7) qvr 5,6 SD (8) q-+r 7 COND (7) Demonstrar a validade do argumento: (1) p--q P (2) r-+q P (3) r P (4) q---r (5) p-*r (6) r-*--p (7) r-*--p (8) p (8) Demonstrar a validade do argumento: p-q, qs, tV(rAs)5p-t Dem. Temos, sucessivamente: (1) p-q P (2) qs P (3) tv(rA--s) P (4) (q--s)A(s-q) 2 (5) q-s 4 SIMP (6) p-s 1,5 SH (7) (tVr)A(tvs) 3 (8) tv-s 7 (9) sv t (10) s-+t (11) p-+t 6,10SH (9) Demonstrar a validade do argumento: Se estudo, ento no sou reprovado em Fsica. Se no jogo basquete, ento estudo. Mas fui reprovado em Fsica. Portanto, joguei basquete. Dem. Representando Estudo por p, Sou reprovado em Fsica por q e Jogo basquete por r, o argumento dado sob forma simblica escreve-se: p--q, r-*q, r[---p Dem. Temos, sucessivamente:
2 - CP 1,4 -- SH 5 CP 6 --DN 3,7 - MP

BICOND DIST SIMP 8 COM 9 COND p-+q, r-p, qIr


134

Posto isto, temos sucessivamente:


EDGARD DE ALENCAR FILHO

(1) p*----q (2) -r-*p (3) cj (4) q (5) p (6) -rvp (7) rvp (8) r Logo, o argumento dado vlido.

P P P 3 DN 1,4 MT 2 COND 6 ---DN 5,7 SD (10) Demonstrar que vlido o argumento:


Dem. - Temos, sucessivamente: (1) pv(qAr) (2) ps (3) s-r (4) p-+r

(5) (pvq)A(pvr)
(6) pVr (7) rvp (8) ---rvp (9) r-*p (10) r-r (11) -rVr (12) rvr (13) r p p

P 2,3 SH 1 -DIST

5 SIMP
6 COM 7 DN 8 COND 4,9 SH 10 -COND 11 DN 12 - ID (11) Demonstrar que vlido o argumento: pAq--r, rV(sAt), p*qp_s Dem. Temos, sucessivamente: (1) pAq-*-r (2) rv(sAt) (3) p-q (4) (p-+q)A(q-*p)

(5) p-+q P P P 3 BICOND 4. SIMP


pv(q Ar), p-+s, s-rF--r

/
INICIAO LGICA MATEMTICA 135

(6) p-pq (7) p+--r (8) (rvs)A(rVt) (9) rvs (10) ---r v s (11) r-s (12) p-*s (12) Demonstrar que vlido o argumento: (1) p-+q (2) r-s

(3) qv s+-t (4) t (5) - t (6) (q v s) (7) qAs (8) -q (9) s (10) --p (II) --r (12) pA ---r

P p p P 5 ABS 1,6 SH 2 DIST 8 SIMP 9 -DN 10 COND 7,11 SH


4 DN 3,5 MT 6 DM 7 SIMP 7 SIMP 1,8- MT 2,9 MT 10,11 CONJ (13) Demonstrar a validade do argumento: p*q, q-+(p--*(rv s)), r*s, (rAs)F-p Dem. Temos, sucessivamente: (1) p*q (2) q-(p-+(rvs)) P (3) r*s P (4) --(rAs) P (5) (r As)V (--rA --s) 3 (6) --rA-s 5

(7) --(rv s) 6 DM
(8) p-*(p-*(rv s)) 1,2 SH (9) (p A p)-*(rv s) 8 EI (10) p-+rvs 9 - ID (11) --p 7,10- MT

4w1.
p-q, r-*s, qvs---t, ti---pA---r Dem. Temos, sucessivamente:

P BICOND S1MP

1
136 EDGARD DE ALENCAR FILHO

(14) Demonstrar a validade do argumento: p-+q, q-*r, r*p, p- -rpA --r Dem. Temos, sucessivamente: (1) p-*q P (2) q-*r P (3) r-+p P (4) p-----r P

(5) p-*r 1,2 SH


(6) (p*r)A(r-p) 3,5AD (7) p*r 6 BICOND (8) (p A r) v (-.p A r) 7 BICOND (9) --pv--r 4 COND (10) -(pAr) 9 DM (11) p A r 8,10 SD (1 5) Demonstrar que vlido o argumento: pv q-r, rv s-+---t, tI-q Dem. Temos, sucessivamente: (1) ---pvq-+r P (2) rVs---t P (3) t P (4)-t 3 DN

(5) -(r v s) 2,4 MT

(6) rA--s 5 DM (7) -r 6 SIMP (8) (--pv q) 1,7- MT (9) --pA-q 8 DM (10) pq 9 DN (11) --q 10 SIMP (16) Demonstrar a validade do argumento: (1) x<6 (2) y>7v x=y---.-(y4 A x<y)

(3) y_4-x<6
(4) x<6*x<y x*y
INICIAO LGICA MATEMTICA

137

Dem. Temos, sucessivamente: (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) x<6 y>7V x=y-*-(y=4A x<y) y *4-*x6 x<6-.x<y
x<y y=4 y4 AX<y --(y=4Ax<y) (y >7 v x = y) y >7 A x_y Xr_y

Dem. Temos, sucessivamente:


(1) y#IAy<l (2) y>1*y<lVy=1 (3) x=3V x>3 (4) x>3-+x_y (5) x=3-x#y (6) x_yvx_y (7) x_y (8) y<l Ay#1 (9) -(y<1Vy=l)

(10) y>I
(Ii) x#yAy>l (12) (x=yvy>I)

validade do argumento: x = y -+x y = O x <y x=0v xy=0*y=O (x y y = 0) x = O -(x<yA x=1)


+ -* -+

P
P

P
P P

3.4,5

6 8

2,9
7,10

11 P
P p P 1,4 1,3 5,6 7 2,8 9 lo MP MT CONJ DN MT DM SIMP (17) Demonstrar a (1)

(2)
(3) (4) (5)

validade do argumento: y*l Ay<l y >1 -+y <1 v y x=3V x>3 x>3-x*y x=3-+x_y -(x=yV y>I)

DC ID COM DM MI CONJ DM (18) Demonstrar a (1) (2) (3)

(4)
138 EDGARD DE ALENCAR FILHO

Dem. Temos, sucessivamente: (1) x=y*x<y p (2) y=0*x<y P (3) x=OVxy=0-y=O P (4) (x=y-y=0)--*x=0 P

(5) (y=0-*x<y)A (x<y-+y=0) 2 BICOND (6) x<y*y=0 5 SIMP


(7) x=y-y=0 1,6 SF1 (8) x=0 4,7 MP (9) x=Ovxy=0 8 AD (10) yO 3,9 MP (11) y0-.x<y 5 SIMP (12) x<y 10,11 MP (13) x4yvx_1 12 AD (14) -(x<yAx=I) 13 DM (19) Demonstrar a validade do argumento: (1) x<yAy<z*x<z (2) (y<z-x<z)-i=3 (3) x<y z=3 Dem. Temos, sucessivamente: (1) x<yAy<z-*x<z (2) (y<z-x<i)-z=3 P (3) x<y P (4) x<y-(y<z--x<z) 1 EI

(5) y<z-.x<z 3,4 MP


(6) z=3 2,5 MP 4. INCONSISTNCIA Duas ou mais proposies que no podem ser simultneamente verdadeiras dizem-se inconsistentes. Tambm se diz que formam um conjunto inconsistente de proposies. Um argumento se diz inconsistente se as suas premissas no podem ser simultneamente verdadeiras (inconsistentes).
INICIAO LGICA MATEMTICA 139

As proposies:

(pv--q), pvr, q*r


p. ex., so inconsistentes, pois, impossvel encontrar uma atribuio de valores s proposies simples componentes p, q e r que torne essas trs proposies compostas simultneamente verdadeiras. Com efeito, construindo as tabelas-verdade dessas trs proposies verifica-se que, em cada linha, pelo menos uma delas falsa (F), isto , no h uma s linha em que admitam, todas, o valor lgico V. Tambm se pode demonstrar que as trs proposies dadas so inconsistentes deduzindo do seu conjunto uma contradio qualquer, p. ex., do tipo A A A, mediante as regras de deduo usadas para os argumentos, pois, como estas regras preservam a verdade, a contradio que se obtm prova que estas trs proposies no podem ser conjuntamente verdadeiras. Realmente, temos, sucessivamentc:

(1) (p v q)
(2) pvr (3) q-r (4) pA--q 1 DM

(5) pAq 4 DN (6) q 5 SIMP (7) r 3,6 MP (8) p 5 SIMP (9) r 2,8 SD (10) r A r 7,9 CONJ (Cont.)

Outros exemplos:
(1) Demonstrar que so inconsistentes as trs seguintes proposies: (1) x=l*y<x (2) y<x-+y0 (3) (y=Ov xr_1)

(p

v
V V V V F F

q) V V F F V V

pv V V V V F F F F V V V V F V F V

r F V F V F V F V V F V F V F V F

q V V F F V V F F

F F F F V V F F

V V V V F F FV FV

F F V V F F VF VF

V F V V V F V V

V F V F V F V F

140 LrIJ ij iri rit_riu

Dem. Temos, sucessivamente: (1) x=l-y<x (2) y<x-y0 (3) (y0Vx_l) (4) x=I-*y=0 1,2 SH (5) y_OAx=1 3 DM (6) x=i 5 SIMP (7) y=O 4,6 MP (8) yO 5 SIMP
(9) y = O A y O 7,8 CONJ (Cont.) (2) Demonstrar que inconsistente o conjunto das seguintes proposies:

pvq, pAS, sVr, r*rAq Dem. Temos, sucessivamente:


(1) pvq

(2) pAs
(3) svr

(4) r-rAq
(5) p 2 SIMP

(6) s 2 S1MP (7) q 1,5SD (8) r 3,6 SD (9) rAq 4,8 MP (10) q 9 SIMP (11) q A q 7,10 CONJ (Cont.) (3) Demonstrar que consistente o conjunto das seguintes proposies: (pv q), rs, qAr Dem. Com efeito, para a seguinte atribuio de valores lgicos s proposies simples componentes p, q, r e 5: VF rp 5q as trs proposies compostas dadas so simultneamente verdadeiras, pois, tem os:

(FV F)=.--F=V, F-*F=V, --FA V=V AVV


INICIAO LGICA MATEMTICA 141

EXERCCIOS
1. Demonstrar a validade dos seguintes argumentos: (a) p-*----q, q, p-*rAsH-_rAs (h) p-*q, p*-----r, -q[r (c) p-*-r, qr, qH-p (d) p--q, --q-+----r, rp (e) -pvq, -p-+r, -r__q (f) r-*pv q, --r, qp

(g) pv q, -q, -(qA r)-*p__r

(h) p,
(1) p*q, q-r, rp

(j)

pq, -q,

(k) p----q, qp (I)pvq, q, p-+rAs__sAr (m) (rA-t)-+----s, p+s, pA q___(-tAr) (n) (rAs)v p, q-+--p, t*--p, qvt[sAr (o) pv q, r-*p, r*--s, s[-q (p) p-+qv r, --p, --r___q (q) r-+pA---q, rV5, sHqAp (r) (pA q), ---q--r, --p-*r, 5*---r------s (s) pA q, p--r, qv--sF------(rV s) (t) s---(pv-t), t-qAr, s-rAq (u) p-q, r-q, r v p, qv sHs

(v) t-*pAs, r+--s, rvqH-t (w) r-*----p, (r As)V t, t-qv u, -q A--uH--p (x) pvq, s-qAr, p-+s, q_*s__rAq
(y) (p v r), p r -* s, q A 5 - t A 5 5 A t (z) p-q, q-rF-pV r 2. Demonstrar a validade dos seguintes agumentos: (a) (1) x>y-x>z (2) z>6-(x>y-*z<7)

(3) x>z*,.<7
z>6Vz<y (b) (1) x_y-*x>yvx<y
(2) x>yvx<y-+x*4 (3) x<y+-(x_y *x_4)

(4) xy
x>y

142

EDGARD DE ALENCAR FILHO

(g) (1) -(yx=2 v x+y>8) (2) (x>yv y<5) (3) x2-x+y>8 (x=2vy<5)
x= 1 *x<y x24x+30-*x=I V x=3 -(x=yv x2-4x+3*O) x X<yV y&4 -(x>yA xy>7) x>y-x<4 x + y >7 -+x <4 xy= 2-x <4 xy _2

=3

-*x <y

(z<3v x>y)Ay=2 x<yv x= 1 x>z-*x>y x>z-+x<y x=1


(c) (1) x=3Vy=3 (2) x>2Vx+y>5 (3) y=3V x=3*x+y>5 (4) ---(y<5Ay>3)-*x>2

y<5 (d) (1) x<3 Ay>6 (2) y_7-.--(x=2Ay>x) (3) y>6Ax<3-+y>xAx=2 (e) (f)

:
(h) (1) (2) (3)

(4)
(i) (1)

(2)
(3)

(4)

(j)
(2)

(1)

(3) (4)

...

y=7

(1 ) (2 ) (3 )
...

y_3 x+y=8-*y=3 x+y=8vx*5

x5Ay4)

(1 ) (2 ) (3 )
...

x<y x<yV (x>3 V x+y<5) x>3-*-(x>yvy_2)

x>y

INICIAO LGICA MATEMTICA

(k) (1) 3x+y=ll+3x=9 (2) 3x=9-*3x+y= 11 y=2


(3) y_2vx+y=5 xy=5 (1) (1) 2x=6+x=3 (2) 2x=8x=4 (3) 2x=6Vx=4 --(2x8Ax*3) (rn) (1) 5x=15+-x3 (2) 5x 15 A 4x 12 (3) x=3-.x2y=7 (y2Ax+2y_7) (n) (1) y>xx=yVx<y (2) --(y<I V y>x) x<yAx_y (o) (1) x<yy>4 (2) y=64x+y=lO

(3) y>4Ax+y=1O :. x<yAy6


(p) (1) x>yV x<6

(2) x>y-x>4 (3) x>4-+x=5Ax<7 (4) x<6-.x=5Ax<7 (5) x<7A x=5-+z>xV y<t

(6) x>y--(y<zvz>x) f. x<6 3. Demonstrar a validade dos seguintes argumentos: (a) r*p Aq, -pv -q, rv sHs (b) p v q-r, r, -p-sI-5 (c) (p*q)-r, (-p v q)v shs (d) (p A q)*(r--s), r As, q-+tt (e) pv -(qv -r), p, r-*sV 4sV t (f) pv q-r, q v(s V t)[s-*t (g) pv (q-+r), (pv s) A r--_q (h)(p-*q)-r, rVs, (pA--q), svt-*u-u (i) pv q, s-*-r, pv(rA t))qV 5
144 I,s,-%r, LJ ,iii.ri ri

(i) P(I,

pv(rAs)f-___q--s

(k) p-qv r, -r[_--_p--*q


1) p V-q--r, r-*sI.___-.-s-p (m) pvq, q*r, s-t, rl----s--*p (n) p-*q, qv r-s, s(-------p (o) pv(qAr), pvr-sAt[----s (p) (p*ci)v (r As), -qF--pv s (q) p-q, p A q-*r v s, rv s--t, (p-+--t)-+u5u (r) pvqrAs, 4. Demonstrar que os seguintes conjuntos de proposies so inconsistentes dedutindo uma contradio para cada um deles: (a) (1) q-*p (b) (1) pvq (2) -(p v r) (2) -(q * r) (3) civ r (3) pr (e) (1) v q) (d) (1) p v s* q (2) -q-*r (2) q-+----r

(3) rv s (3) t*p (4) -p-+--s (4) tAr


(e) (1) x=y*x<4 (f) (1) x=O+x+y y (2) x44vx<t (2) x>1AxO (3) (x<tv x#y) (3) x+y=y-*x> 1 (g) (1) xy*x<z (ii) (1) x<y-x_y (2) x<z A(x=yv y<z) (2) y>z-+z<y (3) y<z-*x<z (3) x=yAy>z (4) x<yV /<y 5. Demonstrar que os seguintes conjuntos de proposies so consistentes: (a) (1) pq (b) (1) p>q (2)q q-*r (2) -q-*r

(3) rvs (3) pvr (c) (1) pv -.--ci (d) (1) P1


(2) --p+r (2) r*q

(3) r (3) q-+-s


(e) (1) xy-*x_y (f) (1) x=2 V x=3 (2) x<yv xy (2) x_2V x_3

(3) xty*x<y

Captulo 13

Demonstrao Condicional e Demonstrao Indireta


1. DEMONSTRAO CONDICIONAL Outro mtodo muito til para demonstrar a validade de um argumento a Demonstrao condicional. Esta demonstrao, todavia, s pode ser usada se a concluso do argumento tem a forma condicional. Seja o argumento: PIA->B (1) cuja concluso a condicional A B. Sabemos que este argumento vlido se e somente se a condicional associada: (P1A P2A A Pn)-+(A--*B) tautolgica. Ora, pela Regra de Importao, esta condicional associada equivalente seguinte:
...

[(P1A P2 A ... A P) A A]-*B

Assim sendo, o argumento (1) vlido se e somente se tambm vlido o argumen to: P1,P2,.. ,Pn,AHB cujas premissas so todas aquelas do primitivo argumento (1), mais uma, A, e cuja concluso B (observe-se que A e B so respectivamente o antecedente e o consequente da concluso do primitivo argumento (1)). Em resumo, temos a seguinte regra DC: Para demonstrar a validade do argumento (1), cuja concluso tem forma condicional, A B, introduz-se A como premissa adicional (indicada por PA) e deduz-se B.
. -

ULIMI1U U \LN(.AI1 t-ILHU

2. EXEMPLIFICAO (1) Demonstrar a validade do argumento: pv(q-*r), -rF-q-p

Dem. Dc conformidade com a Regra DC para demonstrao de um argumento cuja concluso tem forma condicional, cumpre deduzir p a partir das premissas:
p v (q * r), r e q, isto , demonstrar a validade do argumento: pv(q-r), r, qFp Temos, sucessivamente: (1) pv(q-*r) P (2) -r P (3) q PA (4) p v (q v r) 1 COND (5) (pv

-q) V r 4 ASSOC

(6) pvq 2,5- SD (7) -q

3 DN (8) p 6,7 SD (2) Demonstrar a validade do argumento: --p---qv r, sv(r-*t), pv s, s--q--*t


Dem. De conformidade com a Regra DC, cumpre demonstrar a validade do argumento: p--qvr, sv(r-t), pv Temos, sucessivamente: (1) --p----qvr P

s, qi.t

(2) sV(r*t) P (3) pvs P

(4) s P (5) q P (6) p-s 3 COND (7) p 4,6 MT


-

(8) qv r 1,7- MP (9) q-+r 8 COND (10) r-t 2,4 SD (11) q-+t 9,10 SH (12) t 5,11 MP
INICIAO LGICA MATEMTICA 41

(3) Demonstrar a validade do argumento:


(1) (y=4*x>y)Ax>z (2) x>yVz>y-y<4Ay#3

t3) y=2*z>y
:. y=2vy4-y<4Vy>3 l)em. Dc conformidade com a Regra DC, cumpre demonstrar a validade do ar- gume n to: (1) (y=4-*x>y)A x>z (2) x>yvi>y-*y<4Ay#3

(3) y=2*>y
(4) y=2vy=4 y<4vy>3

Temos, sucessivamente: (1) (y4--x>y)Ax>z P


(2) x>yvz>yy<4Ay_3P (3) y=2*z>y P (4) y=2Vy=4 PA (5) y=4-*x>y 1 S1MP (6) x>y vz>y 3,4,5 DC (7) y<4 Ay3 2,6 MP (8) y<4 7 SIMP (9) y<4vy>3 8 AD (4) Demonstrar a validade do argumento: ---p-*(q-r), sV(r-*t), p-*si----s-*(c1-t) Dem. Consoante a Regra DC, cumpre demonstrar a validade do argumento: p-+(q-.r), sv(r-+t), p*s, -slq--t Como a concluso deste argumento tambm uma condicional, q - t, fazendo uso novamente da mesma Regra DC, cumpre demonstrar a validade do argumento: p -* (q -+ r), s v(r - t), p-s, s, qt

48 EDGARD DE ALENCAR FILHO

Temos, sucessivamente: (1) -p-+(q-.r) p (2) sV(r-t) p (3) p-*s p (4) s P

(5) q PA
(6) p 3,4 MT (7) q-*r 1,6 MP (8) r 5,7 MP (9) r-+t 2,4 SD (10) t 8,9 MP

(5) Demonstrar a validade do argumento:


p-*q, q+s, tV(r As)Fp-*t Dem. Consoante a Regra DC, cumpre demonstrar a validade do argumento: p-+q, q*s, t v(rA s), pjt Temos, sucessivamente: (1) p-+q P (2) q#-s P (3) tV(rA-.-s) P (4) p P (5) q 1,4MP (6) (q -+ s) A (s - q) 2 BICOND (7) q-s 6 SIMP (8) s 5,7 MP (9) (t v r) A (t v --s) 3 DIST (10) tvs 9 SIMP (11) -s 8 DN (12) t 10,11SD (6) Demonstrar a validade do argumento: -p---q, rs, (pAt)v(rAu)[_q-*s Dem. Consoante a Regra DC, cumpre demonstrar a validade do argumento: p-+----q, r-+s, (pAt)v(rAu), qs
INICIAO LGICA MATEMTICA 14

Temos, sucessivamente: (1) P (2) r-*s P

(3) (p t)v (rA u) P


(4) q PA (5) --q 4 DN (6) --p l,5MT (7) p 6 DN (8) pVt 7 AD (9) -pv--t 8 DN

(10) -(p t) 9 DM (11) ru 3,10 SD (12) r 11 S1MP


(13) s 2,12 MP 3. DEMONSTRAO INDIRETA Um outro mtodo frequentemente empregado para demonstrar a validade dc um dado argumento: P1,P2 P11Q (1) chamado Demonstrao indireta ou Demonstrao por absurdo consiste cm admitir a negao -Q da concluso Q, sito , supor Q verdadeira, e da deduzir logicamente uma contradio qualquer C (p. ex., do tipo A A A) a partir das premissas P1 , P2, . . . , P e Q, isto , demonstrar que vlido o argumento: P1,P2,. . . ,P,QF---C Se assim ocorre, ento o argumento dado (1) tambm vlido. Com efeito, pela Regra DC (Demonstrao condicional), o argumento: vlido. E como temos:

C=QV C==Q
Segue-se que vlido o argumento dado (1). Em resumo, temos a seguinte Regra DI: Para demonstrar a validade do argumento (1) introduz-se Q como premissa adicional (indicada por P) e deduz-se uma contradio C (p. ex.: A A A).

I3ij tUM1UUMLIMMIILMU

4. EXEMPLIFICAO
(1) Demonstrar a validade do argumento: p---q, r-+qF-(pAr) Dem. De conformidade com a Regra DI (Demonstrao indireta), cumpre deduzir uma contradio das premissas p * q, r - q e p A r. Temos, sucessivamente: (1) p-*--q P (2) r-q P (3) pr PA (4) p 3 SIMP (5) r 3 SIMP (6) q 1,4MP (7) q 2,5MP (8) q A q 6,7 CONJ (Cont.) (2) Demonstrar a validade do argumento: -p-q, qvr, tHpVS Dem. De conformidade com a Regra DI, cumpre deduzir uma contradio das premissas p + q, -q v r, r e --(p v s). Temos, sucessivamente: (1) p-*q P (2) qvr P (3) -r P (4) (pvs) PA

(5) pA-s 4 DM
(6) p 5 SIMP (7) q l,6MP (8) q 2,3 SD (9) q A q 7,8 CONJ (Cont.) (3) Demonstrar a validade do argumento:

p-+qVr, --.-r__p-q Dem. De conformidade com a Regra DC (Demonstrao condicional), cumpre demonstrar a validade do argumento:
-

p-qvr, --r, piq


INICIAO LGICA MATEMTICA 151

e, portanto, consoante a Regra DI (Demonstrao indireta), cumpre deduzir uma contradio das premissas p - q v r, r, p e q. Temos, sucessivamente: (1) P-Ivr P (2) --r P (3) p PA (4) q - P (5) qvr 1,3MP (6) q 2,5-SD (7) q A q 4,6 CONJ (Cont.) (4) Demonstrar a validade do argumento: pv q, --q, r--s, Dem. De conformidade com a Regra DC (Demonstrao condicional), cumpre demonstrar a validade do argumento: pvq, -q, --r-+s, p--*(s----t), tr e, portanto, consoante a Regra DI (Demonstrao indireta), cumpre deduzir uma contradio das premissas p v q, -q, --r s, p * (s -+ -t), t e jr. Temos, sucessivamente: (1) pvq P (2) P (3) r*s P (4) p-+(s--*-t) P (5) t P (6) r P (7) p 1,2 SD (8) s-+---t 4,7 MP (9) s 3.6MP

(10). 8,9 MP (11) t A t 5,10 CONJ (Cont.) (5) Demonstrar a validade do argumento: (1) -(y_lvzr__l) (2) (x<yAx>z)A z=1-x=0 (3) (y=l v x=0)v (x<yA x>z) x=0
bL.sijjj RL J(p.j- IL11U

Dem. De conformidade com a Regra DI (Demonstrao indireta), cumpre deduzir uma contradio das premissas (1), (2), (3) e x _ 0. Temos, sucessjvamcnte:
(1) (yr1 v z*j) P

(2) (x<yAx>z)A/_1o P (3) (Y=1vx=o)v(x<yAx>Z) P (4) x_O P (5) YlAz=1 1 DM (6) y=l 5 SIMP (7) Y=IVX=O 6 AD (8) 1 xO) 7 DN (9) x<yAx>7 3,8 SD (lO) zJ 5 SIMP (II) (x<yAx>), z-1 9,10 CONJ
(12) xO 2,11 MP (13) x O A x O 4,12 CONJ (Cont.) (6) Demonstrar a validade do argumento: (1) x=1v(x+yyvx>y) (2) X>Yx2>xyAyj (3) x_1 (Y1-+x2>xy) Dem. De conformidade com a Regra DI (Demonstrao. indireta), cumpre deduzir uma contradio das premissas (1), (2), (3) e y= 1 -x2 >xy. Temos, sucessjvamente: (1) x1v(x+y_yvx>y) P (2) X>YX2>XYAy_J P (3) x_1 P (4) Y=1-x2>xy P (5) (X+y=y VxI.y) 1,3 SD (6) X+y_yAx>y 5 DM (7) x>y 6 SIMP (8) x2 > xy A y = 1 2,7 MP (9) x2 >xy 8 SIMP (lo) y=I 8 SIMP

(11) X2>xy 4,10 MP


(12). x2 >xy A x2 xy 9,11 CONJ (Cont.) INICIAO LGICA MATEMTICA 153 (7) Demonstrar a validade do argumento: (1) x<y-xy=x (2) x#yAxy*x (3) x<yvy=1-*x=2 Dem. Consoante a Regra DI (Demonstrao indireta), cumpre deduzir uma contradio das premissas (1), (2), (3) e x = 2 + x y. Temos, sucessiva- mente:

(1) x<y*xy=x P (2) X_YAXY_X P (3) x<yvy=1x=2 P (4) x=2E*x=y PA (5) xy 2 -SIMP (6) xy_x 2 SIMP (7) x<y 1,6 MT (8) x<yvy=1 7 AD (9) x2 3,8 MP (10) (x=2*x=y)A(x=y--*x=2) 4 BICOND (11) x=2-+x=y 10 SIMP

(12) x=y 9,11 MP


(13) x=yAx_y 5,12 CONJ(Cont.) EXERCCIOS 1. Usar a Regra DC (Demonstrao condicional) para mostrar que so vlidos os seguintes argumentos: (a) rv s, q-si-r-----q (b) p-*--q, -(r Ap)_q-*--r (c) r-t, t-+---s, (r-s)q--_p_*pA q (d) p*q, r-+p, s-*rH._s--*q (e) p, r-+q, -s-*pF__-(rA s)q (f) p-*---q, r--q, -s-*q___pv -s-r (g) --p v s, q----r, t-*s A rF___t-*--(p v q)

(li) r-+s, s-q, rv(sAp)[-q-pAs


(i) rvs, t--*---p, r-+-q--_pAq-+sAt

(j)

r-*p, s-*t, t-*rj_s-*pvq (k) q-*p, tVs, qv-s-(pv)--t (1) pv q-r, s-*---rA --t, SV u_p-u (m) p*q, r-+t, s-r, pv sI---q-t
154 EDGARD DE ALENCAR FILHO

2. Usar a Regra 1)C (Demonstrao condicional) para mostrar que so vlidos os seguintes argumentos: (a) (1) x#y-*x>yvy>x
(2) y_2v x=2 (3) x>yvy>x*x_2 y=2-+x=y (h) (1) x=I*xy=2 (2) x+y#3-x_1 (3) y= Iv x=2*--(x+y=3 Axy=2) :. x=1-.x_2Ay*

(c) 1 3. Usar a Regra DC (Demonstrao condicional) para mostrar que so vlidos os seguintes argumentos: (a) p v q, r v q-----p-*--r (b) -pv-q, pv(rAs_q-*s

(e) pAq---rv--s, rAs___p---q (d) pq, pv-r, svtr[------s-q (e) (p-q)vr, sVt*--r, sv(tAu)p--*q (f) (p.q) A(r A--s), s-tyu, -.-u[.-r--*t (g) pv q, q, r--s, 4. Usar a Regra Dl (Demonstrao indireta) para mostrar que so vlidos os seguintes argumentos: (a) -(pAq), p-+r, qv--rF----_p (b) p_*-q, r-*---p, qv rp (c) (pAq), r-*q, -p-r--r (d) p-qvr, q-*--p, s--rf-_--(pAs) (e) p v q, p-*-r, q-+s----.rv s (f) pvq, s---p, -(qvr)i---_-s (g) p -(i, q v (s V r) j---p
-

(Ii) p-*--.-q, -pv r, r-+-sH-qv S (i) p A q-r, r-+p, ---q-+-rq (i) pv q, rv s-p, qvs, --rF--(rv s)

(1 ) (2 ) (3 )
:.

x=0 x2

x=0

x=I-+x2

x=0

x=2V x2

x=0-x3 3x2

+2x 0 =0

x=0Vx=lx33x2+2x

INICIAO LGICA MATEMTICA 155

(k) p v qr, r, s-pi-s (1) (p-*qjvr, svt->-r, sv(tAu)Hp-q (m) p-q, qv rs, sF-p (n) (p-q)-r, r v s--t, tF-q 5. Usar a Regra DI (Demonstrao indireta) para mostrar que so vlidos os seguintes argumentos: (a) (1) 2x+3y24 (2) (x=6-+y=4)v2x12

(3) (2x 12-.x=6)V2x+3y#24


(4) x_6 2x=12-*y=4

(b) (1) y=I-x=Ovx>y (2) ,=l-*xOvx<z (3) x>y


(4) x<t

(5) y=l V t=l

x=O 6. Usar a Regra DI (Demonstrao indireta) para mostrar que so vlidos os seguintes argumentos: (a) (p-q)v(rAs), qF----p-*s (b) p-*q, q*s, tv(rAs)F--p-t (c) p----qvr, sv(r*t), p.-+s, sfq--.t (d) (p--*q) v(s-.----r), qv 5, p*---s[----rV 5 (e) (p- a) A (r-+ s), p t v -s, r, --tF---q (f) (pa)---*(r A s*t), p-q Ar, r, -t[-----s (g) --(p- -q)-*((rt-s) v t), p, q, t-- r-s

Captulo 14

Sentenas Abertas
1. SENTENAS ABERTAS COM UMA VARIVEL
Definio Chama-se sentena aberta com uma varivel em um conjunto A ou apenas sentena aberta em A, urna expresso p(x) tal que a) falsa (F) ou verdadeira (V) para todo a E A. Im outros lermos, p(x) urna sentena aberta em A se e somente se x) torna-se urna proposio (falsa ou verdadeira) todas as vezes que se substitui a varivel x por qualquer elemento a do conjunto A(a E A). O conjunto A recebe o nome de conjunto-universo ou apenas universo (ou ainda domnio) da varivel x e qualquer elemento a E A diz-se um valor da varivel x. Se a E A tal que a) uma proposio verdadeira (V), diz-se que a satisfaz ou verifica p(x). Urna sentena aberta com uma varivel em A tambm se chama funo proposicional com uma varivel em A ou simplesmente funo proposicional em A (ou ainda condio em A).
Lve,iiplos So sentenas abertas em N = (1, 2, 3,.... n,
...

) (conjunto

dos nmeros naturais) as seguintes expresses: (a) x+l>8 (b) x25x+6=O (e) x+ 5 = 9 (d) x divisor de 10 (e) x primo (f) x mltiplo de 3 2. CONJUNTO-VERDADE DE UMA SENTENA ABERTA COM UMA VARIVEL Definio Chama-se conjunto-verdade de uma sentena aberta p(x) em um conjunto A, o conjunto de todos os elementos a E A tais que a) uma proposio verdadeira (V).
INICIAO LGICA MATEMTICA 157

Este conjunto representa-se por V.

Portanto, simbolicamente, temos:

Vp {xIxEAAp(x)V}
ou seja, mais simplesmente: V {x xA A p(x)} OU Vp {xEAIp(x)} Obviamente, o conjunto-verdade Vp de uma sentena aberta p(x) em A sempre um subconjunto do conjunto A(Vp C A).
Errnq,los:

(1) Seja a sentena aberta x + 1 > 8 em N (conjunto dos nmeros naturais). O conjunto-verdade : v{xIxeNAx+l>8} ={8,9,Io,... }cN

(2) Para a sentena aberta x + 7 <5 em N, o conjunto-verdade :


v={xIxENAx+7<5} =CN (3) O conjunto-verdade em N da sentena aberta x + 5 > 3 :

v {xIxENAx+5>3} =NCN
(4) Para a sentena aberta x divisor de 10 em N, temos: V {x 1 xEN A x divisorde io} = {l,2,5, io} C N (5) O conjunto-verdade da sentena aberta x2 2x > O cm Z (conjunto dos nmeros inteiros) : v={xIxEzAx2_2x>o} =z{o,1,2} NOTA Mostram os exemplos anteriores que, se p(x) uma sentena aberta em um conjunto A, trs casos podem ocorrer: (1) p(x) verdadeira (V) para todo x E A, isto , o conjunto-verdade V coincide com o universo A da varivel x(Vp A). Diz-se, neste caso, que p(x) exprime unia condio universal (ou uma propriedade universal) no conjunto A.
EDGARD DE ALENCAR FILHO (2) p( x) verdadeira (V) somente para alguns x E A, isto , o conjunto-verdade Vp um subconjunto prprio do universo A da varivel

x(V C A).
Neste caso, diz-se que p(x) exprime uma condio possvel (ou uma propriedade possvel) no conjunto A. (3) p(x) no verdadeira (F) para nenhum x E A, isto , o conjunto-verdade Vp vazio (V =
Diz-se, neste caso, que p(x) exprime uma condio impossvel (ou uma propriedade impossvel) no conjunto A. No universo R (conjunto dos nmeros reais), as condies: so universal a primeira (visto ser verificada por todos os nmeros reais) e impossvd a segunda (visto no ser verificada por nenhum nmero real). No mesmo universo R a condio 9x2 1 O possvel, visto ser verificada somente pelos nmeros reais 1/3 e 1/3. Pelo contrrio, no universo N (conjunto dos nmeros naturais) a mesma condio 9x2 i impossvel, pois, no existe nenhum nmero natural que verifique tal condio. Por sua vez, a condio 3x> 1 universal em N (o triplo de um nmero natural sempre maior que 1), mas fl() universal em R (no verificada para x 1/3 ou para x < 1/3). Como se v atravs destes exemplos, o emprego dos adlctivos universal, possvel e impossvel depende geralmente do universo adotado. Note-se, porm, que a condio x = x universal, e por conseguinte a condio x x impossvel, qualquer que seja o universo considerado, por virtude do AXIOMA LGICO DA IDENTIDADE: Todo o ente idntico a si mesmo, isto , simbolica me n te: a = a, qualquer que seja o ente a Fntende-se por ente (ser ou entidade) a tudo aquilo que se considera como existente e a que, por isso, se pode dar um nome. 3. SENTENAS ABERTAS COM DUAS VARIVEIS Definio Dados dois conjuntos A e B, chama-se sentena aberta com duas variveis em A x B ou apenas sentena aberta em A x B, uma expresso p(x, y) tal que a, b) falsa (F) ou verdadeira (V) para todo o par ordenado (a, b) E A x B. Em outros termos, x, y) uma sentena aberta em A x B se e somente se p(x, y) torna-se unia proposio (falsa OU verdadeira) todas as vezes que as variveis x e y so substitudas respectivamente pelos elementos a e b de qualquer par ordenado (a, b) pertencente ao produto cartesiano A x B dos conjuntos A e B ((a, b) E A x B).

158

x+ 1 >x e x+l=x
INICIAO LGICA MATEMTICA 159 O conjunto A x B recebe o nome de conjunto-universo ou apenas universo (ou ainda domnio) das variveis x e y, e qualquer elemento (a, b) dc A x B dizse um par de valores das variveis x e y. Se (a, b) E A x B tal que a b) uma proposio verdadeira (V), diz-se que (a, b) satisfaz ou verifica p(x, y). Uma sentena aberta com duas variveis cm A x B tambm se chama funo proposicional com duas variveis em A x B ou simplesmente funo proposicional em A x B (ou ainda condio em A x B).

Exemplos Sejam os conjuntos A {i, 2, 3} e B = {5, 6 So sentenas


abertas em A x B as seguintes expresses:

(a) x menor que y(x <y) (b) x divisor de y(x y) (e) y o dbro de x(y = 2x) (d) mdc(x,y)= 1 O par ordenado (3, 5) E A x B, p. ex., satisfaz (a) e (d), pois, 3 < 5 e o mdc(3 5) 1, e o par ordenado (3, 6) E A x B, p. ex., satisfaz (b) e (c), pois, 3 1 6 e 6 = 2 3.

4. CONJUNTO-VERDADE DE UMA SENTENA ABERTA COM DUAS VARIVEIS


Definio Chama-se conjunto-verdade de uma sentena aberta p(x, y) em A x B, o conjunto de todos os elementos (a, b) E A x B tais que p(a, b) uma proposio verdadeira (V). Istc conjunto representa-se por V. Portanto, simbolicamente, temos: Vp {(x,y)IxEA A yEB A x,y)} ou seja, mais simplesmente:

Vp {(x,y)EAxBIp(x,y)} O conjunto-verdade Vp de uma sentena aberta p(x, y) em A x B sempre um subconjunto do conjunto A x B(Vp ( A X B). Exemplos:
(1) Sejamos conjuntos A I,2,3,4} e B {l,3,5} .Oconjunto-verdade da sentena aberta x <y em A x B : V={(X,Y)IXEAAYE13AX<Y} = = {(l,3),(l,5),(2,3),(2,5),(3,5),(4,5)} CAxB

160 EDGARD DE ALENCAR FILHO

(2) Sejam OS Conjuntos A {2, 3, 4, 5 Vp{(x,y)IxEAAyeBAxly} = = 2,6).(2.1),(3,3),(3,6),(5,lo)} CAxB

} eB

{3, 6, 7, lo } O Conjunto- verdade da

sentcna aberta x divide y (x 1 y) em A x B :

(3) Sejam OS conluntos A = {i, 2, 3 } e B {3, 4 } O conjunto-verdade da sentena aberta x + 1 <y cm A


x 8 : V, {(x,y)IxEAAyEBAx+1<y} {(I, 3),(I,4),(2,4)} C A x B (4) Sejam os conjuntos A = {2, 3, 4} e 8 = {i, 2, 6} O conjunto-verdade da sentena aberta mdc(x, y) 2 em A
=

x B : V (x,y)lxEA A yE8 A mdc(x,y)=2} {(2, 2), (2. 6), (4, 2), (4, 6)) C A x B (5) O conjunto-verdade da sentena aberta 2x + y = lO em N x N, sendo N o conjunto dos nmeros naturais, : V {(x,y)Ix,yEN A 2xy= io}
= =

l,8),(2,6),(3,4),(4,2)} CNxN (6) O conjunto-verdade da sentena aberta x2 + y2 inteiros, : Vp {(x, y) 1 x, y E Z A x2 + y2 = 1

1 em 7 x Z, sendo Z o Conjunto dos nmeros

{(O, l),(1,O),(-1,O),(O,-l)} C ZxZ 5. SENTENAS ABERTAS COM N VARIVEIS

Consideremos os n conjuntos A1, A2,

A e o seu produto cartesiano A1xA2x...xA. Definio Chama-se sentena aberta com n variveis em A1 x A2 x. x A ou apenas sentena aberta em A1 x A2 x. x A, uma expresso p(x1, x2,. x,J tal que a1, a2, an) falsa (F) ou verdadeira (V) para toda n-upla (a1, a2, an) EA1 x A2 x.. x An.
., ., , .,

INICIAO LGICA MATEMTICA 161 O conjunto A1 x A2 x. . . x A recebe o nome dc conjunto-universo ou apenas universo (ou ainda domnio) das variveis x1, x2, . . ., x0, e qualquer elemento (a1, a2 a0) E A1 x A2 x. . . x A0 diz-se urna n-upla &

valores

das variveis
X1,X2,..., X.

Se (a1, a2 a0) E A1 x A2 x

...

x A0 tal UC

a1, a2,

. . .,

a) uma proposiJo verdadeira (V), diz-se que

(ai, a2 a0) satisfaz ou verifica p( x1,x2 Xn). Uma sentena aberta com n varivcis em A1 x A2 x . . . x A tambm se chama funo proposicional com n variveis em A1 x A2 x .,. . x A1 ou simplesmente funo pmposicional em A1 x A2 x. . . x A1, (ou ainda condio em A1 x A2 x.. Iv(1n,)lo A eXpreSSo x + 2y 3z < 18 urna sentna aberta em N x N x N, sendo N o conjunto dos nmeros naturais. O terno ordenado (1, 2, 4) e 1+2.2+3.4<1%.

N x N x N, p. cx., satisfaz esta sentena aberta, pois,

6. CONJUNTO-VERDADE DE UMA SENTENA ABERTA COM N VARJVEIS


Definio Chama-se conjunto-verdade dc urna sentena aberta x , x2 x0) em A1 x A-, x . . x A0, o conjunto de todas as n-uplas (a1, a2 a0) A1 X A2 x . . . x A11 tais (LJC a1, a2 a0) unia proposio verdadeira (V). Portanto, simbolicamente, temos: Ap(x1,x2 X0)} nu seja, mais siiiiplesniente V={(x1,x2 xn)A1xA2x...xA11Ip(x1,x2 X0)}

Ir(!1ip!() O conjunto-verdade da sentena aberta 18x 7y + 1

3z = 39 em

Z x Z x Z, sendo Z o conjunto

dos nmeros inteiros, :

V,= {(xt,x2,x)Ixi,x2,x3EZ A1%x7y+ 13z=39}


=

{(l, 3,O),(4, 1, 2),(3,4, l),(6,8, 1),...


--

NOTA Em Matemtica, as equaes e as inequaes so sentenas abertas que exprimem relao de


igualdade e desigualdade, respectivamente, entre duas expresses com variveis. Mas, o conceito de sentena aberta muito mais amplo que o de equao ou inequao; assim, x divide y, x primo com y, x filho dc y, etc., so sentenas abertas, sem serem equaes nem inequaes.
162 EDGARD DE ALENCAR FILHO

Resolver uma equao ou inequao, num dado conjunto-universo, determinar o seu conjunto-verdade (ou conjunto-soluo), cujos elementos, quando existem, chamam-se as razes da equao ou solues da inequao.

Duas equaes ou duas inequaes que, num certo conjunto-universo, admitem


o mesmo conjunto-soluo dizem-se equivalentes. 1. Determinar o conjunto-verdade em N (conjunto dos nmeros naturais) de cada uma das seguintes sentenas abertas: (a) 2x6

(c) x25x+60 (e) x25xO

2. Dctcriiiiiiar o conjunto-verdade cm Z (conjunto dos nmeros inteiros) de cada uma das


seguintes sentenas abertas:

(a) x2 <25
(c) x2-f-3EA (e) x3 4x2 O (g) x divisor de 27

(a) x2-3x-lI3 (c) 3x-l =3x


(e) IxI2tIxI-6=O (g) 1x2x-6Hx+2 (a) (x + 1) E A (e) x2 primo (b) x2EA (d) 2x51<5

(f) x45x2+4O (h) 3x<lO (b) Ix -2 1x-2 (d) 2x3 x3 (f) x22IxI--30 (h) x3+IxI=0

r
EXERCCIOS
(b) x1<4 (d) x2-x-2=0 (f) x56N (a) x29O (c) 3x2120

(e) x2xl2=O (b) x23 (d) 2x2+5x=O

(f) 12x1 H5 3. Determinar o conjunto-verdade em A { 1, 3, 4, 7, 9, li } de cada uma das seguintes sentenas abertas: 4. Determinar o conjunto-verdade em R (conjunto dos nmeros reais) de cada uma das seguintes sentenas abertas:

5. Determinar o conjunto-verdade em A =

{ 1, 4, 9, 10, li } de

cada uma das seguintes sentenas abertas:

(b) x+3mpar (d) x23x+20


INICIAO LGICA MATEMTICA 163

6. Determinar o conjunto-verdade da sentena aberta x + y > 5 em A x B, sendo A={1,3,4} cB{2,3,5} 7. Dados os conjuntos A = {2, 3, 5 } e B {3, 6, 8, 11 } , determinar o conjunto-verdade da sentena aberta x y (x divide y) em A x B. 8. Determinar o conjunto-verdade da sentena aberta x + 3y = 12 em N x N, sendo N o conjunto dos nmeros naturais. 9. Determinar o conjunto-verdade da sentena aberta nidc(x, y) 1 cm A x A, sendo A = {2, 3, 4, 5 } 10. Determinar o conjunto-verdade da sentena aberta 3 (x y) em A x A, sendoA= {2,3,4,5,6} li. Dados os conjuntos A = { 2, 0, 1, 2 } e B { 1, 0, 3 } , determinar o conjunto-verdade da sentena aberta x + y < 1 em A x B.

Captulo 15

Operaes Lgicas sobre Sentenas Abertas


1. As operaes lgicas que definimos para proposies (Cap. 2) estendem-se naturalmente sentenas abertas. 2. CONJUNO Consideremos, p. ex., as sentenas abertas: x medico, x professor o universo da varivel x em cada uma delas sendo o conjunto H dos seres humanos. Ligando estas duas sentenas abertas pelo conectivo A (que se l e), obtemos uma nova sentena aberta em H: x mdico A x professor que verificada por todos os indivduos que satisfazem ao mesmo tempo as duas condies dadas, e s por esses indivduos. Logo, natural chamar a nova sentena aberta assim obtida conjuno das duas primeiras. Analogamente, a conjuno das sentenas abertas em R (conjunto dos nmeros reais): x > 2, x < 8 a sentena aberta em

x>2 A x<8
INICIAO LGICA MATEMTICA 165 Assim, fazendo x = 5, x = ir, mente:

x = 2, x = 1, x 8,57, etc., teremos sucessiva-

Note-se que a conjuno x> 2 A x < 8 costuma ser escrita: 2 <x < 8. Alis, sendo a e b nmeros reais quaisquer, escreve-se,

por definio:
a<x<b==x>aA x<b OU

ja, b 1 x > a A x < b


Outros exenI/)los: (1) No universo N (conjunto dos nmeros naturais):

3 x A 5 Ix 15 Ix xly A yIx=xy
.

(2) No universo R (conjunto dos nmeros reais): 2x -t- y = 8 A 5x = 9 x = 3 A y 2 o que tambm se pode escrever:

2x+y=.8 Jx=3

[sx-3y=9 y=2 (3) No universo das figuras geomtricas: x um retngulo A x um losango x um quadrado

x> 2 V

x< 8 V

x>2Ax< 8 V

7
Ir

v
F F V

v
V V F

v
F F F

2 -1 8,57

166 EDGARD DE ALENCAR FILHO F)e rondo geral, sejam p(x) e q(x) sentenas abertas em um conjunto A. bvio que um elemento a E A satisfaz a sentena aberta p(x) A q(x) em A se a proposio a) A q(a) verdadeira (V). Ora, esta proposio verdadeira se e somente se as proposies a) e q(a) so ambas verdadeiras, isto , se e somente se a E A satisfaz ao mesmo tempo as sentenas abertas p(x) e q(x) em A. Portanto, o conjunto-verdade V A cl da sentena aberta x) A q(x) em A a interseo ( fl) dos conjuntos-verdade V, e das sentenas abertasx) e q(x) em A. Temos, pois, simbolieamen te:

Vpq =VpflVq={xEAIp(x)}fl {xEAIq(x)} Exemplificando, sejam as sentenas abertas em Z (conjunto dos nmeros inteiros): p(x) : x2 + x --2 O q(x) : x2 - 4 O Temos: -. VpAq{xEZIx2+x_2=O}fl{xEZIx2_4t0} ={-2,l) fl {-2,2} ={-2} 3. DISJUNO Consideremos ainda as sentenas abertas em H (conjunto dos seres humanos): x mdico, x professor Ligando estas duas sentenas abertas pelo conectivo v (que se l ou), obtemos uma nova sentena aberta em H: x mdico V x professor que verificada por todo indivduo que satisfaz uma pelo menos das duas condies dadas, e s por esses indivduos. Logo, natural chamar a nova sentena aberta assim obtida disjuno das duas primeiras. Analogamente, a disjuno das sentenas abertas em R (conjunto dos nmeros reais): x <2, x> 8 a sentena aberta em R: x <2 v x > 8
INICIAO LGICA MATEMTICA

16]

vaiiientc Outros ex(tnplos:

xI6V xl lOe=*xE {l,2,3,5,6,

io}

(2) No universo R (conjunto dos nmeros reais): x 2 v x 3 x2 + x -6 O

x=5V x<5nx5
Alis, sendo a e h nmeros reais quaisquer, escreve-se, por definio:

abt==a<bV a=b
Tambm se escreve, por definio: abcc=abA bc

a(bcc=(a<bV a=h) A(b<c V b=c) ou seja:


Anlogos significados tm: a(b<c, a<bc, a>bc, etc.

De modo geral, sejam x) e q(x) sentenas abertas em um conjunto A. imediato que um elemento a E A satisfaz a sentena aberta p(x) v q(x) em A se a proposio p(a) v q(a) verdadeira (V). Ora, esta proposio verdadeira se e somente se uma pelo menos das proposies p(a) e q(a) verdadeira, isto , se e somente se a E A satisfaz uma pelo menos das sentenas abertas p(x) e q(x) em A. Portanto, o conjunto-verdade Vp v q da sentena aberta p(x) v q(x) em A a

Assim, para x = O, x = 1, x = 2, x = 5, x = ir, x = 8,57, etc., teremos sucessi x

(1) No universo N (conjunto dos nmeros naturais):


.

x<2 O -1
2 V

x>8
E

x<2Vx>8
V V E

V
E

E
F

5
ir

F
E

E E

F
E

8,5 7

168 EDGARD DE ALENCAR FILHO

reunio ( U ) dos conjuntos-verdade V e Vq das sentenas abertas p(x) e q(x) em A. Temos, pois, simbolicamente: Vp q = V U Vq {x C A p( x U { x e A q( x)} Ixernplificando, sejam as sentenas abertas em Z (conjunto dos nmeros inte i r( )s): p(x) : x2 + x --2 O cl(x):x2 4=0 Temos:

Vpv(l-{XEZIX2+X20}U{xez1x2_40}=
{--2, 1 } u 2, 2 } = { 2, 1, 2) Para as sentenas abertas em R (conjunto dos nmeros reais): q(x):x>O te mos:
=

Vpvq={xERIx<o}u{xekix>o}R*uR*=R*
4. NEGAO
Consideremos no universo H dos seres humanos a sentena aberta: x tem menos de 21 anos Antcpondo a esta sentena aberta o conectivo -- (que se l no verdade que), obtemos a nova sentena aberta em H: -x tem menos de 21 anos que natural chamar negao da primeira, pois, verificada precisamente pelos indivduos que no satisfazem aquela. Obviamente, a negao de x tem menos de 21 anos logicamente equivalente seguinte sentena aberta em H: x tem 21 anos V x tem mais de 21 anos
Outros exeniplos:

(1) No universo N (conjunto dos nmeros naturais):


x par * x mpar

INICIAO LGICA MATEMTICA 169

(2) No universo R (conjunto dos nmeros reais): ou seja:

--(x<y)x=yv x>y Por sua vez:


=

y) . x <y v x > y

(3) [m qualquer UfliVcrso U: = y)= x : y De modo geral, seja p(x) urna sentena aberta em um conjunto A. bvio que um elemento a E A satisfaz a sentena aberta -p(x) em A se a proposio a) verdadeira (V). Ora, esta proposio verdadeira se e somente se a proposio p(a) falsa (F), isto , se e somente se a E A no satisfat a sentena aberta p(x) cm A. Portanto, o conjuntoverdade V_1 da sentena aberta -p(x) em A o complemento em relao a A do conjunto-verdade V da sentena aberta jx) cm A. Temos, pois, sinibolicamen te: = CAVp CA {x E AI p(x)} Fxcmpliticando, seja A o conjunto dos nmeros naturais divisveis por 5, isto , A = {5k 1k EN {5, lO, 5,20,... p( x) : x termina por 5 temos:

Para a sentena aberta em A:

{ x E A 1 x termina por 5 } = {x E A 1 x termina por o }


=( 5. CONDiCIONAL Consideremos as sentenas abertas em Z (conjunto dos nmeros inteiros): 5x + 6 O, x2 9 0 Ligando estas duas sentenas abertas pelo conectivo * (que se l: se . . . ento
.) obtemos

uma nova sentena aberta em Z: x25x+60-+x290


EDGARD DE ALENCAR FILHO

denominada condicional das duas primeiras, e verificada por todo nmero inteiro diferente de 2 (para x = 2 a condicional falsa (F) porque o antecedente verdadeiro (V) e o consequente falso (F)). De modo geral, sejam p(x) e q(x) sentenas abertas em um mesmo conjunto A. Ligando estas duas sentenas abertas pelo conectivo , obtemos uma nova sentena aberta em A: p(x) - q(x), que verificada por todo elemento a E A tal que a condicional a) * q(a) verdadeira (V). Por ser p(x) -+ (j(x) =-p(x) v q(x), segue-se que o conjunto-verdade Vp * q da sentena aberta p(x) -* q(x) em A coincide com o conjuntoverdade da sentena aberta p(x) v q(x) em A e, portanto, a reunio ( U ) dos conjuntos-verdde e Vq das sentenas abertas jx) e q(x) em A. Temos, pois, simbolicamente:

6. BICONDICIONAL
Vpq =VpUVq =CAVpUVq p(x) : xl 12, q(x) : xl 45 Consideremos as sentenas abertas cm Z (conjunto dos nmeros inteiros):
x > 5, x < O Ligando estas duas sentenas abertas pelo conectivo * (que se l: se e somente se) obtemos uma nova sentena aberta em 7: x> 5 x < O denominada bicondicional das duas primeiras, e que verificada por todo nmero inteiro maior que 5 e menor que O, isto , para x --4, 3, 2, - 1, e somente por esses nmeros. Dc modo geral, sejam p(x) e q(x) sentenas abertas cm um mesmo conjunto A. Ligando estas duas sentenas abertas pelo conectivo obtemos urna nova sen 170
OU Seja

Vpq CA {xEAip(x)} U {xEAlq(x)} Exemplificando, sejam as sentenas abertas em N (conjunto dos nmeros naturais): Temos:

Vp*q N {xEN lxi 12} u

{xEN x145} {l,2,3,4,6,12}u{l,3,5,9,l5,45}= =N {2,4,6,l2}

1 1
INICIAO LGICA MATEMTICA 171 tena aberta em A: p(x) q(x), que verificada por todo elemento a E A tal que a bicondicional p(a) ** q(a) verdadeira (V). Por ser p(x) * x) (p(x) * q(x)) A (q(x) * p(x)), segue-se que oconjunto -verdad Vp q da sentena aberta p(x) q(x) em A coincide com o conjunto- verdade da sentena aberta em A: (p(x) -* q(x)) A (q(x) - p(x)) e, portanto, a interseo

( fl) dos conjuntos-verdade Vp e Vq p das sentenas abertas em A: p(x)

q(x) e q(x) p(x). Temos, pois,

simbolicamcnte: Vpq Vpq flV(1+p UVq)fl(Vq UV) ((AVp U Vq) fl ((AVq U V) ou seja:
=

=ICA {xEAIp(x)} U {xEAq(x I flA xEAIq(x)} U {xEAlptx)} 1


Exemplificando, sejam as sentenas abertas cm N (conjunto dos nmeros naturais):

p(x):x16, q(x):xIlS
Ternos:

(NVpU Vq N I,2.L6} U {l,3,5,15} =N 2,} (NV1 U V, =N l.3,5, 15) U {l,, 3,6) =N -- {5, 15)
e, portanto:

Vp(1 N {2,6} IfiN 5, ls}I=N {2,5,6, IS) 7. LGEBRA DAS SENTENAS ABERTAS As propriedades das operaes lgicas sobre proposies (Cap. 7) se transmitem automaticamente s operaes lgicas sobre sentenas abertas em um mesmo conjunto que vimos dc definir. Assim, a conjuno e a disjuno continuam a ser comutativas e associativas, e cada
--

uma delas distributiva em relao outra. Subsiste a propriedade da dupla negao, assim como as leis de DE MORGAN. Quanto s

propriedades de identidade:
pA t p, pAc==c, pV t4=t, pV C3

assumem agora novo aspecto. Assim, ternos: 172 EDGARD DE ALENCAR FILHO (1) A conjuno de urna sentena aberta com urna outra que exprime uma condico universal equivalen te primeira. (II) A conjuno de urna sentena aberta com urna outra que exprime uma condio impossvel tambm exprime urna condio impossvel. Destas duas propriedades resultam mais duas outras por dualidade lgica, subs tutuindo conjuno por disjuno, universal por impossvel e impossvel por universal. Consideremos, p. ex., em R (conjunto dos nmeros reais) os sistemas: J2x 1>3 f2x_ 1>3

{xl>x [x+l=x
(iC se

podem escrever, respectivarnente: 2x l>3Ax+l>x, 2xl>3Ax+l=x Como a sentena aberta x + 1 > x exprime urna condio universal e a sentena aberta x + 1 = x exprime uma condio impossvel, teremos: 2x -1>3 A x+ 1 >x=2x 1>3 2x - 1 > 3 A x 1 = x x 1 x (impossvel) Analogamente:

2x 1>3V xi- 1 >xx+1>x(universaI) 2x 1 >3v x + 1 = x 2x 1 >3 CONVENO Dadas vrias sentenas abertas p,(x), p2(x), p3(x) ese reve-se: p1(x) A p2(x) A p3(x) em lugar de (p1(x) A p2(x)) A p3(x);

p1(x) A p2(x) A p3(x) A p4(x) em lugar de (p1(x) A p2(x) A p3(x)) A p4(x);etc.


Analogamente para a disjuno. EXERCCiOS 1. Determinar o conjunto-verdade em A = {i, 2, 3, compostas: (a) x<7Axmpar (b) xparAx+210 (e) 3IxA x<8 (d) (x+4)eA A(x25)A
. .,

9, 10

} de cada uma das seguintes sentenas abertas

INICIAO LGICA MATEMTICA 13 2. Determinar o conjunto-verdade em A = (a) x2 3x O v x2 = x (b) x par V x2 <9 (c) x primo v (x+ 5)EA (d) x2 l6V

{o, 1, 2, 3, 4, 5 }

de cada uma das seguintes sentenas abertas compostas:

x2 6x+ 5=0

3. Determinar o conjunto-verdade em A = 1, 2, 3, 4, 5 de cada urna das seguintes sentenas abertas compostas: (a) (x 3) (b) (x mpar) (e) (x 112) (d) (x + 1) A (e) --(x primo) (f) =(x2 3x 0) 4. Determinar o conjunto-verdade em A = {3, 2, 1,0, 1,2, 3} de cada uma das seguintes sentenas abertas compostas: (a)xparx21=0 (h) x112-*xprimo (c) (x+5)A-+x<0 (d) x2l 0x2+4x+30 (e) x2+x6<0-+x2-9=O 5. Determinar o conjunto-verdade em A = (a) x2 3x=0--x2 x=0 (h) xpar*x2<8

{o,

{o, 1, 2, 3, 4, 5} de cada uma das seguintes sentenas abertas compostas:

(c)xprimo(x+S)EA (d) x2>12*x25x+6=0 6. Sejam as sentenas abertas em R (conjunto dos nmeros reais): p(x):2x-3<0 e q(x):x+I0 es- Determinar A q C Vp _* 7. Sejam as sentenas abertas em R (conjunto dos nmeros reais): p(x): 15x2 + 2x 8 O

e q(x) : 5x2 + 19x 12 = O

Determinar v q e VPA(I. 8. Sejam as sentenas abertas em R (conjunto dos nmeros reais): p(x):4x30 e q(x):5x2>0 Determinar Vp A q e

Las 9. Sejam as sentenas abertas em A {i,2,3.4.5. 6.7.8, 9} p(x) :x2 EA e q(x) : x mpar
Determinar V, . q Vq p e Vp q

174 EDGARD DE ALENCAR HLHO

10. Sejam p(x), q(x) e r(x) sentenas abertas em um mesmo conjunto A. Exprimir o conjunto-verdade da sentena aberta composta: p(x)*q(x)v -r(x) em funo de Vp, Vq e Vr. Resoluo Temos, sucessivamente: Vp - q v r CAVp U Vq v -r CAVp U(Vq U Vr) = CAVp U(Vq U CAVr) 11. Sejam px), q(x) e r(x) sentenas abertas em um mesmo conjunto A. Achar a expresso do conjunto-verdade de cada uma

das sentenas abertas compostas abaixo em funo de V, Vq e Vr (a) -(p(x) v q(x)) (b) --p(x) - (c) p(x) *(---r(x) * q(x)) (d) (p(x) - q(x)) A (q(x) * r(x))

Captulo 16
CAVr)

Quantificadores

1. QUANTIFICADOR UNIVERSAL
Seja p(x) uma sentena aberta em um conjunto no vazio A(A * e seja Vp o seu conjunto-verdade: Vp {x 1 x E A A p(x)} Quando V = A, isto , todos os elementos do conjunto A satisfazem a sentena aberta p(x), podemos, ento, afirmar: (i) Para todo elemento x de A, p(x) verdadeira (V) (ii) Qualquer que seja o elemento x de A, p(x) verdadeira (V) ou seja, mais simplesmente: (iii) Para todo x de A, p(x) (iv) Qualquer que seja x de A, p(x) Pois bem, no simbolismo da Lgica Matemtica indica-se este fato, abreviadamente, de uma das seguintes maneiras: (1) (xEA)(p(x)) (2) xEA,p(x) (3) xEA:p(x) Muitas vezes, para simplificar a notao, omite-se a indicao do domnio A da varivel x, escrevendo mais simplesmente: (4) (x)(x)) (5) x, p(x) (6) x:p(x)
V =A

176 EDGARD DE ALENCAR FILHO Subsiste, pois, a equivalncia:

(v xEA)(p(x))VA
Impoita notar que p(x),simplesmente, uma sentena aberta, e por conseguinte carece de valor lgico V ou F; mas, a sentena aberta p(x) com o smbolo antes dela, isto , ( x A) (p(x)), torna-se uma proposio e, portanto, tem um valor lgico, que a verdade (V) se V A e a falsidade (F) se V A. Em outros termos, dada uma sentena aberta p(x) em um conjunto A, o smbolo , referido varivel x, representa uma operao lgica que transforma a sentena aberta x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condio universal no conjunto A. A esta operao lgica d-se o nome de quantificao universal e ao respectivo smbolo V (que um A invertido) o de quantificador universal. Quando, em particular, A seja um conjunto finito com n elementos a1, a2 a, isto , A = {a1,a2 an} , bvio que a proposio ( xEA)(x)) equivalente conjuno das n proposies p(a1), p(a2) p(an), ou seja, simbolicamente: (t xA)(p(x))==(p(a1) A p(a2) A ... Ap(an)) Portanto, num universo finito, o quantificador universal equivale a conjunes sucessivas. Assim, p. ex., no universo finito A {3, 5, 7 } e sendo p(x) a sentena aberta x primo, temos:

(V x A) (x primo) (3 primo A 5 primo A 7 primo) Exemplificando, a expresso:

( x) (x mortal)
l-se Qualquer que seja x, x mortal, o que uma proposio verdadeira (V) no universo H dos seres humanos ou, mais geralmente, no universo dos seres vivos. Se a varivel da sentena aberta for uma outra, em vez da letra x, escreve-se o quantificador universal V seguido dessa varivel. Assim, a expresso:

( Fulano) (Fulano mortal)


l-se Qualquer que seja Fulano, Fulano mortal, o que significa exatamente o mesmo que a proposio anterior. Analogamente, as expresses:

( x) (2x > x) : Qualquer que seja x, 2x > x ( y) (2y > y) : Qualquer que seja y, 2y > y
exprimem ambas o mesmo fato: O dobro de um nmero sempre maior que esse nmero, o que verdadeiro em N, mas falso em R (p. ex., 2. O = O, 2 . (3) < 3, etc.).
116 EDGARD DE ALENCAR FILHO

Subsiste, pois, a equivalncia:

(v xEA)(p(x))=VA
Importa notar que p(x), simplesmente, uma sentena aberta, e por conseguinte carece de valor lgico V ou F; mas, a sentena aberta x) com o smbolo antes dela, isto , ( x E A) (x)), torna-se uma proposio e, portanto, tem um valor lgico, qUe a verdade (V) se = A e a falsidade (F) se Vp A. Em outros termos, dada uma sentena aberta p(x) em um conjunto A, o smbolo , referido varivel x, representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime 011 nO uma condio universal no conjunto A. A esta operao lgica d-se o nome de quantificao universal e ao respectivo smbolo V (que um A invertido) o de quantificador universal. Quando, em particular, A seja um conjunto finito com n elementos a1 , a2 tn 15k) , A{a1, a2 an} , bvio que a proposio (v xEA)(p(x)) equivalente conjuno das n proposies p(a1), a2), . . ., p(an), ou seja, simbolicamcnte:

( xEA)(p(x))(a1) A a2) A

... Ap(an)) Portanto, num universo finito, o quantificador universal equivale a conjunes

sucessivas. Assim, p. ex., no universo finito A = {3, 5, 7 aberta x primo, temos:

} e sendo p(x) a sentena

(v x E A) (x primo) (3 primo A primo A primo) Exemplificando, a expresso:

( vx)(x mortal)
l-se Qualquer que seja x, x mortal, o que uma proposio verdadeira (V) no universo H dos seres humanos ou, mais geralmente, no universo dos seres vivos. Se a varivel da sentena aberta for uma outra, em vez da letra x, escreve-se o quantificador universal v seguido dessa varivel. Assim, a expresso: (s Fulano) (Fulano mortal) l-se Qualquer que seja Fulano, Fulano mortal, o que significa exatamente o mesmo que a proposio anterior. Analogamente, as expresses:

( x) (2x > x) : Qualquer que seja x, 2x > x ( y)(2y>y) :Qualquer que sejay, 2y>y
exprimem ambas o mesmo fato: O dobro de um nmero sempre maior que esse nmero, o que verdadeiro em N, mas falso em R (p. ex., 2. O = O, 2 . (3) < 3, etc.).

INICIAO LGICA MATEMTICA 177

Muitas vezes (quando no h perigo de dvida), o quantificador escrito depois e no antes da expresso quantificada. Por exemplo, tem-se em R: x2 4(x2)(x2), x nte tes Aqui, o smbolo V x pode lr-se qualquer que seja x ou para todo o valor dor de x ou simplesmente para todo o x. Algumas vezes, para evitar possveis dvidas, o domnio da varivel devidamente especificado. Assim: aa me x+l>x, xER me de Aqui, x E R le-se: qualquer que seja x E R ou ainda para todo x E R Outras vezes ainda, para condensar a excrita, escreve-se a varivel como ndi c do smbolo . Assim, p. ex.: bo- 2x > x (Para todo o x > O, tem-se 2x > x) x>O x2 > O (Para todo o x O, tem-se x2 > O) es xO na Outros cve1z/)1os: (1) A proposio: (V n E N) (n + 5>3) verdadeira, pois, o conjunto-verdade da sentena aberta n) :n + 5 >3 : = {nlneN An+5>3} = l,2,3,.. }N (2) A proposio: :eo ( nEN)(n+3>7) falsa, pois, o conjunto-verdade da sentena aberta p(n) :n + 3 >7 : Vp {nInENA n+3>7} {5,6,7,...} *N (3) Obviamente, a proposio ( x E R) (x2 O) verdadeira e a proposio (t x E R) (3x 5 = O) falsa.
118

EDGARD DE ALENCAR FILHO

2. QUANTIFICADOR EXISTENCIAL Seja p(x) uma sentena aberta em um conjunto no vazio A(A : 4) e seja o seu conjunto-verdade: Vp {xIxEA i p(x)} Quando V, no vazio (V 4), ento, um elemento, pelo menos, do conjunto A satisfaz a sentena aberta xx), e podemos afirmar: (i) Existe pelo menos um x E A tal que p(x) verdadeira (V) (ii) Para algum x E A, p(x) verdadeira (V) OU seja, mais simplesmente: (iii) Existe x E A tal que p(x) (iv) Para algum x E A, p(x) Pois bem, no simbolismo da Lgica Matemtica indica-se este fato, abreviadamente, de uma das seguintes maneiras: (1) ( 3xEA)(p(x)) (2) 3xEA, p(x) (3) 3xEA:x) Muitas vezes, para simplificar a notao, omite-se a indicao do domnio A da varivel x, escrevendo mais simplesmente: (4) (3 x) (xx)) (5) 3x, p(x) (6) 3x:p(x) Subsiste, pois, a equivalncia: (3 xEA)(p(X))V

Cumpre notar que, sendo p(x) uma sentena aberta, carece de valor lgico V ou F; mas a sentena aberta p(x) com o smbolo 3 antes dela, isto , (3 x E A) (p(x)), torna-se uma proposio e, portanto, tem um valor lgico, que

a verdade (V) se *0 e a falsidade (F) se V, 0.


Deste modo, dada uma sentena aberta p(x) em um conjunto A, o smbolo E referido varivel x, representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condio possvel no conjunto A. A esta operao lgica d-se o nome de quantificao existencial e ao respectivo smbolo 3 (que um E invertido) o de quantificador existencial.
AR FILHO INICIAO LGICA MATEMTICA 179

Quando, em particular, A seja um conjunto finito com n elementos a1, a2, e seja a, isto , A = {at, a2,..., an} , bvio que a proposio (9 x E A)(p(x)) equivalente disjuno das n proposies p(a1), p(a2),. . ., p(a), ou seja, simbolicamente: (9 x E A) (p(x)) _ (a) v p(a) v ... v p(an)) , do COfl- Portanto, num universo finito, o quantificador existencial equivale a disjunes sucessivas. Assim, p. ex., no universo finito A = {3, 4, 5} e sendo p(x) a sentena aberta x par, temos: (3 xE A) (p(x))=(3 par v par v S par) Exemplificando, a expresso:

( 3 x) (x vive na Lua)
l-se Existe pelo menos um x tal que x vive na Lua, e uma proposio falsa (F) no universo H dos seres humanos, que tambm se pode traduzir por Algum ser vive na Lua. abreviada- Analogamente, a expresso: (9 x)(x>x2) l-se Existe pelo menos um x tal que x > x2 , o que uma proposio verdadeira (V) em R (Algum nmero real superior ao seu quadradd), mas falsa (F) em N (Nenhum nmero natural superior ao seu quadrado). Para o smbolo 9 adotam-se ainda convenes anlogas quelas que indicamos minio A para o quantificador universal ,com esta unica diferena: nunca pode ser escnto aps a sentena aberta quantificada. Outros exemplos: (1) A proposio: (3 n E N) (n + 4< ) verdadeira, pois, o conjunto-verdade da sentena aberta p(n) : n 4 <8 : alorlgico Vp {nInEN A n4<8} = {1,2,3,} la, isto , Lgico, que (2) A proposio:

( 3nEN)(n-i-5 <3)
boIo 3
i sentena

falsa, pois, o conjunto-verdade da sentena aberta p(n) : n 5 <3 : meouno {nInENAn+5<3} = o nome de tido) o de (3) Obviamente, a proposio ( 3 x e R) (x2 <0) falsa e a proposio

( 3xER)(2x

1=0) verdadeira.

180 EDGARD DE ALENCAR FILHO

3. VARIVEL APARENTE E VARIVEL LIVRE


Quando h um quantificador a incidir sobre uma varivel, esta diz-se aparente ou muda; caso contrrio, a varivel diz-se livre. Assim, p. cx., a letra x varivel livre nas sentenas abertas: 3x 1 = 14 (equao), x + 1 > x (inequao) mas varivel aparente nas proposies:

( x)(3x 1 14), ( x)(x + 1 >x)


I frequente em Matemtica o uso do seguinte PRINCPIO DE SUBSTITUIO DAS VARIVEIS APARENTES: Todas s vezes que uma varivel aparente substituda, em todos os lugares que ocupa numa expresso, por outra varivel que no figure na mesma expresso, btm-se uma expresso equivalente. Assim, p. ex., so equivalentes as proposies: (* )

( Fulano) (Fulano mortal) e ( V x) (x mortal); (* *) ( Fulano) (Fulano foi Lua) e ( x) (x foi Lua)
De modo geral, qualquer que seja a sentena aberta p(x) em um conjunto A subsistem as equivalncias: (i) ( xeA)(p(x))=(yEA)(p(y)) (ii) ( xA)Q,(x))=( yeA)(p(y)) 4. QUANTIFICADOR DE EXISTNCIA E UNICIDADE Consideremos em R a sentena aberta x2 = 16. Por ser 42 = 16, (_4)2 = 16 e 4 4 podemos concluir:

( x,yER)(x2

16 A y2 16 A x*y)

Pelo contrrio, para a sentena aberta x3 = 27 em R teremos as duas proposies: (i) ( xER)(x3=27) (ii) x3=27 Ay3=27=x=y A primeira proposio diz que existe pelo menos um x E R tal que x3 27(x 3): uma afirmao de existncia.
ILHO INICIAO LGICA MATEMTICA 181

A segunda proposio diz que no pode existir mais de um x E R tal que x3 = 27: uma afirmao de unicidade. e OU A conjuno das duas proposies diz que existe um x E R e um s tal que x3 = 27. Para indicar este fato, escreve-se: (3 !xER)(x3=27) onde o smbolo 3 ! chamado quantificador existencial de unicidade e se l: Existe um e um s. Muitas proposies da Matemtica encerram afirmaes de existncia e unicidade. Assim, p. ex., no universo R: AO aO(b)( 3!x)(ax=b) Exemplificando, so obviamente verdadeiras as proposies: (3 xEN)(x2 9=0)

( 3 ! xEZ)(l <x< 1) ( 3 ! x E R) (1 x = 0) 5. NEGAO DE PROPOSIES COM QUANTIFICADOR claro que um quantificador universal ou existencial pode ser precedido do
smbolo de negao . Por exemplo, no universo H dos seres humanos, as expresses: (i) ( V x) (x fala francs) (ii) ( x) (x fala francs) (iii) ( 3 x) (x foi Lua) (iv) ( 3 x) (x foi Lua) so proposies que, em linguagem comum, se podem enunciar, respectivamente: (* ) Toda a pessoa fala francs
*

) Nem toda a pessoa fala francs


Algum foi Lua

* *) ***

) Ningum foi Lua

So tambm evidentes as equivalncias:

( V x) (x fala francs) ( 3 x) (--x fala francs)

( 3 x) (x foi Lua) ( x) (x foi Lua)


De modo geral, a negao da proposio ( x E A) (p(x)) equivalente a afirmao de que, para ao menos um x E A, p(x) falsa ou p(x) verdadeira.
182 EDGARD DE ALENCAR FILHO

Logo, subsiste a equivalncia: [( Mx E A) (p(x))j ( x E A) (p(x)) Analogamente, a negao da proposio ( x E A) (p(x)) equivalente a afirmao de que, para todo x E A, p(x) falsa ou p(x) verdadeira. Logo, subsiste a equivalncia: [ ( xEA)(p(x))]= ( xEA) (p(x)) Estas duas importantes equivalncias so conhecidas por segundas regras de negao de DE MORGAN. Portanto: A negao transforma o quantificador universal em quantificador existencial (seguido de negao) e vice-versa.

Exemplos:
(1) A negao da proposio: Todo o aluno da turma A bem comportado a proposio: Existe pelo menos um aluno da turma A que no bem comportado, ou seja, mais simplesmente:Nem todo aluno da turma A bem comportado. (2) A negao da proposio: Existe pelo menos um aluno da turma A que est doente a proposio: Qualquer que seja o aluno da turma A, ele no est doente, ou seja, mais simplesmente: Nenhum aluno da turma A est doente. (3) A negao da proposio: Existe um planeta que habitvel a proposio: Todos os planetas no so habitveis, ou seja: Nenhum planeta habitvel. Representando por P o conjunto de todos os planetas, teremos, simbolicamente: 9 x E P) (x habitvel) (e x E P) (x no habitvel) (4) A negao da proposio: Para todo o nmero natural n, tem-se n + 2> 8 a proposio: Existe pelo menos um nmero natural n tal que n + 2 > 8. Simbolicamente: -(MnEN)(n-i-2>8).==( 3nEN)(n+28) (5)--(9xER)(x2<O)=(MxER)(x2O) (6) (MxER)(3x 5zO).=( 3xER)(3x 5O)

(7) (VxER)(lxIO).==( xER)(xj<O) (8) ( 9 x E R) (senx = O) ( Mx E R) (senx O)


INICIPO LGICA MATEMTICA 183

6. CONTRA-EXEMPLO

Para mostrar que uma proposio da forma ( x E A) (p(x)) falsa (F) basta mostrar que a sua negao ( x E A) (p(x)) verdadeira (V), isto , que existe pelo menos um elemento x0 E A tal que p(x0) uma proposio falsa (F). Pois bem, o elemento x0 diz-se um contra-exemplo para a proposio ( x E A)(p(x)). Ecinp1os. (1) A proposio (V n E N) (2h> n2) falsa, sendo o nmero 2 um contra-exemplo: 22 22. Os nmeros 3 e 4 tambm so contra-exemplos, pois, temos: 23<32 e 2442. Para n = 1 e para todo n >4 se tem 2n > 2

(2) A proposio (x E R)( x 1 0) falsa, sendo o nmero O um contra-exemplo: 01 = 0. (3) A proposio ( x E R) (x2 > x) falsa, sendo, p. ex.,

-4-

um contra-

-exemplo: (1)2 < (4) A proposio (V x E R) ((x + 2)2 x2 + 4) falsa, sendo, p. ex., 1 um contra-exemplo: (1+2)2 12 +4 ou 95.

(5) A proposio ( xE Z+)(x2 + x + 41 um nmero primo) falsa, sendo o nmero 40 um contra-exemplo, pois, temos: 402 +40+41 =40(40+ 1)+41 =40.41 +41 =41(40+ I)=41 .41 =412.

que um nmero composto.

interessante notar que o trinmio x2 + x -t- 41, analizado pela primeira vez pelo fdmoso matemtico suo LEONHARD EULER (1707-1783), produz nmeros primos para x = 0, 1, 2, 3, . . ., 39.

EXERCCIOS
1. Sendo R o conjunto dos nmeros reais, determinar o valor lgico (V ou F) de cada uma das seguintes

proposies: (a) (xER)(lxHx) (b) H xER)(x2 =x) (c) (xER)(IxH0) (d) ( xER)(x+2=x) (e)(VxER)(xl>x) (f) (VxER)(x2=x)
184 EDGARD DE ALENCAR FILHO

Resoluo: (a) F (1 31:.3 3); (b) V (12

(e) V (101=0); (d) F (Aequaox-i-2=xnotemsoluo); (e) V (Todo o nmero real soluo da inequao x + l > x); (O F (323) 2. Dar a negao das proposies do Exerccio 1.

Resoluo: (a) ( xER)((lxI=x)).=( ]xeR)(IxIx) (b) (xER)(-.(x2 =x))c=( VxER)(x2 x) (e) (xER)(.-(IxI=O))=(VxER)(IxI*O) (d) (VxER)((x+2=x))=(xER)(x+2*x) (e) ( xER)((x+ 1 >x))=( xER)(x+ 1 x) (f) ( xER)((x2 =x))=( xER)(x2 x) 3. Sendo A = { 1, 2, 3, 4, 5 } determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a)(xA)(x3=l0) (b) (xEA)(x+3<l0) (e) (xEA)(x+3<5) (d) (xEA)(x+37) (e) ( x E A) (3 >72) (f) ( x A) (x2 + 2x = 15)
,

Resoluo: (a) F (Nenhum elemento de A raiz da equao x + 3 = 10) (b) V (Para cada elemento de A se tem x + 3 < 10) (e) V (1 soluo da inequao x + 3 <5) (d) F (5 no soluo da inequao x + 3 7)

(e) V(34=81>72)
(O e/ (3raizdaequaox2 +2x=15) 4. Dar a negao das proposies do Exerccio 3. Resoluo: (a) (VxEA)((x+3= 10)) (xEA)(x+3 lO) (b) ( xA)(.-(x+3<10)) ==( xEA)(x+3 10)

(e)
(d) ( xEA)((x+37)) xA)(x+3>7)

(e) ( x E A) ((3X > 72)) (v x A) (3 72) (f) (VxEA)((x2 +2x= 15))=(xEA)(x2 +2x*15)
INICIAO LGICA MATEMTICA 185

5. Sendo R o conjunto dos nmeros reais, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) (3 x E R) (2x = x) (b) (3 x E R) (x2 + 3x = 2) (c)(3xER)(x2+5=2x) (d) (VxER)(2x+3x=5x)

6. Dar a negao das proposies do Exerccio 5. 7. Sendo A = {i, 2, 3} , determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) (3 xEA)(x2 x6=0) (b) (3 yEA)((y2 y=6)) (c)(3xEA)(x2+3x=l) (d) -.-(VxEA)(x2x=6) (c) -(3 xEA)(x2 +3x= 1) (f) ( zEA)(z2 3zI) 8. Sendo A {i, 2, 3 } , determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) (V xEA)((x+ 1)2 =x2 1) (h) (3 xEA)(x3x2lOx-8=0) (e) (xEA)(x36x2+llx6=0) (d) (3 xEA)(x44x3--7x2-50x=24) 9. Sendo A = 1, 2, 3, 4} , determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) (xEA)(x+3<6) (b) ( 3xEA)(x+3<6) (e) (VxEA)(x2 l08) (d) (3 xEA)(2x2 +x= 15) 10. Dar a negao das proposies do Exerccio 9. li. Sendo R o conjunto dos nmeros reais, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) (xER)(x2+l>0) (b) (3 xER)(x2+l=O)

(e) (3 xER)(4x3=l 2x) (d) (i xER)(x2 +3x+2=0) (e) (3 xER)(3x2-2x-1=0) (f) (3 xER)(3x22x+ 1 =0)
(g) (VxER)(x+2)2=x2+4x+4) 12. Sendo A= {2, 3 8, 9J , dar um contra-exemplo para cada uma das seguintes proposies: (a) ( x E A) (x 5 < 12) (b) ( x E A) (x primo) (e) ( x E A)(x2 > 1) (d) ( x E A)(x par) (e) (txEA)(OO) (f) (xEA)(x 172)
186 EDGARD DE ALENCAR HLMLJ

Resol to: (a) Para x = 7,8 e 9, temos x + 5 12. Logo, cada um desses trs nmeros um contra-exemplo. (b) Os nmeros 4, 6, 8 e 9 no so primos e, portanto, cada um deles um contra-exemplo. (c) No h contra-exemplo porque a proposio verdadeira. (d) Os nmeros 3, 5, 7 e 9 so mpares e, portanto, cada um deles um contra-exemplo. (e) No h contra-exemplo porque a proposio verdadeira. (f) Os nmeros 5 e 7 no dividem 72 e, portanto, cada um deles um contra-exemplo. 13. Sendo A = {3, 5,7, 9 , dar um contra-exemplo paia cada uma das seguintes proposies: (a) ( V x C A) (x 3 7) (b) ( V x e A) (x mpar) (e) (VxCA)(xprimo) (d) (xEA)(IxI=x) 14. Dar a negao das proposies do Exerccio 13. 15. Dar a negao de cada uma das seguintes proposies: (a) ( xCA)(p(x)) A (3 xEA)(q(x)) (b) (3 xCA)(p(x)) v

( xCA)(q(x)) (e) (9 xCA)(-.p(x)) v ( xEA)(q(x))


(d) (3 xCA)(p(x))-+( xEA)(-.-q(x)) 16. Dar a nega6 de cada uma das seguintes proposies: (a) (Vx)(x27)A(9 x)(x2-1=3) (b) (9 x)(x2=9)v (Vx)(2x57) 17. Demonstrar:

(i) p(y)=(xeA)(p(x)), yeA (ii) (-xEA)(p(x))=p(y), yCA (iii) ( xEA)(p(x))( 3 xEA)(x)) 18. Demonstrar: (i) ( x) (p(x) A q(x)) [(V x) (p(x)) A ( x) (q(x)) (ii) (3 x) (p(x) A q(x)) [( 3 x) (p(x)) A (9 x) (q(x))] (iii) (3 x)(p(x) v q(x))=.[( 3 x)(p(x))v (3 x)(q(x))j (iv) [(V x) (p(x) v

( x) (q(x))] (t x) (p(x) v q(x))

) DE ALENCAR FILHO

esses trs nmeros cada um deles um ira. ada um deles e um

Captulo 17

Quantificaco de Sentencas Abertas Com Mais de Uma Varivel

Ldeira. tda um deles um Ia uma das seguintes mpar) 1. QUANTIFICAO PARCIAL


=

x)

Consideremos, p. ex., a expresso:

( xeA)(2x+y<7)
sendo A = {l, 2,3,4, 5} o universo das variveisx e y. Esta exprcsso, que se pode lei: Existe pelo menos um x e A para o qual se tem 2x + y <7, no uma proposio, visto que o seu valor lgico, embora no dependa dc x (varivel aparente), depende ainda de y
(varivel livre). Portanto, uma sentena aberta em y, cujo conjunto-verdade { 1, 2, 3, 4} , pois, somente para

y = 5 no existe x C A tal que 2x + y <7. Analogamente, a expresso: ( y E A) (2x + y < 10) sendo A = {i, 2, 3,4, 5} o universo das variveis x e y, que se pode ler: Para todo y E A se tem 2x + y < 10, tambm no uma proposio, mas uma sentena aberta em x (varivel livre), cujo conjunto-verdade l, 2} ,pois, somente para x 1 ou x = 2 se tem 2x + y < 10 para todo y E A. De um modo geral, dada uma sentena aberta com mais de uma varivel, a aplicao de um quantificador referido a uma das variveis, transforma a sentena aberta dada numa outra sentena aberta com menos uma varivel livre. Logo, a aplicao sucessiva de quantificadores acaba por transformar urna sentena aberta
com mais de uma varivel numa proposio.

V x) (q(x))J
x) (q(x))] 2. QUANTIFICAO MLTIPLA

3 x) (q(x))j :) v q(x)) Toda a sentena aberta precedida de quantificadores, um para cada varivel, isto . com todas as variveis quantificadas, urna proposio, pois, assume um dos valores lgicos V ou F.
188 EDGARD DE ALENCAR FILHO

Assim, p. cx., so proposies as seguintes expresses: (i) (VxEA)(VyEB)(p(x,y))

(ii) (V x E A) ( y E B) (p(x, y)) (iii) ( 3xEA)(VyEB)(zEC)(p(x,y,z)) I:venzp1os: (1) Consideremos os conjuntos: H = Jorge, Claudie, Paulo} , M {Sucly, Carrnen} e seja p(x, y) a sentena aberta em H x M: x irmo de y. A proposio: (xEH)H yEB)(p(x,y)) se pode lr: Para todo x de H existe pelo menos um y de M tal que x irmo de y. Em outros termos: Cada homem de H irmo de Suely ou de Carmen. A proposio: (3 yEM)(VxEH)(p(x,y)) se pode lr: Pelo menos uma das mulheres de M irm de todos os homens de H. Observe-se que, mudando a ordem dos quantificadores, obtm-se urna proposio diferente. (2) A proposio: (VxEN)(VyeN)((x+y)2 >x2 +y2) se pode ler: Quaisquer que sejam x e y pertencentes a N, (x + y)2 maior que + y2 . Esta proposio tambm se pode escrever:

( x,yEN)((x+y)2 >x2 +y2)


OU

(x+y)2>x2+y2,x,yEN

e obviamen te verdadeira (V), enquanto que a proposio:

(x+y)2>x2+y2, x,yER falsa (F). Costuma-se, para simplificar a notao, omitir a indicao do domnio de cada varivel e escrever, p. ex.: (x+y)2 =x2 +2xy-i-y2, V x,y o que verdadeiro em N e em R.
ODE ALENCAR FILHO INICIAO LGICA MATEMTICA 189

(3) Consideremos os conjuntos A= {l,2,3;4} e B= O,2,4,6,8} e a sentena aberta em A x B: 2x y = 8. A proposio: (VxEA)(3 yEB)(2x+y 8) verdadeira (V), pois, para x = 1, 2, 3. 4 temos y = 6, 4, 2, O E B. A proposio:

(VyEB)(3xEA)(2x+Y 8) falsa (F), pois, para y 8, temos x = O A.


A proposio: (3 yEB)(\txEA)(2x+y 8) M tal que x irmo tambm falsa (F), pois, no existe um y E B tal que para todo x E A seja hely ou de Carmen. 2x + y = 8. Analogamente, tambm falsa (F) a proposio: (3 x EA)( y E B)(2x+ y 8) odos os homens de ares, obtm-se uma 3. COMUTATIVIDADE DOS QUANTIFICADORES 1. Quantificadores da mesma espcie podem ser comutados: +y)2 maior que ( V x) (

v y) (p(x, y)) (t y) ( x) (p(x, y));

(3 x) ( 3 y) (p(x, y)) (3 y) ( 3 x) (p(x, y)) 11. Quantificadores de espcies diferentes no podem em geral ser comutados Exemplificando, seja a sentena aberta x filho de y, o universo das variveis x e y sendo o conjunto H dos seres humanos. A proposio:

( 3 y) (x filho de y) verdadeira (V), mas a proposio: (3 y)(tx)(xfilhodey) lo domnio de cada falsa (F). Seja, agora, a sentena aberta y > x, o universo das variveis x e y sendo o conjunto N dos nmeros naturais. A proposio: (V x) (3 y) (y > x)
(t x) 190 EDGARD DE ALENCAR FILHO

C verdadeira (V), mas a proposio: (3 y) ( x) (y > x) falsa(F).

4. NEGAO DE PROPOSIES COM QUANTIFICADORES


A negao de proposies com mais de um quantificador se obtm mediante a aplicao sucessiva das regras para negao de proposies com um nico quantificador (segundas regras de negao de DE MORGAN). [retilp)los: (1) Negao de proposies com dois quantificadores da mesma espcie: x)(y)(p(x,y)))=. (3 x) ( 3 y) (-p(x, y)); 3 x) ( 3 y) (p(x, y)) ( x) (( 3 y) (p(x, y))) x)( y)(p(x,y)) (2) Negao de proposies com dois quantificadores de espcies diferentes: -(Vx)(3 y)(p(x,y))=(3 x)((3 y)(p(x,y)))= 4=(3 x)(Vy)(--p(x,y)); 3 x)(Vy)(p(x,y))=(V x)(HV y)(p(x,y)))==. (x)(3 y)(p(x,y)) (3) Negao de proposies com trs quantificadores: 3 x) ( 3 y) (V z) (p(x, y, z)) ( x) (-( 3 y) ( V z) (p(x, y, z))) x)(y)(3 z)(--p(x,y,z))

EXERCCIOS
1. Sendo 1, 2, 3,4, 5} o universo das variveis x e y, determinai o conjunto-verdade de cada uma das seguintes sentenas abertas: (a)(3y)(2x+y<7) (b) (x)(2x+y<1O)
ICAR FILHO INICIAAOA LOOIUA MAIMAIILA

2. Sendo 1, 2,..., 9, iO} o universo das variveis x e y, determinar o COnjunto-verdade de cada uma das seguintes sentenas abertas: (a)(y)(x+y<I4) (b) (3y)(x+y<14) 3. Sendo { 1, 2, 3 } o universo das variveis x e y, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: mediantea (a) (9 x)(Vy)(x2 <y+ 1) (b) (tx)(3 y)(x2 +y2 <12)

o quantifi- (e) ( x)

( y)

(x2

+ y2

<12) (d) ( x)

( y) (x2
+ 2y

+ 2y

< lO)

(e) (9 x)(t y)(x2

+ 2y <10) (f) (g) (9 x)( 3 y)(x2 +2y <10)

( x)(

3 y)(x2

<lO)

4. Sendo { 1, 2, 3 } o universo das variveis x, y e z, determinar o valor lgico (V ou F) de cada uma das seguintes proposies:

(a) (9 x)(y)(3 z)(x2 +y2 <2/2) (h) (9 x)(3 y)(z)(x2 +y2 <27.2) 5. Sendo R o conjunto dos nmeros reais, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) (vyeR)(3 xR)(x+y=y) (h) (VxR)(9 yER)(x+y =0) (e) (xR)(9 yeR)(xy=1)

( VyER)(9 xER)(y<x) 6. Sendo A = 1, 2 9, 10 } determinar


(d)
,

o valor lgico (V ou F) dc cada uma das seguintes proposies:

(a) (fxA)(9 yeA)(x+y<14) (b) ( xA)(tyA)(x+y<14)

7. Dar a negao de cada uma das seguintes proposies:


(a) (V x) ( 3 y) (p(x) v q(y)) (b) (3 x) ( y) (p(x) v --q(y)) (e) (3 y)( 3 x)(p(x),\ q(y)) (d) (t x)(3 y)(p(x,y)-q(y)) (e) (3 x)(Vy)(p(x,y)-*q(x,y)) 8. Dar a negao de cada uma das proposies do Exerccio 5. conjunto 9 Demonstrar: (i) (9 x)(y)(x,y))=(y)(9 x)(p(x,y)) (ii) (3 y) ( x) (p(x, y)) ( x) (9 y) (p(x, y))
192 EDGAHD DE ALENCAR IILHO

10. Conjuntos Limitados Seja A um subconjunto no vazio do conjunto R dos nmeros reais (A e A C R). Definio 1: Diz-se que A limitado inferiormente (ou limitado esquerda) se e somente se:

( aER)(VxEA)(ax)
Definio 2: Diz-se que A limitado superiormente (ou limitado direita) se e somente se:

( bER)( xEA)(xh)
Definio 3: Diz-se que A limitado se e somente se:

( a,beR)(xEA)(ax A xb)
ALENCAR FILHO

eais(A#P e ado esquerda) io direita se e CAPTULO 1 1. (a) V (b) F (e) F (d) F (e) V (O F (g) V

Respostas dos Exerccios

(h) F (i)V (j) F (k) F (1) F (m)V (n) F (o)V (p)F (q)V (r)V (s)V (t)V (u)F CAPTULO 2 1. (a) No est frio. (b) Est frio e est chovendo. (e) Est frio OU est chovendo. (d) Est chovendo se e somente se est frio. (e) Se est frio, ento no est chovendo. (f) Est frio ou no est chovendo. (g) No est frio e no est chovendo.

(h) Est frio se e somente se no est chovendo. (i) Se est frio e no est chovendo, ento est frio. 2. (a) Se Carlos feliz, ento Jorge rico. (b) Jorge rico ou Carlos no feliz. (e) Carlos feliz se e somente se Jorge no rico. (d) Se Jorge no rico, ento Carlos feliz. (e) No verdade que Jorge no rico. (f) Se Jorge no rico e Carlos feliz, ento Jorge neo. 3. (a) Claudio fala ingls ou alemo. (b) Claudio fala ingls e alemo. (e) Claudio fala ingls mas no alemo. (d) Claudio no fala ingls e nem alemo. (e) No verdade que Claudio no fala ingls. (f) No verdade que Claudio no fala ingls e nem alemo. 4. (a) No verdade que Joo gacho e Jaime no paulista. (b) No verdade que Joo no gacho.
94

EU(iAHD DE ALENCAR FILHO

No verdadc que Joo no gacho ou que Jaime no paulista. Se Joo gacho, ento Jaime no paulista. Joo no gacho se e somente se Jaime no paulista. No verdade que, se Jaime no paulista, ento Joo gacho. 5. (a) p A q (d) p A q 6. (a) p A q (d) (-p V q) A q

(b) pA-q (e) pv(pAq) (h) pvq (e) H-p v c) (f) (---p v (c) pA--q
7. (a) (p v q) A r (b) (d) -((q V r) A

(p A q) v (p A r) (c) (p A r)
8. (a) x=OV x>O (b) (d) x2 x . x A x0 = 1

xO A y O (e) x>IV x+y=O

9. (a) (x+y=OAz>O)v z=O (e) xOV(x=OAy<O)

lO. (a) x>O-y2


(e) (e) (g) II. x=1v i=2-y>l xy -x+z> 5 Ay+z<5 x<2-x=IV x=O (a) (x>5A x<7)v x6 (e) x>IV(x<1 Ax>O)

(b) x=O A(y+z>x V z=O) (d)(x=yAz=t)V(X<yAz=O)


(b) x+y=2-*z>O (d) z>5-.x1 Ax*2 (f)(x+y>zAzl)-+x+y>I

(h) y=4 A(x<y-*x<5) (b) x <5 A x > 3 x 4


-+

12. (a) F (b) V (e) F (d) V (e) F (f) F (g) F

13. (h) 14. (h) 15. (h)

(a) V F (i) (a) V V (a) V F (i)

(b) V (c) F (d) F V (j) F (k) F (b) V (b) V (e) F V (j) V

(e)V (f)V (g)F (d) F (e) V (f) V (g) F


l. (a) V (b) F (e) V (d) F (e) V (f) F (g) V (li) V (c) (d) (e) (f) (e) F (d) V (e) V (f) F (g) V 17. (a) F (b) F (e) F (d) V (e) V (f) F (g) V
INICIAO LGICA MATEMTICA

195

18. (a) V (b) V


(e) F (d) F (e) V (f) F 19. (a) V(p) V OU V(p) = F (d) V(p) = V ou V(p) F

(b) V(p)=F (e) V(p)=F


(c) V(p)=F (f) V(p)=F 20. (a) V(p) = F e V(q) = V; V(p) = F e V(q) = F (b) V(p)=F e V(q)=F

(e) V(p)=V e V(q)=V (d) V(p)=V e V(Q)=V (e) V(p)=F e V(q)=V CAPTULO 3 (a)
(b)

(e)
(d)

p v --q

(p v q) F F V F -(p_*-.-q)

VVF VFV FVF FFV q

V V F V p-*-.-q

VVF VFV FVF FFV p VF FV FF


p

F V V V q pAq v F F F
q p

V F F F pvq v V V F
q-+p

pAq-pvq v V V V

-.--p-(q-+p)

VVF VFF FVV FFV

V V F V

V V F V

196

EDGARD DE ALENCAR FILHO

2.
(e)
(1)

(g)
(h) (a)

p q

p q

pA q

(pq)pA q

vv
VF FV FF

v
F V V

v
F F F

v
V F F

-q

qA
p

q *-q A p

v
VFV FVF FFV

F V F F

F F F V

i
VVF VFV FVF FFV

p q

q p

(pq)qp

F V V F

V V F V

F V F F

(p

q)

V VV VF FV FF VFFV VVVF FVFV FFVF F V V 1 3 2 1 4

F F V V 2 1 3 VF VF FV FF

V F V F 1

p V V V V F F F F

q V V F F V V F F

p V V V V F F F F

V F V F V F V F

F F F F V V V V 2

F F F F V F V F 4 1 VVV FVV VVF FVF VVV FVV VFF F VF

V V F V V V F V 3

F V F V F V F V 2

V F V F V F V F 1

131

INICIAO LGICA MATEMTICA

(b)
(e)

p V V

q V V

p V V

q V V

V F

V F

V F

V F F

V V

F V

V F

V V F F F F

F F V V F F

V F V F V F

V V F V F F

V F V F V V

V F V F V F F V F F V

F F V V F F

F V V V F V

F V F V F V

V F V F V F 1

p V V V V F F F F

q V V F F V V F F

(p

-*

--

r)

**

v
V V

F V V F V F V F V F V V V V F F F F F V V V V V 1 4 1 3 V V V V F F F F F V F V V V V V

F V F V F V F V 2 1 V F V F V F V F

F V F F V V V F 5 1 V V F F V V F F

V F V F V F V F 1

V F V V V F 2

d)
(i A

q V V F F V V F F

-+

r)

v
V F V V V V V V

(
F F F F

p V V V V F F F F

q V V F F V V F F

v
V V F V

r)

V V V V F F F F

V V F F F F F F

V F V V

V F V F V F V F

F F V F

F V F V

V F V F

V V V V 1 2 1 3 1 5

V V V V 2 1

V V F V 4 1

V V F V 3

F V F V 2

V F V F 1

198 EDGARD DE ALENCAR FILHO

3. (a) VI7FV (b) VVFF (c) FVVF (d) FVVF (e) VFFV (F) FVFV (g) VVFV 4. (a) VVVVVFFF (b) VFVVVFVF (e) FVFFVVVV (d) VVVVVFFF (e) VVFVFVFV (f) FFFFVVFF

5. (a) V (b) F (e) F (d) V (e) F O) V


6. F

7. (a) F (b) V (e) V (d) V


.(a) F (b) F (e)V 9. (a) F (b) V (e) F (d) V (e) V (f) V (g) V (h) V (i) F (j) F (k) V (1) V lO. (a) V (b) F (e) V (d) V (e) V (f) V II. (a) F (b) V c) V (d) V (e) V () F (g)V (h)V 12. (a) V (b) V (e) F (d) V (e) V 13. (a) V (b) V 14. (a) F (b) V (c) V 15. (a) (q*rvq)-+(pA-q) (b) p A q+(q--r vq) (e) (p v q -* r) v

(q A r A q) CAPTULO 4 4. (a), (b), (e), (g), (h) tautolgicas; (d), (e), (1) contingentes CAPFULO 6 8. (a) F (b) V (e) F (d) V
INICIAO LGICA MATEMTICA 199

CAPTULO 7
4. (a) Est frio e no est chovendo. (b) O pai de Marcos no pernambucano e a me no gacha. (c) As vendas esto aumentando ou os preos esto diminuindo. (d) Jorge no estuda Fsica ou estuda Qumica. CAPTULO 8 3. (a) -p A q (b) p v q (e) p A q (d) -p Aq (e) q (f) C (Ctr.) 7. (a) -pv q (b)p (c)pAp (d) pvp (e) -pv -q (f) -p (g) pvp (h) ---p Aq (i) (p v p) A (q v -q) (j) (p v -q) A (-p v q) A q (k) pA(pv q)A(-pv-q) (1) PA(PV -q)A(pvq) (m)(-pv qV r)A(-p q vr)(n) p A(pV q)A r 8. (a) p A q (b) p A (c) -p v (--p A q) (d) -p A q

(e) p v q (f) p v -q (g) p v -p (h) p A


(i) pv q (j) pA -q

(k) -p (1) pvp

CAPTULO 9
1. (a) (pA(q-p))-q (b) (p+q)_(pAq) (c) (p A(p-+q) (qv (r As)))-*rA s

(d) ((x=y-*x=5)A(x=5-+x<z))-+(xy-*x<z) 2.(a) p. qvpq


(b) p*q, pA--qF---s (c) (x<OAyx- x4Ovyx 3. (a) AD (b) SIMP (c) SH (d) MP (e) MT (f) CONJ (g) SD (h) ABS (i) MP (j) MI (k) CONJ (1) AD (iii) SD (n) SH (o) SIMP

CAPTULO 10 5..p----q, pv CAPTULO 14 r, p r; Sofisma


200

4. (a) x = (e) y 1 = 2

(b) xy E R (f) x=y 5. (a) x=0


(e) x > z
EDGARD DE ALENCAR FILHO

3>1 (b)
6. (a)

xi

(d) x4 (e) (b) y<6 7. (a) (e) (d) (e)


p*t sV t----p

x3
rAt

(d) 8. (a) (e) (b) (d)

v -s
XY = O V xy > 3

x = 3 x z xy = 6 y = 2
-* -+

9. (a) (e) (b) (d) -(p A q) v q x<3V x>4

x>3V z<2 x2=4V y2=9

(b) (d)

pvq
x#2V x*8

1. (a) (d)
{3} {2}

(b) { 1,2,3,4k
(e)

{s}

2. (a)

(cl)

{3, 3. {O }
(c) (f)

{2,3} {6,7,8,... (b) { 1,0, i} (e) {4,3}


3. (a) (e)

{ i,3,4}
{4}
(c) (f)

(b)

(f)
{2,2}

{ 3,2}
{i,3} {1} (e) (g) 4. (a) (d) (g) {1}

{ 1,3,9} { 1, 1,2,4)
4) 2, 2, 4 } (d) (h)

{ 1,3,4) {3,4, 7,9)


(b) {xERx2) (e) {2,2 } (h) {i,o}
5. (a)
(c)

(f) {9,lo} (b)

{-i,i} {3,3} {4, IO} (e) {4,9} (cl) { i } 6.

{ (1, 5), (3, 3), (3, 5), (4, 2), (4, 3), (4, 5)}
INICIAO LGICA MATEMTICA

7. { (2, 8), (2, 6), (3, 3), (3, 6) } 8. { (9, 1), (6, 2), (3, 3)} 9. {(2, 3), (2, 5), (3: 2), (3, 4), (3, 5), (4, 3), (4, 5), (5, 2), (5, 3), (5, 4) } 10. { (2, 2), (2, 5), (3, 3), (3, 6), (4, 4), (5, 5), (5, 2), (6, 6), (6, 3) } 11. {(2, 1),(2, 0),(0, 1),(0, 0),(1, 1) } CAPTULO 15 4. (a) { -3, -1, 1, 3} (d) {3,1,1} 5. (a) { 0, 2, 4, 5}(b) 6. VPAq [1, v42

pvq
8V 2 3 pAql5l 9. Vp q= 1, 3, 4, 5,6, 7, 8, 9} Vpq 1,3,4,6,8} 11. (a) CAVp fl CAVq (c) CAVp Li Vq Li Vr

201

(b) { 3, 2,0,2, 3} (e) {3, 2, 1 (e) { 3,2, 3) {0, 2,3,5) (c) {2,4} (d) {o, i}
=

_J 4 Vp A q

V__p 1

-[

Vq..p 1,2, 3, 4, 6, 8} (b) Vp Li CAVq (d) (Vq fl Vr)U(CAVp fl Vr)U CA(VpU Vq)

1.

(a)

{ 1,3, 5}
{O, 1, 3}

(b)

{ 2,4,6, 8}
{0, 1,2,4} {O,2,4

(c)

{3, 6}

(d)

{1, 2,

4,5, 6}

2.

(a)

(b)

(e)

{O,2,3, 5} {o,5

(d)

{1,4,

3.

(a)

{ 4,5}

(b)

(e)

(d)

5}

(e)

{ 0,

1, 4}

(f)

1,2,4, 5}

202 EDGARD DE ALENCAR FILHO

CAPtrULO 16 5. (a) V (b) V (c) F (d) V 6.(a)(VxER)(2xx) (b)(xER)(x2+3x2) (c)(VxER)(x2i-52x) (d)(xER)(2x+3x#5x) 7. (a) V (b) V (c) F (d) V (e) V 8. (a) F (b) F (e) V (d) F 9. (a) F (b) V (e) V (d) F

(O V

10. (a) ( xEA)(x+36) (b) (xEA)(x36) (c)(xEA)(x21O>8) (d)(xEA)(2x2+x15) 11. (a) V (b) F (e) V (d) F (e) V (1) F (g) V 13. (a) 3 (b) No h (a proposio verdadeira) (e) 9 (d) No h (a proposio verdadeira) 14. (a) (e) 15. (b) (c)

( xEA)(x--3<7)

( x E A) (x no (a) ( x E A) (p(x)) v ( x E A) (q(x)) (t x E A) (---xx)) A ( x E A) (--q(x)) ( x E A) (p(x)) A ( x E A) (q(x))

( xEA)(x par) primo) (d) ( x E A) (1 x 1 x)


(b)

(d) ( xEA)(p(x))A(a xEA)(q(x))

( x)(xi-2>7)V (V x)(x2 1 3) (b) (t x)(x2 9)A ( x)(2x-5=7)


16. (a) CAPITULO 17 1. (a) {J,2} (b) 2. (a) {i, 2,3). (b) (1,2 9, io}

3. (a) V (b) B (c) F (d) F (e) V (O F (g) V


INICIAO LGICA MATEMTICA 203

4.(a)V (b)F 5. (a) V (b) V (c) F (d) V 6.(a)V (b)F 7. (a) ( x) ( V y) (-.p(x) A q(y)) (b) ( V x) ( y) (p(x) A q(y)) (c) (V y)(x)(--p(x) v q(y)) (d) (3 x)(y)(p(x,y) A (e) ( x)( 3 y)(p(x,y) A q(x,y)) 8. (a) (3yER)(xER)(x+y#y) (b) (3 xER)(VyER)(xyO) (e) (3 xeR)(y6R)(xy1) (d) (3 yR)(VxR)(yx)

Bibliografia
1. BOSCH. J. Simbolismo Lgico; Eudeba; 1965 2. BURGOS, A. Iniciacin a la Lgica Matemtica; S.C.; 1973 3. CHEIFETZ y AVENOSO Lgica y Teoria de Conjuntos; Alhambra; 1974 4. CHAUVINEAU, J. La Logique Moderne; P.U.F.; 1966 5. COPI, IRVING M. Introduction to Logic; MacMillan; 1963 6. DEANO, A. Introduccin a La Lgica Formal; Alianza; 1973 7. GARRIDO, M. Logica Simblica; Tecnos; 1973 8. HILBERT y ACKERMANN Lgica Terica; Tecnos; 1968 9. KEMENY, SNELL y THOMPSON Matemticas Finitas; Eudeba; 1967 10. LIPSCHUTZ, S. Finite Mathematics; Schaum; 1966 11. LIGHTSTONE, A. H. Symbolic Logic; Harper,d966 12. MORA y LEBLANC - Lgica Matemtica; F.C.E.; 1965 13. MORENO, A. Ejercicios de Logica; Eudeba; 1973 14. MURO, HERMOSA y JACHIMOVICZ Ejercicios de Lgi Paids; 1974 15. MENDELSON, E. - Boolean Algebra; Schaum; 1970 16. NOVIKOV, P. S. Mathematical Logic; Oliver & Boyd; 1964 17. NUNO, J. Elementos de Lgica Formal; EBVC; 1973 18. SUPPES y HILL Lgica Matemtica; Revert; 1973
A EL)ITORA NOBEL procura sempre publicar obras que atendam s necessidades e interesses dos leitores. Com o objetivo de satisfazer de forma cada vez melhor sua expectativa, elaboramos este questionrio. Solicitamos que voc o responda e o envie para a Editora Nobel. Agradecemos desde j por sua colaborao.

P5.: - Se voc no quiser recortar o livro, transcreva o questionrio em urna folha avulsa.

Ttulo ue adquiriu:

Autor: Final idade da compra: 2. Voc j conhecia os livros publicados pela Nobel? Sim E No E 3. Voc j havia adquirido algum livro editado pela Nobel7 Sim O No E 4. Qual a soa opinio sobre os livros editados pela Nobel quanto : Qual idade cdi toral E 01 i ma E l3oa E Rego lar E M Qualidade grflca E Otima E Boa E Regular E M Apresentao grfica E Otima E Boa E Regular E M 5. Quais so suas reas de maior interesse? (Favor numerar, pela ordem de interesse, 1cm brando que o n 1 corresponde quela que mais lhe interessa). E Adio iii sirao O Economia E M arketing O Agricu 1 tora E Engenharia E Negcios E Animais Domsticos E Fruticultura E Pssaros E Artes e Arquitetura O Horticultura E Peixes Ornamentais E Direito E Jardinagem E Psicologia E Ecologia E Literatura E Vendas

E Veterinria e Zoologia 6. Na compra de um livro, o que voc mais leva em considerao? (Favor numerar pela ordem de importncia.) EPreo E Se h ilustraes E Editora E Capa em cores E Coirientrios da imprensa E Tamanho da letra EFormato do livro E Nacionalidade do autor E Exposio em livraria E Nmero de pginas E Assunto abordado E ____________________________

7. De que maneira voc se inlbrma sobre os novos lanamentos da Nobel?


E Jornal/Revista E Folheto/Mala direta E Na prpria li vrari a E Catlogo E TV/Rdio

X. Dados pessoais para cadastramento:


Nome Sexo Masculino E Feminino E Endereo Cidade: _________________________ UF ________ CEP Fone:( ) ___________R._ Fax:( ) Data de nascimento _____________________ Profisso Voc j est cadastrado e receber catlogos e folhetos da ED1IORA NOBEL com ai novidades em sua(s) rea(s) de interesse. Caso no queira entrar no cadastro para ieceber o material promocional, escreva-nos comunicando seu pedido de excluso:

EL)ITORA NOBEL Ce,,t,yi/ de Atendiniento ao Consu,o,do,:

Rua da Balsa, 559 - CEP-029l0-000 So Paulo-SP

Fim da obra