1

APOSTILA

DE

LGICA MATEMTICA

CURSO: SISTEMAS DE INFORMAO

PROF.: MRIO S. TARANTO

 2

SUMRIO

1 INTRODUO LGICA MATEMTICA

1.1 PROPOSIES
1.1.1 VALOR LGICO DAS PROPOSIES
1.1.2 NOTAO
1.1.3 PROPOSIES SIMPLES E PROPOSIES COMPOSTAS
1.2 CONECTIVOS
1.3 TABELA-VERDADE
1.4 OPERAES LGICAS
1.4.1 NEGAO
1.4.2 CONJUNO
1.4.3 DISJUNO
1.4.4 DISJUNO EXCLUSIVA
1.4.5 CONDICIONAL
1.4.6 BICONDICIONAL
1.5 TABELAS-VERDADE DE UMA PROPOSIO COMPOSTA
1.6TAUTOLOGIAS, CONTINGNCIAS E CONTRADIES

2 IMPLICAES E EQUIVALNCIAS LGICAS

2.1 IMPLICAO LGICA
2.1.1 TAUTOLOGIA E IMPLICAO LGICA
2.2 EQUIVALNCIA LGICA E ALGEBRA DAS PROPOSIES
2.2.1 TAUTOLOGIA E EQUIVALNCIA LGICA
2.3 FORMAS NORMAIS DAS PROPOSIES

3 ARGUMENTOS
3.1 DEFINIO DE ARGUMENTO
3.1.1 VALIDADE DE UM ARGUMENTO
3.1.2 CRITRIO DE VALIDADE DE UM ARGUMENTO
3.2 ARGUMENTOS VLIDOS FUNDAMENTAIS
3.3 REGRAS DE INFERNCIA
3.4 VALIDADE MEDIANTE TABELA-VERDADE

4 CLCULO DE PREDICADOS
4.1 SENTENAS ABERTAS COM UMA VARIVEL
4.1.1 CONJUNTOVERDADE DE UMA SENTENA ABERTA COM UMA VARIVEL
4.2 SENTENAS ABERTAS COM n VARIVEIS
4.2.1 CONJUNTOVERDADE DE UMA SENTENA ABERTA COM n VARIVEIS
4.3 OPERAES LGICAS SOBRE SENTENAS ABERTAS
4.4 QUANTIFICADOR UNIVERSAL E EXISTENCIAL
4.5 QUANTIFICADOR DE EXISTNCIA E UNICIDADE
4.6 NEGAO DE PROPOSIES COM QUANTIFICADOR
4.7 QUANTIFICAO DE SENTENAS ABERTAS COM MAIS DE UMA VARIVEL
 3

LGICA MATEMTICA

1 INTRODUO LGICA MATEMTICA

1.1 PROPOSIES

Chama-se proposio todo conjunto de palavras ou smbolos que exprimem um

pensamento de sentido completo.
A Lgica Matemtica adota como regras fundamentais do pensamento os dois seguintes
princpios:

I PRINCPIO DA NO CONTRADIO: Uma proposio no pode ser verdadeira ou falsa ao

mesmo tempo.
II PRINCPIO DO TERCEIRO EXCLUDO: Toda proposio ou verdadeira ou falsa, isto ,
nunca uma terceira condio.

1.1.1 VALOR LGICO DAS PROPOSIES

Chama-se valor lgico de uma proposio a verdade se a proposio verdadeira e a

falsidade se a proposio falsa. Seus valores lgicos so abreviados pelas letras V e F.

1.1.2 NOTAO

O valor lgico de uma proposio simples p indica-se por V(p).

Assim, se a proposio p verdadeira escreve-se V(p) = V. Analogamente, se a proposio p
falsa, escreve-se V(p) = F.
O valor lgico de uma proposio composta P indica-se por V(P).

1.1.3 PROPOSIES SIMPLES E PROPOSIES COMPOSTAS

Chama-se proposio simples ou atmica aquela que no contm nenhuma outra

proposio como parte integrante de si mesma. Essas proposies so geralmente designadas pelas
letras latinas minsculas.

Exemplos:

p: Mrio professor
q: Pedro estudante
r: O nmero 25 quadrado perfeito

Chama-se proposio composta ou molecular aquela formada pela combinao de duas

ou mais proposies. Essas proposies so geralmente designadas pelas letras latinas maisculas.

Exemplos:

P: Mrio professor e Pedro estudante

Q: Pedro estudante, ento feliz
R: O nmero 5 mpar e o nmero 9 quadrado perfeito

As proposies compostas so chamadas de frmulas proposicionais ou apenas de frmulas.

Quando interessa destacar que uma proposio composta formada por determinadas
proposies simples p, q, r, ..., escreve-se: P(p, q, r, ...).
 4

1.2 CONECTIVOS

Chamam-se conectivos palavras que se usam para formar novas proposies a partir de
outras (proposies compostas).

P: Jorge professor e Luis marinheiro

Q: Pedro estudante, ento sabe matemtica
R: O tringulo ABC eqiltero se e somente se eqingulo

So conectivos usuais em Lgica Matemtica: e, ou, no, se ... ento ... , ... se e somente
se...

1.3 TABELA-VERDADE

Segundo o Princpio do Terceiro Excludo, toda proposio simples verdadeira ou falsa. J

as proposies compostas, a determinao do seu valor lgico se faz com base no seguinte princpio:
O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos
das proposies simples componentes, ficando por eles univocamente determinado.
Na prtica, para determinao do valor lgico de uma proposio composta recorre-se quase
sempre a um dispositivo conhecido como tabela-verdade.
Assim, no caso de uma proposio composta cujas proposies simples componentes so p
e q, temos a seguinte tabela-verdade:

p q
1 V V
2 V F
3 F V
4 F F

EXERCCIOS

1 Determine o valor lgico de cada uma das proposies:

a) O nmero 17 primo.
b) -1 < -7
c) 0,131313... uma dzima peridica simples.
d) As diagonais de um paralelogramo so iguais.
e) O hexaedro regular tem 8 arestas.
f) Todo nmero divisvel por 5 termina por 5.
g) O produto de dois nmeros mpares um nmero mpar.
h) N R.
i) 0 N.
j) 2 e 5 so razes da equao x2 -7x +10 = 0.
l) 0 [-4/3, 1[.
m) A B = { x / x A ou x B }.

2 Construa a tabela verdade de uma proposio composta cujas proposies simples componentes
so p, q e r.
 5

1.4 OPERAES LGICAS COM PROPOSIES

1.4.1 NEGAO

Chama-se negao de uma proposio p a proposio representada por no p, cujo valor

lgico a verdade quando p falsa e a falsidade quando p verdadeira.
Assim, no p tem o valor lgico oposto ao valor lgico de p. Simbolicamente indica-se por
~ p.
O valor lgico da negao de uma proposio definido pela seguinte tabela-verdade:

p ~p
V F
F V

1.4.2 CONJUNO

Chama-se conjuno de duas proposies p e q a proposio representada por p e q cujo

valor lgico a verdade quando essas so verdadeiras e a falsidade nos demais casos.
Simbolicamente indica-se pela notao p ^ q, que se l: p e q.
O valor lgico da conjuno de duas proposies definido pela seguinte tabela-verdade:

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

1.4.3 DISJUNO

Chama-se disjuno de duas proposies p e q a proposio representada por p ou q cujo

valor lgico a verdade quando ao menos uma das proposies verdadeira e a falsidade nos em
que ambas so falsas.
Simbolicamente indica-se pela notao p v q, que se l: p ou q.
O valor lgico da disjuno de duas proposies definido pela seguinte tabela-verdade:

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

1.4.4 DISJUNO EXCLUSIVA

Chama-se disjuno exclusiva de duas proposies p e q a proposio representada por ou

p ou q cujo valor lgico a verdade somente quando p verdadeira e q falsa ou vice-versa, e a
falsidade quando ambas so verdadeiras ou ambas so falsas.
Simbolicamente indica-se pela notao p v q, que se l: ou p ou q.
O valor lgico da disjuno exclusiva de duas proposies definido pela seguinte tabela-
verdade:

p q pvq
V V F
V F V
F V V
F F F
 6

1.4.5 CONDICIONAL

Chama-se proposio condicional ou apenas condicional uma proposio representada por

se p ento q, cujo valor lgico a falsidade no caso em que p verdadeira e q falsa e a verdade
nos demais casos.
Simbolicamente indica-se pela notao p q, que se l: p e condio suficiente para q ou
q condio necessria para p.
O valor lgico da condicional de duas proposies definido pela seguinte tabela-verdade:

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

1.4.6 BICONDICIONAL

Chama-se proposio bicondicional ou apenas bicondicional uma proposio representada

por p se e somente se q, cujo valor lgico a verdade nos casos em que ambas so verdadeira ou
ambas so falsas e a falsidade nos demais casos.
Simbolicamente indica-se pela notao p q, que se l: p e condio necessria e
suficiente para q ou q condio necessria e suficiente para p.
O valor lgico da bicondicional de duas proposies definido pela seguinte tabela-verdade:

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

EXERCCIOS

1) Sejam as proposies p: Est frio e q: Est chovendo. Traduzir para a linguagem corrente as
seguintes proposies:

a) ~ p b) p ^ q c) p v q
d) q p e) p q f) p v ~ q
g) ~ p ^ ~ q h) p ~ q i) p ^ ~ q p

2) 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.
 7

3) Determine o valor lgico de cada uma das seguintes proposies:

a) 5 < 0 ^ 13 primo.
b) tg 00 = 1 v tg 900 = 0.
c) Se 1 1 ento -5 > -4.
d) cos 450 = sen 450 se e somente se sen 600 > cos 600.
e) 52 = 32 + 42 v 43 45/42
f) 1 1 2 2
g) 02 = 1 se e somente se (1 + 5)0 = 1
h) tg = 1 se e somente se sen = 0

1.5 TABELASVERDADE DE UMA PROPOSIO COMPOSTA

A construo de uma tabela-verdade de qualquer proposio composta dada, mostrar

exatamente os casos em que a composio verdadeira ou falsa, admitindo-se que o seu valor
lgico depender dos valores lgicos das proposies simples compostas.
A tabela-verdade de uma proposio composta com n proposies simples componentes
contm 2n linhas.

Exemplo: Construa a tabela-verdade da proposio P(p,q) = ~(p ^ ~q).

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

Forma alternativa:

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

Observe que a proposio P(p, q) se associa a cada um dos elementos do conjunto U = {VV,
VF, FV, FF} a um nico elemento do conjunto {V, F}:

P( p, q) : U {V, F}

cuja representao grfica por um diagrama digital a seguinte:

VV. .V
U VF.
FV. .F
FF.

Se suprimirmos as colunas relativas s proposies simples componentes p e q, origina-se o

que se chama de tabela-verdade simplificada.

~ (p ^ ~ q)
V V F F V
F V V V F
V F F F V
 8

V F F V F

EXERCCIOS

1. Determinar P(VFV) em cada um dos seguinte casos:

a) P(p, q, r) = p ^ ~r ~q

b) P(p, q, r) = ~p ^ (q v ~r)

c) P(p, q, r) = ~(p ^ q) ~(p v ~r)

d) P(p, q, r) = (r ^ (p v ~q)) ^ ~(~r v (p ^ q))

e) P(p, q, r) = (p v q r) q v ~r

f) P(p, q, r) = (p v (q ~r)) ^ (~p v r ~q)

2. Construa as tabelas-verdade das seguintes proposies:

a) ~(p v ~q) e) p r q v ~r

b) p ^ q p v ~q f) (p v q r) q v ~r

c) ~p ^ (q v p) g) (p v (q ~r)) ^ (~p v r ~q)

d) ~(p ^ q) ~(p v ~q) h) (r ^ (p v ~q)) ^ ~(~r v (p ^ q))

3. Sabendo que as proposies p e q so verdadeiras e que as proposies r e s so falsas,

determinar o valor lgico (V ou F) de cada uma das seguintes proposies:

a) pq r

b) rsq

c) q ps

d) p ~ r s

e) q s r

f) ~ r pq

g) q r p s

h) r s p q

i) p ~ q r

j) s r p q

1.6 TAUTOLOGIA, CONTRADIO E CONTINGNCIA

 9

1.6.1 TAUTOLOGIA

Chama-se tautologia toda proposio composta cuja ltima coluna de sua tabela-verdade
seja formada somente de valores lgico V (verdade).
As tautologias so tambm denominadas proposies tautolgicas ou proposies
logicamente verdadeiras.

Veja que as proposies p p e p p so tautolgicas (Princpio de identidade para as

proposies):

p ~p p ^ ~p ~(p ^ ~p)
V F F V
F V F V

Portanto, dizer que uma proposio no pode ser ao mesmo tempo verdadeira e falsa
sempre verdadeiro (princpio da no contradio).

p ~p p v ~p
V F V
F V V

Portanto, dizer que uma proposio ou verdadeira ou falsa sempre verdadeiro (princpio
do terceiro excludo).

Exemplo: Verifique se as proposies p ^ q (p q) e p ^ r ~q v r so tautolgicas.

p q p^q pq p ^ q (p q)
V V V V V
V F F F V
F V F F V
F F F V V

p q r ~q p^r ~q v r p ^ r ~q v r
V V V F V V V
V V F F F F V
V F V V V V V
V F F V F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V

1.6.2 CONTRADIO

Chama-se contradio toda proposio composta cuja ltima coluna de sua tabela-verdade
seja formada somente de valores lgico F (falsidade).
As contradies so tambm denominadas proposies contravlidas ou proposies
logicamente falsas.

Veja que as proposies p ^ ~p e p ~p so contradies:

p ~p p ^ ~p
V F F
F V F

p ~p p ~p
 10

V F F
F V F

Portanto, dizer que uma proposio pode ser ao mesmo tempo verdadeira e falsa sempre
falso.

Exemplo: Verifique se as proposies (p ^ q) ^ ~(p v q) e ~p ^ (p ^ ~q) so contradies.

p q p^q pvq ~(p v q) (p ^ q) ^ ~(p v q)

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

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

1.6.3 CONTINGNCIA

Chama-se contingncia toda proposio composta cuja ltima coluna de sua tabela-verdade
seja formada pelos valores lgico V (verdade) e F (falsidade) cada um pelo menos uma vez. Em
outras palavras, contingncia toda proposio composta que no tautologia nem contradio.
As contingncias so tambm denominadas proposies contingentes ou proposies
indeterminadas.

EXERCCIOS

1. Determinar quais das seguintes proposies so tautolgicas, contravlidas ou contingentes:

a) p (~p q)

b) p (q (q p))

c) p v ~q (p ~q)

d) p (p v q) v r

e) ~p v q (p q)

f) ((p q) q) p

g) ~p v ~q (p q)

h) p ^ q (p q v r)

i) ~(p q) v (p ^ ~q) v (~p ^ q)

 11

2 IMPLICAO E EQUIVALNCIA LGICA

2.1 IMPLICAO LGICA

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).

2.1.1 TAUTOLOGIA E IMPLICAO LGICA

A proposio P(p, q, r, ...) implica uma proposio Q(p, q, r, ...):

P(p, q, r, ...) Q(p, q, r, ...)

se e somente se a condicional P(p, q, r, ...) Q(p, q, r, ...) tautolgica.

Exemplo: Verifique se a proposio p ^ ~p implica a proposio q e se a proposio (p q) ^

p implica a proposio q.

p q ~p p ^ ~p p ^ ~p q
V V F F V
V F F F V
F V V F V
F F V F V

Se a condicional p ^ ~p q tautolgica, temos ento que p ^ ~p q.

p q Pq (P q) ^ p (P q) ^ p q
V V V V V
V F F F V
F V F F V
F F V F V

Se a condicional (p q) ^ p q tautolgica, temos ento que (p q) ^ p q.

2.2 EQUIVALNCIA LGICA

Diz-se que uma proposio P(p, q, r, ...) logicamente equivalente ou apenas equivalente
a uma proposio Q(p, q, r, ...), se as tabelas-verdade dessas duas proposies so idnticas.

2.2.1 TAUTOLOGIA E EQUIVALNCIA LGICA

A proposio P(p, q, r, ...) equivalente a uma proposio Q(p, q, r, ...):

P(p, q, r, ...) Q(p, q, r, ...)

se e somente se a bicondicional P(p, q, r, ...) Q(p, q, r, ...) tautolgica.

Exemplo: Verifique se a proposio " p ~ q r " , sendo r uma proposio totalmente

falsa, equivalente a proposio " p q" e se a proposio " p q r "
equivalente a proposio " p ( q r )"
 12

p q (p ^ ~q r) (p q)
V V V F F V F V V V V
V F V V V F F V V F F
F V F F F V F V F V V
F F F F V V F V F V F

" ( p ~ q r ) ( p q)"
Se a bicondicional tautolgica, temos

ento que " ( p ~ q r ) ( p q )" .

(p ^ q r) (p (q r))
V V V V V V V V V V V
V V V F F V V F V F F
V F F V V V V V F V V
V F F V F V V V F V F
F F V V V V F V V V V
F F V V F V F V V F F
F F F V V V F V F V V
F F F V F V F V F V F

Se a bicondicional" ( p q r ) ( p (q r ))" tautolgica,

temos ento que " ( p q r ) ( p ( q r ))" .

EXERCCIOS

1. Demonstrar por tabelas-verdade as seguintes implicaes:

a) q p q

b) p (q ( q p ))

c) p ( p q ) r

d) p q ( p q r )

2. Demonstrar por tabelas-verdade as seguintes equivalncias:

a) p p q p

b) p p q p

c) p p q p q

d) q p q p q

e) p q p r p q r

f) p q p r p q r

g) p q r p ~ r ~ q
 13

3 ARGUMENTOS

3.1 DEFINIO DE ARGUMENTO

Sejam P1, P2, ... , Pn (n 1) e Q proposies quaisquer, simples ou compostas.

Chama-se argumento toda a afirmao de que uma dada seqncia finita de proposies P 1,
P2, ... , Pn (n 1) tem como conseqncia ou acarreta uma proposio final Q.
As proposies P1, P2, ... , Pn so as premissas do argumento, e a proposio final Q, a
concluso do argumento.
Um argumento de premissas P1, P2, ... , Pn e de concluso Q indica-se por:

P1, P2, ... , Pn I Q

e se l da seguinte maneira: P1, P2, ... , Pn acarreta Q.

Um argumento que consiste em duas premissas e uma concluso chama-se silogismo.

3.1.1 VALIDADE DE UM ARGUMENTO

Um argumento P1, P2, ... , Pn I Q vlido se e somente se a concluso Q verdadeira todas

as vezes que as premissas P1, P2, ... , Pn forem verdadeiras.
Um argumento vlido goza da seguinte propriedade: A verdade das premissas
incompatvel com a falsidade da concluso.
A validade de um argumento depende exclusivamente da relao existente entre as
premissas e a concluso.
Um argumento no-vlido chama-se sofisma.

3.1.2 CRITRIO DE VALIDADE DE UM ARGUMENTO

Teorema: Um argumento P1, P2, ... , Pn I Q valido se e somente se a condicional:

( P1 P2 ... Pn ) Q

tautolgica.

A validade ou no-validade de um argumento depende apenas de sua forma.

Assim, para o argumento vlido p I p q segue a validade dos argumentos:

~ p r I ~ p r ~ s r

p r s I p r s ~ r s
pois tambm tm a mesma forma.

3.2 ARGUMENTOS VLIDOS FUNDAMENTAIS

So argumentos vlidos fundamentais ou bsicos os seguintes:

I. Adio (AD):

(a) p I pq; (b) p I q p

II.Simplificao (SIMP):

(a) p q I p; (b) p q I q

III. Conjuno (CONJ):

 14

(a) p, q I pq; (b) p, q I q p

IV. Absoro (ABS):

p q I p p q

V. Modus ponens (MP):

p q , p I q

VI. Modus tollens (MT):

p q , ~q I ~p

VII. Silogismo disjuntivo (SD):

(a) p q , ~p I q; (b) p q , ~q I p

VIII. Silogismo hipottico (SH):

p q , q r I p r

IX. Dilema construtivo (DC):

p q , r s , p r I q s

X. Dilema destrutivo (DD):

p q , r s , ~ q ~ s I ~ p ~ r

A validade destes argumentos conseqncia da construo de suas tabelas-verdade.

3.3 REGRAS DE INFERNCIA

Os argumentos vlidos fundamentais so usados para fazer inferncias.

Quando colocamos as premissas sobre um trao horizontal e a concluso sob o mesmo
trao, chamamos de regra de inferncia.

I. Adio (AD): II.Simplificao (SIMP):

p p pq pq
(a) ; (b) (a) ; (b)
pq q p p q

III. Conjuno (CONJ): IV. Absoro (ABS):

p p pq
(a) q ; (b) q p p q
pq q p
 15

V. Modus ponens (MP): VI. Modus tollens (MT):

pq pq
p ~q
q ~ p

VII. Silogismo disjuntivo (SD): VIII. Silogismo hipottico (SH):

pq pq pq
(a) ~ p ; (b) ~ p qr
q p pr

IX. Dilema construtivo (DC): X. Dilema destrutivo (DD):

p q p q
r s r s
pr ~ q ~ s
qs ~ p ~ r

Com o auxlio destas regras de inferncia pode-se demonstrar a validade de um grande

nmero de argumentos mais complexos.

3.4 VALIDADE MEDIANTE TABELAVERDADE

As tabelas-verdade podem ser usadas para demonstrar a validade de qualquer argumento e

consiste na sua construo com uma coluna para cada premissa e uma para a concluso,
identificando as linhas em que os valores lgicos das premissas so todos V. Nessas linhas, o valor
lgico da concluso Q, para que o argumento seja vlido, tambm deve ser V. Quando isso no
ocorrer, o argumento dado no-vlido e chamado de sofisma.

Uma outra maneira de demonstrar a validade de um argumento consiste em construir a

condicional associada:

( P1 P2 ... Pn ) Q

E identificar se tautolgica ou no. Caso seja, o argumento vlido, do contrrio, um sofisma.

EXERCCIOS

1) Verifique a validade dos argumentos abaixo:

a) p q , q I p

b) p q , ~p I ~q

c) p q , q I p
 16

d) p q , ~q, p r I r

e) p q r , ~r I ~q

f) ~ p q , p I ~q

g) p q I p q r

2) Verifique a validade dos argumentos abaixo:

a) Se 8 no par, ento 5 no primo

Mas 8 par
Logo, 5 primo

b) Se 7 menor que 4, ento 7 no primo

7 no menor que 4
Logo, 7 primo

c) Se 7 primo, ento 7 no divide 21

7 divide 21
Logo, 7 no primo

d) Se chove, Marco fica resfriado

Marco no ficou resfriado
Logo, no choveu

e) Se 8 par, ento 3 no divide 7

Ou 5 no primo ou 3 divide 7
Mas 5 primo
Portanto, 8 mpar

f) Se x = 0, ento x + y = y
Se y = z, ento x + y y
Logo, se x = 0, ento y z

4 CLCULO DE PREDICADOS

4.1 SENTENAS ABERTAS COM UMA VARIVEL

 17

Chama-se sentena aberta com uma varivel em um conjunto A, uma expresso p(x) tal
que p(a) falsa ou verdadeira para todo a A.
O conjunto A recebe o nome de conjunto-universo da varivel x e qualquer elemento a A
diz-se um valor da varivel x.
Uma sentena aberta com uma varivel em A chama-se funo proposicional em A.

So alguns exemplos de sentenas abertas em N:

a) x+1>8
b) x2 5x + 6 = 0
c) x+9=5
d) x divisor de 10
e) x mltiplo de 3

4.1.1 CONJUNTOVERDADE DE UMA SENTENA ABERTA COM UMA VARIVEL

Chama-se conjunto-verdade de uma sentena aberta p(x) em um conjunto A, o conjunto de

todos os elementos a A tais que p(a) uma proposio verdadeira.
Este conjunto representa-se por Vp. Simbolicamente temos:

Vp = {x / x A p(x)}

Em uma sentena aberta em um conjunto A podem ocorrer que:

Vp = A (universal);

Vp A (possvel); e

Vp = (impossvel).

EXERCCIOS

1) Determine o conjunto-verdade das seguintes sentenas abertas em N e classifique-as:

a) x + 1 > 8 d) 4x2 1 = 0

b) x + 7 < 5 e) x mltiplo de 5

c) x2 5x = 0 e) x 1 < 4

2) Determine o conjunto-verdade das seguintes sentenas abertas em Z e classifique-as:

a) x + 5 > 3 d) x2 2x > 0

b) x divisor de 10 e) 4x2 1 = 0

c) 2x2 + 5x = 0 f) x2 < 3

3) Determinar o conjunto-verdade em A = {1, 3, 4, 7, 9, 11} de cada uma das seguintes sentenas

abertas e classifique-as:
 18

a) x2 < 25 d) x divisor de 27

b) x2 + 3 A e) 3 x < 10

c) x3 4x2 = 0 f) 2 x 5 5

4.2 SENTENAS ABERTAS COM n VARIVEIS

Chama-se sentena aberta com n variveis em A 1 A2 ... An, uma expresso p(x1,
x2, ... , xn) tal que p(a1, a2, ... , an) falsa ou verdadeira para todo n-upla (a 1, a2, ... , an) A1 A2 ...
An.
O conjunto A1 A2 ... An recebe o nome de conjunto-universo das variveis x1, x2, ... , xn,
e qualquer elemento (a1, a2, ... , an) A1 A2 ... An diz-se uma n-upla de valores das variveis x 1,
x2, ... , xn.
Uma sentena aberta com n variveis em A1 A2 ... An chama-se funo proposicional
com n variveis em A1 A2 ... An.

Exemplo 1: Sejam os conjuntos A = {1, 2, 3} e B = {5, 6}. So alguns exemplos de sentenas

abertas em A B as seguintes expresses:

a) x menor que y
b) x divisor de y
c) x a metade de y
d) mdc (x, y) = 1

Exemplo 2: Seja N o conjunto dos nmeros naturais. A expresso x + 2y + 3z < 7 uma

sentena aberta em N N N.

4.2.1 CONJUNTOVERDADE DE UMA SENTENA ABERTA COM n VARIVEIS

Chama-se conjunto-verdade de uma sentena aberta p(x1, x2, ... , xn) em A1 A2 ... An, o
conjunto de todas as n-uplas (a 1, a2, ... , an) A1 A2 ... An tais que p(a1, a2, ... , an) uma
proposio verdadeira.
Este conjunto representa-se por Vp. Simbolicamente temos:

Vp = {(x1, x2, ... , xn) / x1 A1 x2 A 2 ... xn A n p(x1, x2, ... , xn)}

EXERCCIOS

1) Sendo A = {1, 3, 4} e B = {2, 3, 5}, determine o conjunto-verdade da sentena aberta x + y > 5 em

A x B.

2) Sendo A = {2, 3, 5} e B = {3, 6, 8, 11}, determine o conjunto-verdade da sentena aberta x/y (x

divide y) em A x B.

3) Determine o conjunto-verdade da sentena aberta x + y + z = 3 em N x N x N, sendo N o

conjunto dos nmeros naturais.

4) Determine o conjunto-verdade da sentena aberta mdc (x, y) = 1 em A x A, sendo A = {2, 3, 4, 5}.

4.3 OPERAES LGICAS SOBRE SENTENAS ABERTAS

 19

So operaes lgicas sobre sentenas abertas as mesmas operaes lgicas utilizadas

para as proposies.

Exemplo 1: Sendo A = {1, 2, , 5, 30 , 8} e as sentenas abertas em A x > 2 e x < 7,

construa a tabela-verdade da conjuno entre elas.

x x>2 x<7 x>2x<7

1 F V F
2 F V F
V V V
5 V V V
30 V V V
8 V F F

O conjunto-verdade da sentena aberta x > 2 x < 7 verificado em sua coluna por todos
os elementos x A tal que o valor lgico a verdade.

V p q {, 5, 30 }

Exemplo 2: Sendo A = {1, 1, , 5, 30 , 7} e as sentenas abertas em A x < 3 e x > 5, construa a

tabela-verdade da disjuno entre elas.

x x<3 x>5 x<3 x>5

1 V F V
1 V F V
F F F
5 F F F
30 F V V
7 F V V

O conjunto-verdade da sentena aberta x < 3 x > 5 verificado em sua coluna por todos
os elementos x A tal que o valor lgico a verdade.

V p q {1, 1, 30 , 7}

Exemplo 3: Sendo A = {1, 2, , 5, 30 , 8} e as sentenas abertas em A x > 2 e x < 7, construa a

tabela-verdade da condicional entre elas.

x x>2 x<7 x>2x<7

1 F V V
2 F V V
V V V
5 V V V
30 V V V
8 V F F

O conjunto-verdade da sentena aberta x > 2 x < 7 verificado em sua coluna por

todos os elementos x A tal que o valor lgico a verdade.

V p q {1, 2, , 5, 30 }

Exemplo 4: Sendo A = {1, 1, , 5, 30 , 7} e as sentenas abertas em A x < 3 e x > 5, construa a

tabela-verdade da bicondicional entre elas.

x x<3 x>5 x<3 x>5

 20

1 V F F
1 V F F
F F V
5 F F V
30 F V F
7 F V F

O conjunto-verdade da sentena aberta x < 3 x > 5 verificado em sua coluna por

todos os elementos x A tal que o valor lgico a verdade.

V p q {, 5}

EXERCCIOS

1) Determine o conjunto-verdade em A = {1, 2, 3, ... , 9, 10} das seguintes sentenas abertas

compostas atravs da tabelaverdade:

a) x < 7 x mpar b) x par x + 2 10

c) 3/x x < 8 d) (x + 4) A (x2 5) A

2) Determine o conjunto-verdade em A = {0, 1, 2, 3, 4, 5} das seguintes sentenas abertas

compostas atravs da tabelaverdade:

a) x2 3x = 0 x2 = x b) x par x2 < 9

c) x primo (x + 5) A d) x2 16 x2 6x + 5 = 0

3) Determine o conjunto-verdade em A = {0, 1, 2, 3, 4, 5} das seguintes sentenas abertas

compostas atravs da tabelaverdade:

a) x par x2 1 = 0 b) x/12 x primo

c) x2 + x 6 < 0 x2 9 = 0 d) x2 1 0 x2 + 4x + 3 = 0

4) Determine o conjunto-verdade em A = {1, 2, 3, ... , 9, 10} das seguintes sentenas abertas

compostas atravs da tabelaverdade:

a) x2 3x = 0 x2 x = 0 b) x par x2 < 8

c) x primo (x + 3) A d) x2 > 12 x2 5x + 6 = 0

4.4 QUANTIFICADOR UNIVERSAL E EXISTENCIAL

4.4.1 QUANTIFICADOR UNIVERSAL

 21

Seja p(x) uma sentena aberta em um conjunto no vazio A e seja Vp o seu conjunto-
verdade:

V p = {x / x A p(x)}

Quando V p = A, ou seja, todos os elementos do conjunto A satisfazem a sentena aberta

p(x), podemos afirmar que para todo elemento x que pertence a A, p(x) verdadeira.

Simbolicamente temos:

( x A) (p(x))

Por equivalncia, temos:

( x A) (p(x)) V p = A

O smbolo representa uma operao lgica que transforma a sentena aberta p(x) em
uma proposio verdadeira ou falsa. Esta operao chama-se quantificador universal.

Exemplo: Determine o valor lgico das seguintes proposies:

a) ( n N) (n + 5 > 3)

Como o conjunto-verdade da sentena aberta p(n): n + 5 > 3 :

V p = {n / n N n + 5 > 3} = {1, 2, 3, ... } = N,

logo: ( n N) (n + 5 > 3) verdadeira.

b) ( n N) (n + 3 > 7)

Como o conjunto-verdade da sentena aberta p(n): n + 3 > 7 :

V p = {n / n N n + 3 > 7} = {5, 6, 7, ... } N,

logo: ( n N) (n + 3 > 7) falsa.

c) ( x R) (x2 0)

Como o conjunto-verdade da sentena aberta p(x): x2 0 :

V p = {x / x R x2 0} = R,

logo: ( x R) (x2 0) verdadeira.

4.4.2 QUANTIFICADOR EXISTENCIAL

Seja p(x) uma sentena aberta em um conjunto no vazio A e seja Vp o seu conjunto-
verdade:

V p = {x / x A p(x)}
 22

Quando V p , ou seja, pelo menos um elemento do conjunto A satisfaz a sentena aberta

p(x), podemos afirmar que existe pelo menos um x que pertence a A, tal que p(x) verdadeira.

Simbolicamente temos:

( x A) (p(x))

Por equivalncia, temos:

( x A) (p(x)) V p

O smbolo representa uma operao lgica que transforma a sentena aberta p(x) em
uma proposio verdadeira ou falsa. Esta operao chama-se quantificador existencial.

Exemplo: Determine o valor lgico das seguintes proposies:

a) ( n N) (n + 4 < 8)

Como o conjunto-verdade da sentena aberta p(n): n + 4 < 8 :

V p = {n / n N n + 4 < 8} = {1, 2, 3} ,

logo: ( n N) (n + 4 < 8) verdadeira.

b) ( n N) (n + 5 < 3)

Como o conjunto-verdade da sentena aberta p(n): n + 5 < 3 :

V p = {n / n N n + 5 < 3} = ,

logo: ( n N) (n + 5 < 3) falsa.

c) ( x R) (2x 1 = 0)

Como o conjunto-verdade da sentena aberta p(x): 2x 1 = 0 :

V p = {x / x R 2x 1 = 0} = {1/2} ,

logo: ( x R) (2x 1 = 0) verdadeira.

4.5 QUANTIFICADOR DE EXISTNCIA E UNICIDADE

Seja p(x) uma sentena aberta em um conjunto no vazio A e seja Vp o seu conjunto-
verdade:

V p = {x / x A p(x)}
 23

Quando V p , ou seja, exatamente um elemento do conjunto A satisfaz a sentena aberta

p(x), podemos afirmar que existe um x que pertence a A e somente um, tal que p(x) verdadeira.

Simbolicamente temos:

( ! x A) (p(x))

O smbolo ! representa uma operao lgica que transforma a sentena aberta p(x) em
uma proposio verdadeira ou falsa. Esta operao chama-se quantificador existencial de
unicidade.

Exemplo: Determine o valor lgico das seguintes proposies:

a) ( ! x N) (x2 9 = 0)

Como o conjunto-verdade da sentena aberta p(x): x2 9 = 0 :

V p = {x / x N x2 9 = 0} = {3},

logo: ( ! x N) (x2 9 = 0) verdadeira.

b) ( ! x N) (x2 5x + 4 = 0)

Como o conjunto-verdade da sentena aberta p(x): x2 5x + 4 = 0 :

V p = {x / x N x2 5x + 4 = 0} = {1, 4},

logo: ( ! x N) (x2 5x + 4 = 0) falsa.

c) ( ! n R) (2n 1 = 0)

Como o conjunto-verdade da sentena aberta p(n): 2n 1 = 0 :

V p = {n / n R 2n 1 = 0} = {1/2},

logo: ( ! n R) (2n 1 = 0) verdadeira.

EXERCCIOS

1) Determine o valor lgico em cada uma das seguintes proposies:

a) ( x R) (x + 1 > x) b) ( ! x N) (2x2 + 3x = 1)
 24

c) ( x R) (x2 + 1 = 0) d) ( x R) (x2 = x)

e) ( ! x N) (x2 9x 10 = 0) f) ( ! x R) (x1/2 5 = 0)

g) ( x R) ( x = x)
h) ( x R) (3x + 2 < 5)

2) Sendo A = {1, 2, 3, 4}, determine o valor lgico em cada uma das seguintes proposies:

a) ( x A) (x + 1 < 4) b) ( x A) (x + 3 < 6)

c) ( x A) (x2 10 8) d) ( x A) (2x2 + x = 15)

e) ( ! x A) (x 1 > 2) f) ( x A) (x2 > 1)

g) ( x A) (12/x) h) ( ! x A) (x1/2 2 = 0)

4.6 NEGAO DE PROPOSIES COM QUANTIFICADOR

4.6.1 REGRAS DE MORGAN

I. Negar que duas dadas proposies so ao mesmo tempo verdadeiras equivale a afirmar
que uma pelo menos falsa.
 25

~ p q ~ p ~ q

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

Exemplo: Negue a proposio Ana inteligente e estuda: Ana no inteligente ou no estuda.

II. Negar que uma pelo menos de duas proposies verdadeira equivale a afirmar que
ambas so falsas.

~ p q ~ p ~ q

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

Exemplo: Negue a proposio Joo mdico ou professor: Joo no mdico e no professor.

Estas Regras de MORGAN mostram que a negao transforma a conjuno em disjuno e

a disjuno em conjuno e que como possvel definir a disjuno a partir da conjuno e da
negao ou a conjuno a partir da disjuno e da negao:

p q ~ ~ p ~ q

p q ~ ~ p ~ q

4.7 QUANTIFICAO DE SENTENAS ABERTAS COM MAIS DE UMA VARIVEL