Unidade 1 – Sentenças e Representação simbólica

Unidade 1 – Sentenças, Representação Simbólica,

Tautologia, Contradição e Contingência.

1 – Introdução e Conceitos Iniciais:

Geralmente nos expressamos, em português, através de gestos da fala e da escrita. No caso
da escrita utilizamos interrogações, exclamações e conjunções expressadas em sentenças, que por
sua vez, podem ser verdadeira ou falsa. Existem sentenças do tipo:

 A nota obtida em lógica depende do número de questões que acertar.

 Dez é menor do que sete.
 Existem formas de vida em outros planetas.

Ou seja, observa-se que as sentenças são passíveis de serem verdadeiras ou falsas. E

justamente a interpretação da veracidade de sentenças que a lógica trata.

Na lógica matemática temos duas regras fundamentas:

I – Princípio da não contradição: Uma proposição não pode ser verdadeira e falsa ao
mesmo tempo.
II – Princípio do terceiro excluído: Uma proposição é falsa ou verdadeira, não havendo
um terceiro caso.

Proposição: É um conjunto de símbolos que exprimem um pensamento de sentido

completo. Ou simplesmente, é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

 A lua é um satélite da terra. (verdadeira)

   5 . (falsa)
 Vasco da Gama descobriu o Brasil. (falsa)

Valores lógicos de uma proposição: O valor lógico de uma proposição é V se a proposição

for verdadeira e F se ela for falsa.

Proposições simples e composta: Proposição simples é aquela que expressa uma única
idéia, ou seja, não contém nenhuma outra proposição como parte integrante de si mesma. Em geral
são referenciadas por letras minúsculas. Já uma proposição composta é aquela formada por uma
combinação de mais de uma proposição simples, estas são em geral referenciadas por letras
maiúsculas. Exemplo:

q: Pedro é estudante. Q: Carlos é careca e Pedro é estudante.

r: 25 é quadrado perfeito. R: Se carlos é careta, então é feliz.

Quando deseja-se destacar que uma proposição composta P é formada pela combinação de
proposições simples q, r, s, ...; então escreve-se:

P q , r , s ,  
Unidade 1 – Sentenças e Representação simbólica

2 – Conectivos Lógicos:

Os conectivos são expressões utilizadas para compor novas proposições. Exemplos:

 P: O número 6 é par e o número 8 é cubo perfeito.

 Q: Não está chovendo.
 R: O triângulo é retângulo ou isósceles.
 S: O triângulo é equilátero se e somente se é equiângulo.
 T: Se Jorge é engenheiro, então sabe cálculo.

Assim, na lógica, destaca-se os conectivos usuais

e não ou se e somente se se ... então

3 – Tabela Verdade:
No caso de proposições compostas recorre-se ao uso da tabela verdade para verificar o valor
lógico da proposição, ou seja, a tabela retrata todos os possíveis valores lógicos.
Exemplos:

1. Considerando a proposição pq , r  têm-se:

q r
V V
V F Temos 2 2  4 combinações
F V
F F

2. Considerando agora a proposição pq , r , s  têm-se:

q r s
V V V
V V F
V F V
V F F Temos 2 3  8 combinações
F V V
F V F
F F V
F F F
Unidade 1 – Sentenças e Representação simbólica

3. Considerando agora a proposição pq , r , s , t  têm-se:

q r s t
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
Temos 2 4  16 combinações
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F

A notação mais usual para o valor lógico de uma proposição P é V(P), assim se P é
verdadeira os falsa escreve-se; V(P) = V ou V(P) = F.
Por exemplo, a proposição:
“ R: 2 é raiz da equação x 2  3 x  4  0 ”
têm valor lógico V(R) = F.

4 – Exercícios:
1. Determinar o valor lógico de cada uma das seguintes proposições:

a) O número 17 é primo. resp: verdadeiro b) Tiradentes morreu afogado. resp: falso

c) 0,13131313... é uma dízima periódica. d) As diagonais de um paralelogramo são
resp: Verdadeiro iguais. resp: Falso
e) sen2 30  sen2 60  2 . resp: Falso f) 0, 4 e -4 são raízes da equação
x 3  16x  0 . resp: verdadeiro
g) 3  5   3 2  5 2 . resp: Falso h) b)  1  7 . resp: falso
2

i) Todo número divisível por 5 termina j) O número 125 é cubo perfeito. resp:
por 5. resp: Falso verdadeiro
  l) O produto de dois números ímpares é um
k) tg  tg . resp: Falso
4 6 número ímpar. resp: verdadeiro
Unidade 1 – Sentenças e Representação simbólica

5 – Operações Lógicas Sobre Proposições:

Negação (~): A negação da proposição P é representada por ~P, cuja tabela verdade fica:

P ~P
V F
F V

Exemplo:
1. P: 2  3  5 ~P: 2  3  5
2. R: Carlos é mecânico ~R: Carlos não é mecânico
3. S: todos os homens são elegantes ~S: Nem todos os homens são elegantes
4. T: Nenhum homem é elegante ~T: Algum homem é elegante

Conjunção (  , .): Dadas duas proposições P e Q, a conjunção é representada por P  Q ou

P.Q cuja tabela verdade fica:

P Q PQ
V V V
V F F
F V F
F F F

Exemplo:
1. P: A neve é branca P  Q : A neve é branca e 2  5
Q: 2  5
2. R:   4 
R  S:   4 e sen 0
 2
S: sen 0
2

Disjunção (  , +): Dadas duas proposições P e Q, a disjunção é representada por P  Q ou

P + Q cuja tabela verdade fica:

P Q PQ
V V V
V F V
F V V
F F F

Exemplo:
1. P: A neve é branca P  Q : A neve ou branca e 2  5
Q: 2  5
Unidade 1 – Sentenças e Representação simbólica

2. R:   4 
R  S:   4 ou sen 0
 2
S: sen 0
2

Disjunção Exclusiva (  ,  ): Dadas duas proposições P e Q, a disjunção exclusiva é


representada por P  Q ou P  Q cuja tabela verdade fica:

A tabela verdade de duas proposições H e K, da disjunção exclusiva fica:

P Q P Q


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

Exemplo:
1. Considere as proposições P e Q abaixo:
P: Carlos é médico ou professor.
Q: Mário é alagoano ou gaúcho.

Em P, Carlos pode ser médico; pode ser professor ou ainda pode ser médico e professor.
Mas em Q, Mário é alagoano ou gaúcho. Assim em P temos a disjunção inclusiva (ou simplesmente
disjunção) enquanto que em Q temos a disjunção exclusiva.

Condicional (  ): Dadas as proposições P e Q, a condicional é representada por P  Q

cuja tabela verdade fica:

P Q P Q
V V V
V F F
F V V
F F V

Exemplo:
1. P: O mês de maio têm 31 dias P  Q : Se o mês de maio têm 31 dias, então a
Q: A Terra é plana terra é plana
2. R: Dante escreveu os lusíadas R  S: Se Dante escreveu os lusíadas, então
S: Cantor criou a teoria dos Cantor criou a teoria dos conjuntos.
Conjuntos

OBS: Uma condicional P  Q não afirma que o consequente Q se deduz ou é consequência

do antecedente P. O que o condicional afirma é uma relação entre os valores lógicos de P e
Q de acordo com a tabela verdade.
Unidade 1 – Sentenças e Representação simbólica

Bicondicional (  ): Dadas as proposições P e Q, o bicondicional é representado por

P  Q cuja tabela verdade fica:

P Q PQ
V V V
V F F
F V F
F F V

O bicondicional também pode ser lido da seguinte maneira:

i) P é condição necessária e suficiente para Q, e

ii) Q é condição necessária e suficiente para P

Exemplo:
1. P: Lisboa é a capital de Portugal P  Q : Lisboa é a capital de Portugal se e
 
Q: tg 3 somente se tg 3
4 4
2. R: A terra é plana R  S: A terra é plana se e somente se 2 é um
S: 2 é um número racional número racional

6 – Exercícios:
1. Sejam as proposições,
P: Está frio
Q: Está chovendo
Traduzir para a linguagem corrente as seguintes proposições.

(a) ~ P Não está frio.

(b) P  Q Está frio e está chovendo. Está frio e chovendo.
(c) P  Q Está frio ou está chovendo. Está frio ou chovendo.
(d) Q  P Está chovendo se e somente se está frio.

2. Determinar o valor lógico de cada uma das seguintes proposições:

(a) 3  2  7 e 5  5  10 Resp: F
(b) 1  0  2  2  4 Resp: V
(c) Roma é a capital da França ou tg 45  1 Resp: V

(d) 5 2  10   é racional Resp: F

(e) Se 3  2  6 então 4  4  9 Resp: V
Unidade 1 – Sentenças e Representação simbólica

(f) 3  2  20  2 Resp: F
(g) tg  1 se e somente se sen  0 Resp: F

(h)  1  1   2  2 Resp: V
(i) Não é verdade que 12 é um número ímpar. Resp: V
(j) 2  2  4  3  3  7  1  1  4  Resp: V

(k) ~ sen 0  0 ou cos 0  1 Resp: F


(l) ~ 2 3  8 e 4 2  4 3  Resp: F

3. Determinar V p  em cada um dos seguintes casos:

(a) V q   F e V p  q   F Resp: V p   V ou V p   F

(b) V q   F e V p  q   F Resp: V p   F

4. Determinar V p  e V q  em cada um dos seguintes casos:

(a) V p  q   V e V p  q   F Resp: V p   F e V q   V

(b) V p  q   V e V p  q   V Resp: V p   V e V q   V

7 – Tabela Verdade de Uma Proposição Composta:

Com as proposições simples do tipo p, q, r, s, ... e fazendo uso dos conectivos

~, , , ,  é possível construir proposições compostas tais como:

P p , q   ~ p  ~ q 

onde, com o emprego da tabela verdade é possível verificar todas as possibilidades de V e F.

Exemplo:
1. Construir a TV das proposições seguintes.

a) 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
Unidade 1 – Sentenças e Representação simbólica

b) P p, q , r   p ~ r  q  ~ r 

p q r ~r p  ~r q  ~r p  ~r  q  ~r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
F F F V V F F

8 – Valor Lógico de Uma Proposição Composta:

Dada uma proposição P p, q , r , s ,...  pode-se determinar seu valor lógico conhecendo, a
priori, os valores lógicos de p, q, r, s, ...
Exemplo:
1. Sabendo que V p   V e V q   F , determinar V P  , onde

P p, q   ~ p  q   ~ p ~ q  .

Resolução:
Mediante os valores lógicos de p e q pode-se obter:

V P   ~ V  F   ~ V  ~ F   ~ V   F  V   F  F  V


2. Sejam as proposições p :   3 e q : sen  0 . Determine o valor lógico da
2
proposição: P p, q   p  q   p  p  q  .

Resolução:
Como V P   F e V q   F então têm-se:

V P   F  F   F  F  F   V  F  F   V  V  V

9 – Precedência e Eliminação de Parêntesis:

O uso de parêntesis se faz necessário para evitar qualquer ambiguidade, assim, por exemplo,
a proposição p  q  r pode ser escrita como:

1) p  q   r
2) p  q  r 

que não têm o mesmo significado (basta construir a TV de ambas ).

Unidade 1 – Sentenças e Representação simbólica

A ordem de precedência para os conectivos é

1) ~, o mais fraco

2)  e 

3) 
4)  , o mais forte,

portanto se tivéssemos a proposição p  q  s  r , concluiríamos que ela é bicondicional. Para

convertê-la numa condicional ou numa conjuntiva deve-se escrevê-las respectivamente nas formas:

p  q  s  r 
p  q  s   r .

Pode-se fazer a eliminação de parêntesis quando um mesmo conectivo aparece

sucessivamente repetido, fazendo associação a partir da esquerda, por exemplo,

~ ~ p  q   ~ p  ~ ~ p  q   ~ p 

~~ p  q  ~ p p ~ q   r  ~ p 

10 – Exercícios:
1. Sejam as proposições,
P: Está frio
Q: Está chovendo
Traduzir para a linguagem corrente as seguintes proposições.

(a) P  ~ Q Se está frio, então não está chovendo.

(b) P ~ Q Está frio ou não está chovendo.
(c) ~ P  ~ Q Não está frio e não está chovendo.
(d) P  ~ Q Está frio se e somente se não está chovendo.
(e) P  ~ Q  P Se está frio e não está chovendo, então está frio.

2. Sejam as proposições,
P: João é gaúcho
Q: Jaime é paulista
Traduzir para a linguagem corrente as seguintes proposições.
Unidade 1 – Sentenças e Representação simbólica

(a) ~ P  ~ Q  Não é verdade que João é gaúcho e Jaime não é paulista.

(b) ~~ P Não é verdade que João não é gaúcho.
(c) ~ ~ P  ~ Q  Não é verdade que João não é gaúcho ou que Jaime não é
paulista.
(d) P  ~ Q Se João é gaúcho, então Jaime não é paulista.
(e) ~ P ~ Q João não é gaúcho se e somente se Jaime não é paulista.
(f) ~ ~ Q  P  Não é verdade que, se Jaime não é paulista, então João é
gaúcho.

3. Sejam as proposições,
P: Marcos é alto
Q: Marcos é elegante
Traduzir para a linguagem simbólica as seguintes proposições.

(a) Marcos é alto e elegante. P Q

(b) Marcos é alto, mas não é elegante. P ~ Q
(c) Não é verdade que marcos é baixo ou elegante. ~ ~ P  Q 
(d) Marcos não é nem alto e nem elegante. ~ P ~ Q
(e) Marcos é alto ou é baixo e elegante. P  ~ P  Q 
(f) É falso que Marcos é baixo ou que não é elegante. ~ ~ P  ~ Q 

4. Construir a T.V. das seguintes proposições:

(a) P  ~ Q  P
(b) ~ P ~ Q
(c) ~ ~ P  ~ Q 
Unidade 1 – Sentenças e Representação simbólica

11 – Lista de Exercícios. 1
1. Sejam as proposições,
P: Suely é rica
Q: Suely é feliz
Traduzir para a linguagem simbólica as seguintes proposições.

(a) Suely é pobre e infeliz. Resp: ~ P  ~ Q

(b) Suely é pobre ou rica, mas é infeliz. Resp: ~ P  P  ~ Q

2. Traduzir para a linguagem simbólica as seguintes proposições matemáticas.

(a) x  y  0 e z  0 ou z  0 Resp: x  y  0  z  0  z  0
(b) x  0 e y  z  x ou z  0 Resp: x  0  y  z  x  z  0
(c) x  0 ou x  0 e y  0 Resp: x  0  x  0  y  0
(d) x  y e z  t  ou x  y e z  0 Resp: x  y  z  t   x  y  z  0
(e) Se x  0 então y  2 Resp: x  0  y  2
(f) Se x  y  2 então z  0 Resp: x  y  2  z  0

3. Determinar o valor lógico (V ou F) da proposição p  q  ~ r , sabendo que

V p   V r   V .

Resolução:

Em termos de valor lógico temos que: Se V q   V , então

V p  q  ~ r   V  V  ~ V  V  V  F  V  F  F . Mas, se V q   F , então
V p  q  ~ r   V  F  ~ V  V  F  F  V  F  F . Portanto, independentemente do
valor lógico de q a proposição será sempre falsa.

4. Suprimir o maior número possível de parêntesis na proposição

q  r  q   p  ~ ~ q  .
Resolução:

q  r  q   p  ~ ~ q  q  r  q   p  ~ ~ q 

q  r  q   p ~~ q 
Unidade 1 – Sentenças e Representação simbólica

5. Determinar o valor lógico (V ou F) das seguintes proposições:

a) p  q  p  r , sabendo que V p   V r   V . Resp: Verdadeira

b) p ~ q   ~ p  r  , sabendo que V q   F e V r   V . Resp: Verdadeira

6. Suprimir o maior número possível de parêntesis nas proposições:

a) p  ~ ~ q   q  r  q  Resp: p ~~ q  q  r  q 

b) p  q   ~ r   ~ q   r   q  Resp: p  q ~ r   ~ q  r  q 

7. Sabendo que as proposições “ x  0 ” e “ x  y ” são verdadeiras e que as proposições

“ y  z ” e “ y  t ” são falsas, determinar o valor lógico de cada uma das seguintes
proposições:

a) x  0  x  y  y  z Resp: Verdadeira
b) x  y  y  z  y  t Resp: Falsa

8. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V,

determinar o valor lógico da proposição p  ~ q  p   ~ p ~ q   q ~ p  .
Resp: falsa
Unidade 1 – Sentenças e Representação simbólica

12 – Tautologia, Contradição e Contingência:

Tautologia é toda proposição composta que é verdadeira independentemente dos valores

verdade das proposições simples que há compõem.

Exemplo:
1. Construir a TV das seguintes proposições:

a) ~ p ~ p 

p ~p p  ~p ~ p  ~ p 
V F F V
F V F V

tautologia

b) p  q  ~ q   p

P q ~q q  ~q p  q  ~ q  p  q  ~ q   p
V V F F V V
V F V F V V
F V F F F V
F F V F F V

tautologia

Observação: Se P p, q , r , ...  é uma tautologia, então P P0 , Q0 , R0 , ...  também é

tautologia, quaisquer que sejam as proposições P0 , Q0 , R0 .

Contradição é toda proposição cujo valor lógico não é tautológico, ou seja, a última coluna
é sempre falsa.

Exemplo
1. Construir a TV das seguintes proposições:

a) p ~ p

p ~p p  ~p
V F F
F V F

contradição
Unidade 1 – Sentenças e Representação simbólica

b) ~ p  p ~ q 

p q ~q p ~ q ~p ~ p  p  ~ q 
V V F F F F
V F V V F F
F V F F V F
F F V F V F

contradição

Observação: Se P p, q , r , ...  é uma contradição, então P P0 , Q0 , R0 , ...  também é

contradição, quaisquer que sejam as proposições P0 , Q0 , R0 .

Contingência é toda proposição composta que não é tautológica nem contradição.

Exemplo:
3. Construir a TV da seguinte proposição:

x  3   x  y  x  3

x 3 xy x3 xy x3 x  3   x  y  x  3

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

contingência

13 - Exercício:
1. Determinar quais das seguintes proposições são tautológicas, contraditórias, ou
contingentes:

a) p  ~ p  q  b) ~ p  q  p  q 

c) p  q  q  p  d) p  q   q   p
e) p ~ q  p  ~ q  f) ~ p ~ q  p  q 

g) p  p  q   r h) p  q  p  q  r 

Resp: (a), (b), (c), (g), (h) tautológicas (d), (e), (f) contingências
Unidade 1 – Sentenças e Representação simbólica

14 – Implicação lógica:

A palavra “implicar” significa: Originar, produzir como conseqüência, ser causa de: ...uma
filosofia definitiva, ...implicaria a imobilidade do pensamento humano (Antero de Quental).
[ DICMAXI Michaelis Português - Moderno Dicionário da Língua Portuguesa ]

(Teorema): P p, q , r , ...   Q p, q , r , ...  se e somente se a condicional,

P p, q , r , ...   Q p, q , r , ...  é tautológica.

Aqui, deve-se reforçar que: os símbolos  e  são distintos pois,

 O condicional é o resultado de uma operação lógica. Por exemplo, se

considerarmos as proposições p e q, pode-se obter uma nova proposição expressa
por p  q .
 Já a implicação, estabelece uma relação. Por exemplo, que a condicional p  q
é tautologia.

Exemplo:
1. Demonstre, mediante o teorema acima descrito, que p ~ p  q .

Resolução:

Para provarmos que p ~ p  q deve-se mostrar que p ~ p  q é tautológica, ou seja; da

T. V. têm-se:

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

tautologia
assim pelo teorema têm-se que p ~ p  q .

2. Considere a proposição x  y  x  4   x  4 , o que se poderia concluir a respeito de

xey?

Resolução:

xy x4 xyx4 x4 x  y  x  4   x  4

V V V F F
V F V V V
F V V F F
F F F V F
Unidade 1 – Sentenças e Representação simbólica

Mediante a T. V. pode-se dizer que

x  y  x  4   x  4  x  y
x  y  x  4   x  4  x  y

15 – Equivalência Lógica

A palavra “equivalência” significa: Igualdade de valor, estimação entre duas coisas;

correspondência. [DICMAXI Michaelis Português - Moderno Dicionário da Língua Portuguesa]

(Teorema): P p, q , r , ...   Q p, q , r , ...  se e somente se a bicondicional,

P p, q , r , ...   Q p, q , r , ...  é tautológica.

È importante lembrar que os símbolos  e  são distintos pois,

 O bicondicional é o resultado de uma operação lógica, enquanto que a

equivalência estabelece uma relação. Por exemplo, que a condicional p  q é
tautologia.

Exemplo:
1. Demonstre, mediante o teorema acima descrito, que a proposição bicondicional
p ~ q  c   p  q  é uma equivalência; onde V c   F .
Resolução:

Para provarmos que p ~ q  c   p  q  representa p ~ q  c   p  q  deve-se

mostrar que p ~ q  c   p  q  é tautológica, ou seja; da T. V. têm-se:

p q c ~q p ~ q p ~ q  c p q p ~ q  c   p  q 
V V F F F V V V
V F F V V F F V
F V F F F V V V
F F F V F V V V

assim pelo teorema têm-se que p ~ q  c   p  q . tautologia

2. Considerando as seguintes proposições verifique a equivalência mediante a T. V:

a) ~~ p  p

Resolução: A T. V. para a proposição é dada como:

Unidade 1 – Sentenças e Representação simbólica

p ~p ~~ p
V F V
F V F
idênticas

b) ~ p  p  p

Resolução: A T. V. para a proposição é dada como:

p ~p ~pp
V F V
F V F

idênticas

c) p  q  ~ p  q

Resolução: A T. V. para a proposição é dada como:

p q ~p ~ pq p q
V V F V V
V F F F F
F V V V V
F F V V V

idênticas

OBS: Esta equivalência é de grande importância, pois aqui a condicional pode ser trocada
por uma disjunção !

d) p  q  p  q   q  p 

Resolução: A T. V. para a proposição é dada como:

p q p q qp p  q   q  p  pq
V V V V V V
V F F V F F
F V V F F F
F F V V V V

idênticas
OBS: Esta equivalência também é de grande importância, pois aqui a bicondicional pode ser
trocada por uma conjunção !
Unidade 1 – Sentenças e Representação simbólica

16 – Exercícios
1. Mostre que as equivalências são verdadeiras

a) p  q  r   p  q  r  é verdadeira.

Resolução:

p q r pq pq  r qr p  q  r  p  q  r   p  q  r 

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

tautologia

b) p  q  p  q   ~ p ~ q 

Resolução: A T. V. para a proposição é dada como:

p q pq pq ~p ~q ~ p ~ q p  q   ~ p ~ q 
V V V V F F F V
V F F F F V F F
F V F F V F F F
F F V F V V V V

idênticas

OBS: Esta equivalência é importante, pois a bicondicional pode ser trocada por uma disjunção !
Unidade 1 – Sentenças e Representação simbólica

17 – Lista de Exercícios. 2
1. Sejam as proposições P: Carlos fala Francês, Q: Carlos fala Inglês, R: Carlos fala
Alemão. Traduzir para a linguagem simbólica as seguintes proposições:

a) Carlos fala Francês ou Inglês, mas não fala Alemão.

b) Carlos fala Francês e Inglês, ou não fala Francês e Alemão.
c) É falso que Carlos fala Francês mas que não fala Alemão.
d) É falso que Carlos fala Inglês ou Alemão mas que não fala Francês.

2. Traduzir para a linguagem simbólica as seguintes proposições matemáticas.

a) Se x  1 ou z  2 então y  1.
b) Se Z  5 então x  1 e x  2 .
c) Se x  y então x  z  5 e y  z  5 .

3. Determinar o valor lógico de cada uma das seguintes proposições:

a) 2  7  9 e 4  8  12

b) 0  1  3 é irracional
 
c) 2  2  sen  tg
2 4
 1
d) Se  1  0 então sen 
6 2

e) tg  3 22
3
 
f) 1  sen  cos 1
2 4

4. Determinar V p  em cada um dos seguintes casos:

a) V q   F e V p  q   V b) V q   V e V p  q   F

5. Determinar V p  e V q  em cada um dos seguintes casos:

(a) V p  q   V e V p  q   F (b) V p  q   F e V ~ p  q   V
Unidade 1 – Sentenças e Representação simbólica

6. Construir as tabelas verdade das seguintes proposições:

a) ~ p  ~ q 
b) p  ~ q   q  p
c) q  ~ q  p
d) p  r  q ~ r

7. Sejam as proposições P : tg  x   ctgx  e Q :   2 . Determinar o valor lógico de

cada uma das seguintes proposições:

a) ~ p  q  ~ p ~ q
b) p  ~ p  q   ~ p ~ q 

8. Sabendo que a condicional p  q é verdadeira, determinar o valor lógico da condicional

pr q r.

9. Mostrar que:

a) q  p  q b) q  p  q  p c) x  0  x  y   x  y  x  0

10. Mostre que p  ~ q não implica p  q .

11. Mostre que as proposições p e q são equivalentes em cada um dos seguintes casos:

p : 1  3  4; q : 1  3  16
2
a)
b) p : sen 0  1; cos 0  0
c) p : x  y; q : x  z  y  z x , y , z  R 
d) p : a  b; q : ba
e) p : O triângulo ABC é retângulo em A; q : a2  b2  c 2

12. Demonstre por tabela verdade as seguintes equivalências:

a) p  p  q   p
b) p  q   r  p ~ r  ~ q
c) p  q   p  r   p  q  r
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

Unidade 2 – Lógica Proposicional (Álgebra das

Proposições)

1 – Introdução:
A álgebra das proposições constitui-se numa ferramenta matemática de grande importância,
pois através dela pode-se operar sobre proposições utilizando-se de equivalências “notáveis”.
Uma de suas aplicações consiste no fato da simplificação de trechos de códigos
computacionais, pois quanto mais simples o código mais simples será de ser entendido e poderá ser
executado com maior rapidez.

2 – Propriedades da Conjunção:
Considerando as proposições p, q e r ; e sejam as proposições t e c tal que V t   V e
V c   F . Assim são válidas as seguintes propriedades:

a) INDEPOTENTE: p  p  p
Ex.: x  1 x  1  x  1
Obs.: Dizer por exemplo, que é válida a propriedade indepotente é o mesmo que verificar o
teorema relativo à equivalência (página 19), ou seja:

p pp pp  p
V V V
F F V

como p  p  p é tautológica, então pelo teorema da equivalência temos que p  p  p .

Daqui por diante, para as próximas propriedades, as equivalências descritas são válidas, uma
vez que sua validade pode ser aferida segundo o mesmo raciocínio descrito para a propriedade
indepotente.

b) COMUTATIVA: p  q  q  p
Ex.:   3    4    4    3
c) ASSOCIATIVA: p  q   r  p  q  r 
Ex.: x  0  x  1  x  3  x  0  x  1 x  3
d) IDENTIDADE: p  t  p e p  c  c

Elemento neutro Elemento absorvente

Ex.: x  1  x  0  x  1 e x  1  x  0  x  0
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

3 – Propriedades da Disjunção:
Considerando novamente as proposições p, q e r ; e ainda t e c onde V t   V e
V c   F , então são válidas as seguintes propriedades:

a) INDEPOTENTE: p  p  p
Ex.: x  1 x  1  x  1
b) COMUTATIVA: p  q  q  p
Ex.: a  b  b  c  b  c  a  b
c) ASSOCIATIVA: p  q   r  p  q  r 
Ex.: x  1 x  2  x  4  x  1 x  2  x  4
d) IDENTIDADE: p  t  t e p  c  p

Elemento absorvente Elemento neutro

Ex.: x  1 x  0  x  0 e x  0  x 2  0  x  0

4 – Propriedades da Conjunção e Disjunção:

Sejam as proposições p, q e r ; então têm-se que:

a) DISTRIBUTIVAS:
(i) p  q  r   p  q   p  r  (ii) p  q  r   p  q   p  r 
b) ABSORÇÃO:
(i) p  p  q   p (ii) p  p  q   p
c) REGRAS DE DE MORGAN (1806-1871):
(i) ~ p  q  ~ p ~ q (ii) ~ p  q  ~ p ~ q

5 – Negação da Condicional e da Bicondicional:

Dadas as proposições p, q têm-se que a negação da condicional é:

~ p  q   p ~ q
e a negação da bicondicional será;
~ p  q   p ~ q   ~ p  q  .
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

6 – Exercícios:
1. Dar a negação em linguagem corrente da proposição:
“ Rosas são vermelhas e violetas são azuis”.
Resolução:

Denotando p : rosas são vermelhas e q : violetas são azuis, então teremos que a prop.
Composta é:

P  pq
logo a negação de P será:

~ P  ~ p  q  ~ p  ~ q

Portanto em linguagem corrente teremos

“Rosas não são vermelhas ou violetas não são azuis”

2. Demonstrar as seguintes regras de DE MORGAN para três proposições:

a) ~ p  q  r   ~ p  ~ q  ~ r b) ~ p  q  r   ~ p  ~ q  ~ r

3. Simplifique a expressão condicional, abaixo, de um trecho de programa pascal, após reescreva o

comando.

IF (FLUXOEXT>FLUXOINT) AND NOT ( (FLUXOEXT>FLUXOINT) AND (PRESSÃO<1000) ) THEN

COMANDO 1
ELSE
COMANDO 2.

Resolução:

Denotando a : fluxoext  fluxo int; b : pressão  1000 , então teremos que a expressão
condicional será dada por

E  a ~ a  b
que pode ser simplificada conforme:

E  a ~ a  b  a  ~ a  ~ b  a ~ a  a ~ b  F  a ~ b  a ~ b

portanto teremos que

E  a ~ b 
que é equivalente a expressão original.
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

4. Considere o seguinte fragmento de um programa pascal:

for contador := 1 to 5 do
begin
read (a);
if a  5.0 and 2 * a  10.7 or sqrt 5.0 * a   5.1 then
writeln (a);
end;

Os valores de entrada para a são 1.0, 5.1, 2.4, 7.2 e 5.3. Quais são os valores de saída ?

Resolução:

Saídas:

5. Reescreva o programa pascal a seguir com uma expressão condicional simplificada:

if not valor 1  valor 2  or odd numero 

or not valor 1  valor 2  and odd numero 
comando1
else
comando2;

6. (a) Verifique que A  B é equivalente a A  B . (b) usando a parte (a) e outras equivalências,
escreva a negação da sentença “ Se Pedro passar em seu curso de física, então ele se formará.”
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

7 – Regras de inferência para a lógica Proposicional:

Dadas as proposições P1 , P2 , P3 ,..., Pn e Q (proposições quaisquer), denomina-se
“ argumento ”, a toda afirmação de que; dada a sequência

P1 , P2 , P3 ,..., Pn

têm-se como consequência uma proposição final Q .

As proposições P1 , P2 , P3 ,..., Pn são denominadas premissas do argumento e Q é
denominada conclusão do argumento. Em geral indica-se um argumento como:

P1 , P2 , P3 ,..., Pn  Q
ou na forma mais usual

P1
P2
P3

Pn
Q

e este é válido se e somente se a conclusão Q é verdadeira toda vez que as premissas

P1 , P2 , P3 ,..., Pn são verdadeiras, logo dizemos que a verdade das premissas é incompatível com a
falsidade da conclusão.

OBSERVAÇÃO: As premissas são verdadeiras ou admitidas como tal, a lógica só se preocupa com
a validade dos argumentos e não com a verdade ou falsidade das premissas e das conclusões. A
validade de um argumento depende exclusivamente da relação existente entre as premissas e a
conclusão. Portanto dizer que um argumento é válido significa afirmar que as premissas estão
relacionadas de tal modo com a conclusão que não é possível ter a conclusão falsa se as premissas
são verdadeiras.

Teorema: Um argumento P1 , P2 , P3 ,..., Pn  Q é válido se e somente se a condicional

P1 , P2 , P3 ,..., Pn  Q é tautológica.

Para demonstrar o argumento P1 , P2 , P3 ,..., Pn  Q , pode-se fazer uso da T. V. e do

teorema anterior. Se tivéssemos cinco proposições simples compondo um argumento,
necessitaríamos construir uma T. V. de 2 5  32 linhas, tarefa esta muito trabalhosa, porém correta.
Para contornar este tipo de problema, faz-se a validação de uma argumentação através das regras de
inferência, minimizando assim o trabalho a ser desenvolvido.
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

Uma outra consideração a ser comentada é: Considerando o argumento

P1 P2 P3 Q

p ~ q, p  ~ r , q ~ s  ~ r  s 

chamamos de condicional associada a forma p ~ q   p  ~ r   q ~ s   ~ r  s  .

Por outro lado, se considerarmos a condicional associada

p  q  r   ~ s   q  r  s   s  p ~ q 
o argumento correspondente a esta condicional será

p  q  r ,~ s,q  r  s  s  p ~ q ,

que também pode ser expressado sob a forma

pqr
~s
qr s
.
s  p ~ q

8 – Argumentos válidos Fundamentais:

Os argumentos válidos fundamentais são utilizados para executar passo a passo uma
dedução ou demonstração de um outro argumento mais complexo. Os argumentos fundamentais
são:

1) Adição (AD)
p p
i) ii)
pq qp

2) Simplificação (SIMP)
pq pq
i) ii)
p q

3) Conjunção (CONJ)
p p
q q
i) ii)
pq qp
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

4) Absorção (ABS)

pq
p  p  q 

5) Modus Ponens (MP)

pq
p
q
6) Modus Tollens (MT)

pq
~q
~p

7) Silogismo Disjuntivo (SJ)

pq pq
~p ~q
i) ii)
q p

8) Silogismo Hipotético (SH)

pq
qr
pr

9) Dilema Construtivo (DC)

pq
r s
pr
qs

10) Dilema Destrutivo

pq
r s
~ q ~ s
~ p ~ r
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

A validade dos 10 argumentos pode ser facilmente verifica mediante o teorema anterior, por
exemplo, a seguir é verificada a validade do argumento Silogismo Hipotético

p q r pq q r pr p q q r p  q  q  r   p  r 
V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V

Com o auxílio das regras de inferência pode-se deduzir outras regras, ou demonstrar a
validade de outras regras, por exemplo; o que se pode concluir, abaixo, a partir das premissas
dadas ?
P1 : p  q  r
P2 : q r s
P3 : ~ r  ~ r  s 
Q : ~ p  q  ~ q DD

Exemplo: Verifique a validade do argumento: p  q, p  r  q .

1 pq
2  pr
3 p 2, SIM
4 q 1,2, MP

9 – Exercícios de Aprendizagem:

1. Demonstre a validade dos seguintes argumentos:

a) p  q, p  r  s  p  s b) p  q  r , p  q, p  r

c) e  s, ~ t ~ j , e  j  t  s d) p  q . r , p, t  q , t  s  s

2. O argumento abaixo é válido ?

x  y  x  z, x  y  x  z, x  z  y  z, y  z  x  z  y  z
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

3. Prove que o argumento seguinte é válido:

“Admitindo a linguagem assembly.
Se usamos a linguagem asssembly, então o programa será executado mais rapidamente.
Se usamos a linguagem asssembly, o programa terá mais linhas de código.
Portanto o programa será executado mais rapidamente e terá mais linhas de código”

4. Verifique a validade dos seguintes argumentos:

Se x y  16 e y x  16, então x  y
xy
a)
Logo, x y  16 ou y x  16

Se trab alho não posso estudar .

b) Trab alho ou serei aprovado em lógica. Trab alhei.
Por tan to , fui reprovado em lógica.
Unidade 2 – Lógica Proposicional (Álgebra das Proposições)

10 – Lista de Exercícios:

1. Usando todas as equivalências já estudadas até o momento e as propriedades da álgebra de

proposições simplifique as seguintes proposições:

a) ~ ~ p ~ q  , sugestão use a equivalência       

b) ~ p  q   ~ p  q  c) ~ p ~ q 
d) ~ ~ p  q  e) ~ ~ p ~ q 

f) p  q   ~ p g) p  q   ~ p  q 
h) p  p  q   p  ~ q 

2. Provar t  dadas as premissas:

1. ps
2. p .q
3. s .r  t 
4. qr
2. Prove que os seguintes argumentos são válidos
a) t  r , ~ r , t  s  s

b) s .q   t  q   t   r   r  s 

3. Provar que x  y  5 dadas as premissas

1. 3 x  y  11  3 x  9
2. 3 x  9  3 x  y  11  y  2
3. y  2  x  y  5

Resposta:
1. (a) ~ p  q (b) ~ p (c) ~ p  q (d) p  q (e) p  q
(f) ~ p  q (g) q (h) F (falsa)
Unidade 3 – Quantificadores, Predicados e validade

Unidade 3 – Quantificadores, Predicados e validade

1 – Introdução:

Considere a sentença dada por “para todo x , x  0 ”, admitindo que seja verdadeira sobre
inteiros, não é possível expressar a sentença, apenas, através de proposições e ou conectivos
lógicos. Pois ela contém dois elementos novos que são: “para todo x ” e “ x  0 ”.

O elemento “para todo” é denominado quantificador e o elemento x  0 é denominado

predicado. O quantificador “para todo” é mais precisamente denominado como quantificador
universal e simbolizado por “  ”, este pode ser expresso também como “qualquer que seja” ou
“para todo o valor de”.

Portanto a sentença “para todo x , x  0 ” pode ser simbolizada como x x  0 , já uma
expressão genérica, relacionada ao quantificador universal, pode ser simbolicamente escrita na
forma x   P x   , onde P x  é um predicado qualquer.

Considere agora a sentença “existe x tal que x  0 ”, admitindo que seja verdadeira
também sobre inteiros, não é possível expressar a sentença, apenas, através de proposições e ou
conectivos lógicos, devido ao fato de conter também dois elementos novos; “existe x ” e “ x  0 ”.
O quantificador “existe” é denominado quantificador existencial e simbolizado por “  ”, este é
equivalente também a, “existe um” ou “para pelo menos um” ou ainda “para algum”.

Sendo assim, a sentença “existe x , x  0 ” pode ser simbolizada sob a forma x x  0 ,
já uma expressão genérica pode ser expressada por x   P x   , onde P x  é um predicado
qualquer.

2 – Quantificadores:

Quantificador Universal:

Seja P x  uma sentença em um conjunto não vazio A e seja VP o seu conjunto verdade,
onde VP   x / x  A  P x  . Quando VP  A , isto é, todos os elementos do conjunto A
satisfazem a sentença P x  , pode-se afirmar que:
x

VP  A
Unidade 3 – Quantificadores, Predicados e validade

 para todo elemento x de A , P x  é verdadeira;

 ou, qualquer que seja o elemento x de A , P x  é verdadeira;
simbolicamente indica-se tal fato por
x  A P x   VP  A .

Quando A é um conjunto finito, isto é, A  a1 , a2 , a3 , a4 , ..., an  têm-se que

x  A P x   P a1  P a2   P a3   P a4   ...  P an  .

Exemplo:
1) Seja A  3 , 5 , 7 e P x  : x é primo, descreva como é a expressão predicada
x  Ax é primo

2) Verifique a veracidade das proposições

a) n  N n  5  3 b) n  N n  3  7 
c) x  R  x 2  0 

Quantificador Existencial:

Seja P x  uma sentença em um conjunto não vazio A e VP o seu conjunto verdade onde
VP   x / x  A  P x  . Quando VP não é vazio, então pelo menos um elemento do conjunto A
satisfaz a sentença P x  , assim pode-se afirmar que:

A x
VP

 existe pelo menos um elemento x de A tal que P x  é verdadeira;

 ou que para algum elemento x de A , P x  é verdadeira;
simbolicamente indica-se tal fato por
x  A P x   VP .

Quando A é um conjunto finito, isto é, A  a1 , a2 , a3 , a4 , ..., an  têm-se que

x  A P x   P a1  P a2   P a3   P a4   ...  P an .

Unidade 3 – Quantificadores, Predicados e validade

Exemplo:
3) Seja A  3 , 5 , 7 e P x  : x é par , descreva como é a expressão predicada
x  Ax é par 

4) Verifique a veracidade das proposições

a) n  N n  4  8 b) n  N n  5  3 
c) x  R  x 2  0 

Quantificador de Existência e Unicidade:

Considere a seguinte sentença em R ;

i) x 2  16 ii) x 3  27 .

Os valores em R que satisfazem (i) são: a   4 e b  4 , então podemos escrever,

a, b  R a2  16  b2  16  a  b

Agora, o valor em R que satisfaz (ii) é c  3 , logo escrevemos

c  R c 3  27.

Como o único valor que satisfaz o quantificador acima é c  3 , então dizemos que existe
um único número real. Desta forma a expressão quantificada (ii) é expressa na forma

 ! x  R x 3  27 .

Existem muitas proposições que enunciam afirmações de existência e unicidade, assim por
exemplo, no universo R , é verdadeiro afirmar que

m  0  n  ! x mx  n  .

Exemplo:
5) Verifique a veracidade das proposições


a)  ! x  N  x 2  9  0  b)  ! x  Z  1  x  1 c)  ! x  R   x  0
Unidade 3 – Quantificadores, Predicados e validade

3 – Negação de Proposições Quantificadas

Sejam as proposições;

i) Toda pessoa fala inglês; ii) Alguém foi a lua.

A negação dessas proposições é dada por

i´) Nem toda pessoa fala inglês; ii´) Ninguém foi a lua.

assim a negação de proposições quantificadas é expressa como:

~ x  A px   x  A ~ px 

~ x  A px   x  A ~ px 

que são denominadas como segundas regras de De Morgan.

Exemplos:
1) Dê a negação das seguintes proposições:
a) n  N n  2  8
b) x  R 3x  5  0
c) x  R  senx   0
Unidade 3 – Quantificadores, Predicados e validade

4 – Lista de Exercícios

1. Sendo R o conjunto dos números reais, determinar o valor lógico de cada uma das seguintes
proposições:

a) x  R   x  x  
b) x  R  x 2  x  c) x  R   x  0

d) x  R x  2  x  e) x  R x  1  x  

f) x  R  x 2  x 

2. Sendo A  1, 2, 3, 4, 5, determinar o valor lógico de cada uma das seguintes proposições:

a) x  Ax  3  10 b) x  Ax  3  10 c) x  Ax  3  5

d) x  Ax  3  7 
e) x  A 3x  72  
f) x  A x 2  2x  15 

3. Dar a negação das proposições abaixo:

a) x  R   x  x  
b) x  R  x 2  x  c) x  R   x  0

d) x  R x  2  x  e) x  R x  1  x  

f) x  R  x 2  x 

4. Sendo A  1, 2, 3, 4, 5, dar a negação das proposições abaixo

a) x  Ax  3  10 b) x  Ax  3  10 c) x  Ax  3  5

d) x  Ax  3  7 
e) x  A 3x  72  
f) x  A x 2  2x  15 
Unidade 3 – Quantificadores, Predicados e validade

5 – Contra - Exemplo

Para mostrar que uma proposição da forma x  A px  é falsa basta mostrar que a sua
negação, x  A ~ px  , é verdadeira. Isto é, que existe pelo menos um elemento x0  A tal que
px0  é uma proposição falsa. O elemento x 0 é chamado de contra – exemplo para a proposição
x  A px  .
Exemplos:
1. Mostre que as proposições abaixo são falsas, exibindo um contra exemplo:

a) n  N  2n  n2  b) x  R   x  0

c) x  R  x 2
x  
d) x  R  x  2  x 2  4
2


6 – Lista de Exercícios

1. Sendo A  2, 3, 4, 5,..., 9, dar um contra exemplo para cada uma das seguintes proposições:

a) x  Ax  5  12 b) x  Ax é primo 

c) x  A x 2  1 
d) x  Ax é par  
e) x  A 0x  0 

2. Sendo A  1, 2, 3, 4, 5, dar a negação das proposições abaixo

a) x  Ax  3  10 b) x  Ax  3  10 c) x  Ax  3  5

d) x  Ax  3  7 
e) x  A 3x  72  
f) x  A x 2  2x  15 

3. Sendo A um conjunto qualquer, dar a negação de cada uma das seguintes proposições:

a) x  A px   x  A qx  b) x  A px   x  A qx 

c) x  A ~ px    x  A ~ qx  d) x  A px   x  A ~ qx 

4. Dar a negação de cada uma das seguintes sentenças:


a) x x  2  7  x  x 2  1  3   
b) x  A x 2  9  x 2x  5  7
Unidade 3 – Quantificadores, Predicados e validade

7 – Quantificação de Sentenças Abertas com Mais de Uma Variável

Quantificação Parcial

Considere o conjunto A  1, 2, 3, 4, 5 o universo das variáveis x , y e considere também a

seguinte sentença,
x  A2 x  y  7.
Essa sentença não pode ser considerada uma proposição, pois o seu valor lógico não
depende da variável x (variável aparente), mais sim da variável y (variável livre). Desta forma
chama-se essa sentença de sentença aberta em y; cujo conjunto verdade é 1, 2, 3, 4, pois somente
para y  5 não existe x  A tal que 2 x  y  7 .
Analogamente, seja o conjunto A  1, 2, 3, 4, 5 o universo das variáveis x , y e considere
também a seguinte sentença,
y  A2 x  y  10 .
Essa sentença também não pode ser considerada uma proposição, pois o seu valor lógico não
depende da variável y (variável aparente), mais sim da variável x (variável livre). Assim, temos
que essa sentença é na verdade uma sentença aberta em x; cujo conjunto verdade é 1, 2 , pois
somente para x  1 ou x  2 se tem 2 x  y  10 para todo y  A .

Quantificação Múltipla

Toda sentença aberta precedida de quantificadores, um para cada variável, é uma

proposição, pois assume um dos valores lógicos V ou F. São exemplos de proposições as
seguintes expressões:
x  Ay  Bpx , y 
x  Ay  Bpx , y 
x  Ay  Bz  C px , y , z 
Exercícios:
1) Considere os conjuntos H  Jorge ,Claudio , Paulo, M  Suely ,Carmen e seja
p x , y  a sentença aberta em H  M : “x é irmão de y”. Discuta o significado das proposições:
A : x  H y  M px , y  B : y  M x  H px , y 

2) Interprete, e discuta a equivalência

x  N y  N x  y 2  x 2  y 2   x , y  N x  y 2  x 2  y 2 
Unidade 3 – Quantificadores, Predicados e validade

3) Verifique o valor lógico de

x  y 2  x 2  y 2 , x , y  N
x  y 2  x 2  y 2 , x , y  R

4) Considere os conjuntos A  1, 2, 3, 4 e B  0, 2, 4, 6, 8 e a sentença aberta em

A B : ” 2 x  y  8 “. Verifique o valor lógico das proposições:
S : x  Ay  B 2 x  y  8
M : y  B x  A2 x  y  8
N : y  B x  A2 x  y  8
T : x  Ay  B 2 x  y  8

Operações Sobre Quantificadores

Quantificadores de mesma espécie podem ser comutados, ou seja,

x y px , y   y x px , y 

x y px , y   y x px , y  .
Quantificadores de espécies diferentes não podem em geral ser comutados;
Exemplo: Seja x, y variáveis no universo dos números naturais. A proposição

x y y  x 

é verdadeira, mas a proposição
y x y  x 
é falsa .
Exercício:
4) Sendo A  1, 2, 3, ..., 9, 10 , determinar o valor lógico de cada uma das seguintes
proposições:
M : x  Ay  Ax  y  14 N : y  Ax  Ax  y  14
Unidade 3 – Quantificadores, Predicados e validade

Negação de Proposições com Quantificadores

A negação de proposições com mais de um quantificador se obtém mediante a aplicação

sucessiva das regras de negação para proposições com um único quantificador, assim têm-se, por
exemplo que;
1) ~ x y px , y   x ~ y px , y   x y ~ px , y 

2) ~ x y px , y   x ~ y px , y   x y ~ px , y 

3) ~ x y px , y   x ~ y px , y   x y ~ px , y 

4) ~ x y px , y   x ~ y px , y   x y ~ px , y 

5) ~ x y z px , y , z   x ~ y z px , y , z   x y z ~ px , y , z 

etc. ...

8 - Lista de Exercícios

1) Sendo 1, 2, 3, 4, 5 o universo das variáveis x e y, determinar o conjunto verdade de cada uma
das seguintes sentenças abertas:
a) y 2 x  y  7 b) x 2 x  y  10

2) Sendo 1, 2, 3 o universo das variáveis x e y, determinar o valor lógico de cada uma das
seguintes proposições:

a) x y  x 2  y  1  
b) x y  x 2  y 2  12 
c) x y  x 2
 y 2  12 d) x y  x 2
 2y  10

e) x y x 2

 2y  10 f) x y x 2
 2y  10

g) x y  x2

 2y  10

3) Sendo 1, 2, 3 o universo das variáveis x, y e z, determinar o valor lógico de cada uma das
seguintes proposições:

a) x y z  x 2  y 2  2z 2  
b) x y z  x 2  y 2  2z 2 
Unidade 3 – Quantificadores, Predicados e validade

4) Sendo R o conjunto dos números reais, determinar o valor lógico de cada uma das seguintes
proposições:

a) y  R x  R x  y  y  b) x  R y  R x  y  0

c) x  R y  R x . y  1 d) y  R x  R y  x 

5) Dar a negação de cada uma das seguintes proposições:

a) x y px   qy  b) x y px  ~ qy 

c) y x px  ~ qy  d) x y px , y   qy 

e) x y px , y   qx , y 

6) Indique o valor verdade de cada uma das proposições abaixo onde o domínio consiste nos
estados do Brasil;
Qx , y  : x é ao norte de y
P x  : x começacom a letra p e
a é Paraná .

a) x P x  b) x y z Qx , y   Qy , z   Qx , z 

c) y x Qy , x  d) x y P y   Qx , y 

e) y Qa, y 