Material Elementos de Matematicca

Elementos de Matemática - Parte 1
Profa. Dra. Luciana Vale Silva Rabelo

Instituto de Matemática e Tecnologia (IMTec)
Universidade Federal de Catalão (UFCAT)
Sumário
1. Noções de Lógica Matemática
1
Noções de Lógica Matemática
Proposição
Definição
Uma sentença é um conjunto de palavras ou sı́mbolos.
Exemplos
São sentenças:
(a) Hoje é dia 9 de setembro de 2021.
(b) 10 > 5
(c) Acho que choverá hoje.
Definição
Uma sentença é declarativa quando apenas refere um fato, sem que o locutor expresse sua opinião
ou seus sentimentos a respeito desse fato.
2
Proposição
Definição
Proposição é toda sentença declarativa, afirmativa que expresse um pensamento de sentido com-
pleto cujo conteúdo pode ser classificado como verdadeiro ou falso.
Exemplos
São proposições:
(a) Nove é diferente de cinco. (9 ̸= 5)
(b) Sete é maior que três. (7 > 3)
(c) Dois é um número inteiro. (2 ∈ Z)
(d) Três é divisor de onze. (3 | 11)
3
Proposição
Exemplos
Não são consideradas proposições as frases:
(a) Três vezes cinco mais um. (3 · 5 + 1)

√
(b) A raiz quadrada de dois é número racional? ( 2 ∈ Q?)
(c) O triplo de um número menos um é igual a onze. (3x − 1 = 11)
A frase a não tem predicado, a frase b é interrogativa e a frase c não pode ser classificada em
verdadeira ou falsa.
Negação
A negação de uma proposição p é a proposição ∼p (não p), cujo valor é o oposto ao de p, isto é,
∼p é verdadeira quando p é falsa e ∼p é falsa quando p é verdadeira.
4
Negação
Exemplos
(a) p: Nove é diferente de cinco. (9 ̸= 5)
∼p: Nove é igual a cinco. (9 = 5)
(b) p: Sete é maior que três. (7 > 3)

∼p: Sete é menor ou igual a três. (7 ≤ 3)
(c) p: Dois é um número inteiro. (2 ∈ Z)

∼p: Dois não é um número inteiro. (2 ̸∈ Z)
Tabela-Verdade da Negação
O valor da negação de uma proposição p de acordo com o valor dessa proposição é apresentado
na tabela abaixo, denominada tabela-verdade da proposição ∼p.
p ∼p
V F
F V
5
Proposição Composta - Conectivos
Proposição Composta - Conectivos

A partir de proposições dadas podemos construir novas proposições através do emprego dos co-
nectivos ∧ (e) e ∨ (ou).
Conectivo ∧
Colocando o conectivo ∧ entre duas proposições p e q, obtemos uma nova proposição, p ∧ q,
denominada conjunção das sentenças p e q.
Exemplos
p: 2>0
(a) q: 2 ̸= 1
p ∧ q: 2 > 0 e 2 ̸= 1
p: um quadrado de lado a tem diagonal 2a

(b) q: um quadrado de lado a tem área a2
p ∧ q: um quadrado de lado a tem diagonal 2a e área a2
6
Conjunção
Valor Lógico da Conjunção

A conjunção p ∧ q é verdadeira se p e q são ambas verdadeiras; se ao menos uma delas for falsa,
então p ∧ q é falsa.
Tabela-Verdade da Conjunção
O critério acima está resumido na tabela abaixo, em que são examinadas todas as possibilidades
para p e q. Essa tabela é denominada tabela-verdade da proposição p ∧ q.
p q p∧q
V V V
V F F
F V F
F F F
7
Conjunção
Exemplos
Reexaminando os exemplos anteriores, temos:
p: 2 > 0 (V)
(a) q: 2 ̸= 1 (V)
p ∧ q: 2 > 0 e 2 ̸= 1 (V)
p: um quadrado de lado a tem diagonal 2a (F)

(b) q: um quadrado de lado a tem área a2 (V)
p ∧ q: um quadrado de lado a tem diagonal 2a e área a2 (F)
Conectivo ∨
Colocando o conectivo ∨ entre duas proposições p e q, obtemos uma nova proposição, p ∨ q,
denominada disjunção das sentenças p e q.
8
Disjunção
Exemplos
p: 5>0
(a) q: 5>1
p ∨ q: 5 > 0 ou 5 > 1
p: 3=3
(b) q: 3<3
p ∨ q: 3≤3
p: 10 é número primo
(c) q: 10 é quadrado perfeito
p ∨ q: 10 é número primo ou quadrado perfeito.
Valor Lógico da Disjunção

A disjunção p ∨ q é verdadeira se ao menos uma das proposições p ou q é verdadeira; se p e q são
ambas falsas, então p ∨ q é falsa.
9
Disjunção
Tabela-Verdade da Disjunção
O critério acima está resumido na tabela abaixo, denominada tabela-verdade da proposição p ∨ q.
p q p∨q
V V V
V F V
F V V
F F F
Exemplos
Revendo os exemplos anteriores, temos:
p: 5 > 0 (V)
(a) q: 5 > 1 (V)
p ∨ q: 5 > 0 ou 5 > 1 (V)
10
Disjunção
Exemplos (Continuação)
p: 3 = 3 (V)
(b) q: 3 < 3 (F)
p ∨ q: 3 ≤ 3 (V)
p: 10 é número primo (F)

(c) q: 10 é quadrado perfeito (F)
p ∨ q: 10 é número primo ou quadrado perfeito (F)
Condicionais
Ainda a partir de proposições dadas podemos construir novas proposições mediante o emprego de
condicionais: o condicional se... então... (sı́mbolo: →) e o bicondicional ... se, e somente se, ...
(sı́mbolo: ↔).
Condicional →
Colocando o condicional → entre duas proposições p e q, obtemos uma nova proposição, p → q,
lida como: “se p, então q”, “p é condição suficiente para q”, “q é condição necessária para p”.
11
Condicional →
Exemplos
p: dois é divisor de quatro (2 | 4)

(a) q: quatro é divisor de vinte (4 | 20)
p → q: se dois é divisor de quatro, então quatro é divisor de vinte (2 | 4 → 4 | 20)
p: 2 é um número ı́mpar
(b) q: 3 é um número par
p → q: se 2 é um número ı́mpar, então 3 é um número par
(c)
p: dois vezes cinco é igual a dez (2 · 5 = 10)
q: três é divisor de dez (3 | 10)
p → q: se dois vezes cinco é igual a dez, então três é divisor de dez (2·5 = 10 → 3 | 10)
Valor Lógico do Condicional →

O condicional p → q é falso somente quando p é verdadeira e q é falsa; caso contrário, p → q é
verdadeiro.
12
Condicional →
Tabela-Verdade do Condicional →
O critério acima está resumido na tabela abaixo, denominada tabela-verdade da proposição p → q.
p q p→q
V V V
V F F
F V V
F F V
Exemplos
Revendo os exemplos dados, temos:
p: dois é divisor de quatro (2 | 4) (V)
(a) q: quatro é divisor de vinte (4 | 20) (V)
p → q: se dois é divisor de quatro, então quatro é divisor de vinte (2 | 4 → 4 | 20) (V)
p: 2 é um número ı́mpar (F)

(b) q: 3 é um número par (F)
p → q: se 2 é um número par, então 3 é um número ı́mpar (V) 13
Condicional →
(c)
p: dois vezes cinco é igual a dez (2 · 5 = 10) (V)
q: três é divisor de dez (3 | 10) (F)
p → q: se dois vezes cinco é igual a dez, então três é divisor de dez (2·5 = 10 → 3 | 10) (F)
Bicondicional ↔
Colocando o bicondicional ↔ entre duas proposições p e q, obtemos uma nova proposição, p ↔ q,
lida como: “p se, e somente se, q”, “p é condição necessária e suficiente para q”, “q é condição
necessária e suficiente para p” ou “se p, então q e reciprocamente”.
Exemplos
p: 2 | 12
(a) q: 2 · 7 | 12 · 7
p ↔ q: 2 | 12 ↔ 2 · 7 | 12 · 7
14
Bicondicional ↔
3 6
p: 2
= 4
(b) q: 3 · 4 ̸= 6 · 2
3 6
p ↔ q: 2
= 4
↔ 3 · 4 ̸= 6 · 2
p: 4≤3
(c) q: 4·5≤3·5
p ↔ q: 4≤3↔4·5≤3·5
p: 7 é composto
(d) q: 13 é primo
p ↔ q: 7 é composto se, e somente se, 13 é primo
Valor Lógico do Bicondicional ↔

O bicondicional ↔ é verdadeiro somente quando p e q são ambas verdadeiras ou ambas falsas; se
isso não acontecer, o bicondicional ↔ é falso.
15
Bicondicional ↔
Tabela-Verdade do Bicondicional ↔
Assim a tabela-verdade da proposição p ↔ q é a que está abaixo.
p q p↔q
V V V
V F F
F V F
F F V
Exemplos
Revendo os exemplos dados, temos:
p: 2 | 12 (V)
(a) q: 2 · 7 | 12 · 7 (V)
p ↔ q: 2 | 12 ↔ 2 · 7 | 12 · 7 (V)
3 6
p: 2
= 4
(V)
(b) q: 3 · 4 ̸= 6 · 2 (F)
3 6
p ↔ q: 2
= 4
↔ 3 · 4 ̸= 6 · 2 (F) 16
Bicondicional ↔
p: 4 ≤ 3 (F)
(c) q: 4 · 5 ≤ 3 · 5 (F)
p ↔ q: 4 ≤ 3 ↔ 4 · 5 ≤ 3 · 5 (V)
p: 7 é composto (F)
(d) q: 13 é primo (V)
p ↔ q: 7 é composto se, e somente se, 13 é primo (F)
Tabela-Verdade
Vimos acima que as operações de negação, conjunção, disjunção, condicional → e bicondicional ↔
permitem obter novas proposições (proposições compostas) a partir de outras proposições. É na-
tural pensarmos construir mais proposições compostas a partir de outras por meio de combinações
dessas operações.
São proposições compostas obtidas pela combinação de duas ou mais operações:
(a) ∼(p ∧ q)
(b) (p ∧ ∼p) → (q ∨ p) 17
Tabelas-Verdade
Tabela-Verdade (Continuação)
Também podemos construir as tabelas-verdade de proposições compostas obtidas a partir de outras
proposições por meio da combinação de duas ou mais operações.
Para construir a tabela-verdade de uma proposição, é importante observar que:
• as primeiras colunas de uma tabela-verdade são sempre das proposições simples, aquelas que
não dependem de nenhuma outra;
• as demais colunas são das proposições compostas que formam a proposição dada, até chegar
na última coluna que é da proposição dada em si;
• para determinar a ordem das colunas das proposições compostas, analisamos a proposição
dada da esquerda para a direita;
• Parênteses devem ser usados para evitar ambiguidade.
18
Tautologias
Tautologia
Seja v uma proposição formada a partir de outras (p, q, r , . . .) mediante o emprego de conectivos
(∧ ou ∨) ou de modificador (∼) ou de condicionais (→ ou ↔).
Dizemos que v é uma tautologia ou proposição logicamente verdadeira quando v tem o valor
lógico V (verdadeira) independentemente dos valores lógicos de p, q, etc.
Assim a tabela-verdade de uma tautologia v apresenta só V na coluna de v .
Exemplos
(a) A proposição p ∨ ∼p é uma tautologia, pois sua tabela-verdade é
p ∼p p ∨ ∼p
V F V
F V V
19
Tautologias
(b) A proposição (p ∧ ∼p) → (q ∨ p) é uma tautologia, pois sua tabela-verdade é dada por
20
Proposições Logicamente Falsas
Proposição Logicamente Falsa

Seja f uma proposição formada a partir de outras (p, q, r , . . .) mediante o emprego de conectivos
(∧ ou ∨) ou de modificador (∼) ou de condicionais (→ ou ↔).
Dizemos que f é uma proposição logicamente falsa quando f tem o valor lógico F (falsa) inde-
pendentemente dos valores lógicos de p, q, etc.
Assim, a tabela-verdade de uma proposição logicamente falsa f apresenta só F na coluna de f .
Exemplos
(a) A proposição p ∧ ∼p é uma proposição logicamente falsa, pois sua tabela-verdade é dada por
p ∼p p ∧ ∼p
V F F
F V F
21
Proposições Logicamente Falsas
(b) A proposição (p ∨ ∼q) ↔ (∼p ∧ q) é uma proposição logicamente falsa, pois sua
tabela-verdade é dada por
22
Relação de Implicação
Relação de Implicação
Dadas as proposições P e Q, dizemos que “P implica Q” e escrevemos ”P ⇒ Q”quando Q é
verdadeira sempre que P é verdadeira. Em outras palavras, P ⇒ Q quando não temos simultane-
amente P verdadeira e Q falsa.
Observação
Notemos que P implica Q quando a proposição P → Q assume apenas o valor V.
Exemplos
(a) 2 | 4 ⇒ 2 | 4 · 5, pois 2 | 4 → 2 | 4 · 5 assume apenas o valor V, uma vez as proposições ”2 | 4”e
”2 | 4 · 5”são verdadeiras.
(b) p ∧ q ⇒ p ↔ q, pois (p ∧ q) → (p ↔ q) é uma tautologia. De fato, a tabela-verdade dessa

proposição é dada por:
23
Relação de Equivalência
Relação de Equivalência
Dadas as proposições P e Q, dizemos que “P é equivalente a Q” e escrevemos P ⇔ Q quando P
e Q têm sempre o mesmo valor lógico.
Observação
Notemos que P é equivalente a Q quando a proposição P ↔ Q assume apenas o valor V.
Exemplos
(a) 2 | 8 ⇔ mdc(2, 8) = 2, pois é verdadeira a proposição “2 é divisor de 8 se, e somente se, o
máximo divisor comum de 2 e 8 é 2”.
(b) (p → q) ⇔ (∼q →∼p), pois a proposição (p → q) ↔ (∼q →∼p) é uma tautologia. Com
efeito, a tabela-verdade dessa proposição é:
24
Sentenças Abertas
Sentença Aberta
Existem expressões como
(a) x + 1 = 7
(b) x > 2
(c) 3x − 1 = 11
que contêm variáveis e tais que o valor lógico (V ou F) de cada uma depende do valor atribuı́do à
variável.
Nos exemplos citados, temos:
(a) x + 1 = 7 é verdadeira se trocarmos x por 6 e é falsa para qualquer outro valor dado a x;
(b) x > 2 é falsa, por exemplo, para x = 0;
(c) 3x − 1 = 11 é verdadeira se trocarmos x por 4 e falsa para qualquer outro valor dado a x.
Uma oração (frase ou parte de frase contendo um verbo) que contém uma ou mais variáveis é
chamada de função proposicional ou sentença aberta. Tais orações não são proposições, pois seu
valor lógico (V ou F) depende do valor dado às variáveis.
25
Sentenças Abertas
Sentença Aberta (Continuação)

Há, entretanto, duas maneiras de transformar sentenças abertas em proposições:
(1ª) atribuir valor às variáveis;
(2ª) utilizar quantificadores.
Quantificador Universal
O quantificador universal é indicado pelo sı́mbolo ∀, que é lido como: “qualquer que seja”, “para
todo”, “para cada”.
Exemplos
(a) (∀x)(x + 1 = 7)
“Para todo número x, temos x + 1 = 7”.
É uma proposição .
(b) (∀a)((a + 1)2 = a2 + 2a + 1)

“Para todo número a, temos (a + 1)2 = a2 + 2a + 1”.
26
Quantificador Existencial
Quantificador Existencial
O quantificador existencial é indicado pelo sı́mbolo ∃, que é lido como “existe”, “existe pelo menos
um” ou “existe um”.
Exemplos
(a) (∃x)(x + 1 = 7)
“Existe um número x tal que x + 1 = 7”.
(b) (∃a)(a(a + 2) ̸= a2 + 2a)

“Existe um número a tal que a(a + 2) ̸= a2 + 2a.
Quantificador de Existência e Unicidade

Algumas vezes utilizamos também outro quantificador: ∃|, que é lido como: “existe um único”,
“existe um e um só” ou “existe só um”.
27
Quantificador de Existência e Unicidade
Exemplos
(a) (∃|x)(x + 1 = 7)
“Existe um único número x tal que x + 1 = 7”.
(b) (∃|x)(x 2 = 9)
“Existe um único número x tal que x 2 = 9”.
Negação de Proposições Compostas

Vimos anteriormente o que é a negação de uma proposição simples.
Veremos agora como negar proposições compostas. Isso é feito considerando as seguintes equi-
valências:
(1ª) ∼ (p ∧ q) ⇔∼p ∨ ∼q
(2ª) ∼ (p ∨ q) ⇔∼p ∧ ∼q
(3ª) ∼ (p → q) ⇔ p ∧ ∼q
28
Negação de uma Conjunção
Negação de uma Conjunção

Tendo em vista que ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q, podemos estabelecer que a negação de p ∧ q é a
proposição ∼p ∨ ∼q.
Exemplos
(a) p : 1 ̸= 0
q:1>5
p ∧ q : 1 ̸= 0 e 1 > 5
∼ (p ∧ q) : 1 = 0 ou 1 ≤ 5
(b) p : 2 | 4
q : 3|9
p ∧ q : 2|4 e 3|9
∼ (p ∧ q) : 2 ∤ 4 ou 3 ∤ 9
29
Negação de uma Disjunção
Negação de uma Disjunção

Tendo em vista que ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q, podemos estabelecer que a negação de p ∨ q é a
proposição ∼p ∧ ∼q.
Exemplos
(a) p: o triângulo ABC é isósceles
q: o triângulo ABC é equilátero
p ∨ q: o triângulo ABC é isósceles ou equilátero
∼ (p ∨ q): o triângulo ABC não é isósceles e não é equilátero
(b) p : 1 = 0
q:1≤5
p ∨ q : 1 = 0 ou 1 ≤ 5
∼ (p ∨ q) : 1 ̸= 0 e 1 > 5
30
Negação de um Condicional Simples
Negação de um Condicional Simples

Como ∼ (p → q) ⇔ p ∧ ∼q, podemos estabelecer que a negação de p → q é a proposição p ∧ ∼q.
Exemplos
(a) p : 2 ∈ Z
q:2∈Q
p→q:2∈Z→2∈Q
∼ (p → q) : 2 ∈ Z e 2 ̸∈ Q
(b) p : 52 = (−5)2
q : 5 = −5
p → q : 52 = (−5)2 → 5 = −5
∼ (p → q) : 52 = (−5)2 e 5 ̸= −5
31
Negação de uma Proposições com Quantificadores
Negação de uma Proposição com Quantificador Universal

Uma proposição do tipo (∀x)(p(x)) é negada da seguinte forma: substitui-se o quantificador pelo
existencial e nega-se p(x), obtendo: (∃x)(∼ p(x)).
Exemplos
(a) P : (∀x)(x + 3 = 5)
∼ P : (∃x)(x + 3 ̸= 5)
(b) P: Todo losango é um quadrado.

∼ P: Existe um losango que não é um quadrado.
32
Negação de uma Proposições com Quantificadores
Negação de uma Proposição com Quantificador Existencial

Uma proposição do tipo (∃x)(p(x)) é negada da seguinte forma: substitui-se o quantificador pelo
universal e nega-se p(x), obtendo: (∀x)(∼ p(x)).
Exemplos
(a) P : (∃x)(x = x)
∼ P : (∀x)(x ̸= x)
(b) P : (∃a) 1a ∈ R

∼ P : (∀a) 1a ̸∈ R
33
Lista de Exercı́cios 1
1. Quais das sentenças abaixo são proposições? No caso das proposições, quais são
verdadeiras?
(a) 5 − 4 = 3
(b) 2 + 7 · 3 = 5 · 4 + 3
(c) (−2)5 ≥ (−2)3
(d) 11 − 4 · 2
2. Qual é a negação de cada uma das seguintes proposições? Qual o valor lógico das
negações?
(a) 3 · 7 = 21
(b) 3 · (11 − 7) ̸= 5
(c) 3 · 2 + 1 > 4
(d) 5 · 7 − 2 ≤ 5 · 6
√
(e) 2 < 1
(f) −(−4) ≥ 7
34
Lista de Exercı́cios 1 (Continuação)
3. Classifique em verdadeira ou falsa cada uma das seguintes proposições compostas:
(a) 3 > 1 e 4 > 2

(b) 3 > 1 ou 3 = 1
(c) 2 | 4 ou 2 | (4 + 1)
(d) 3(5 + 2) = 3 · 5 + 3 · 2 e 3 | 7
1 3
(e) 2
< 4
ou 5 | 11
4. Admitindo que p e q são verdadeiras e r é falsa, determine o valor (V ou F) de cada

proposição abaixo.
(a) p → r
(b) p ↔ q
(c) r → p
(d) (p ∨ r ) ↔ q
(e) p → (q → r )
(f) ∼p ↔ r
35
5. Verifique, por meio das tabelas-verdade, a validade das equivalências abaixo (v é

uma tautologia e f uma proposição logicamente falsa).
(a) Propriedades da conjunção

p∧q ⇔q∧p
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r )
p∧p ⇔p
p∧v ⇔p
p∧f ⇔f
(b) Propriedades da disjunção

p∨q ⇔q∨p
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r )
p∨p ⇔p
p∨v ⇔v
p∨f ⇔p
36
(c) Propriedades da negação

∼(∼p) ⇔ p
∼(p ∧ q) ⇔∼p∨ ∼q
(d) Propriedades da conjunção relativamente à disjunção

p ∧ (q ∨ r ) ⇔ (p ∧ q) ∨ (p ∧ r )
p ∨ (q ∧ r ) ⇔ (p ∨ q) ∧ (p ∨ r )
6. Transforme as seguintes sentenças abertas em proposições verdadeiras usando

quantificadores:
(a) x 2 − 5x + 4 = 0
(b) (a + 1)(a − 1) = a2 − 1
(c) −(−x) = x
√
(d) x 2 = x
y y y
(e) 3
+ 4
̸= 7
37
7. Qual é a negação de cada proposição abaixo? Classifique como V ou F as negações

construı́das.
(a) mdc(2, 3) = 1 ou mmc(2, 3) ̸= 6

3 6
(b) 5
= 10
ou 3 · 10 ̸= 6 · 5
3
(c) ≥ 1 e −3 ≥ −7
7
√
(d) 22 = 4 → 4 = 2
(e) (∀x)(x > 2 → 3x > 32 )

√
(f) (∃x)( x < 0)
(g) Todo número inteiro primo é ı́mpar.
(h) Existe um losango que não é quadrado.
38

Material Elementos de Matematicca

Enviado por

Direitos autorais:

Formatos disponíveis

Material Elementos de Matematicca

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Material Elementos de Matematicca

Enviado por

Direitos autorais:

Formatos disponíveis

Elementos de Matemática - Parte 1

Profa. Dra. Luciana Vale Silva Rabelo

1. Noções de Lógica Matemática

(a) Hoje é dia 9 de setembro de 2021.

(c) Acho que choverá hoje.

(a) Nove é diferente de cinco. (9 ̸= 5)

(b) Sete é maior que três. (7 > 3)

(c) Dois é um número inteiro. (2 ∈ Z)

(d) Três é divisor de onze. (3 | 11)

(a) Três vezes cinco mais um. (3 · 5 + 1)

(c) O triplo de um número menos um é igual a onze. (3x − 1 = 11)

(b) p: Sete é maior que três. (7 > 3)

(c) p: Dois é um número inteiro. (2 ∈ Z)

Proposição Composta - Conectivos

p: um quadrado de lado a tem diagonal 2a

Valor Lógico da Conjunção

p: um quadrado de lado a tem diagonal 2a (F)

Valor Lógico da Disjunção

p: 10 é número primo (F)

p: dois é divisor de quatro (2 | 4)

Valor Lógico do Condicional →

p: 2 é um número ı́mpar (F)

Valor Lógico do Bicondicional ↔

São proposições compostas obtidas pela combinação de duas ou mais operações:

• Parênteses devem ser usados para evitar ambiguidade.

Assim a tabela-verdade de uma tautologia v apresenta só V na coluna de v .

Proposição Logicamente Falsa

Assim, a tabela-verdade de uma proposição logicamente falsa f apresenta só F na coluna de f .

(b) p ∧ q ⇒ p ↔ q, pois (p ∧ q) → (p ↔ q) é uma tautologia. De fato, a tabela-verdade dessa

(b) x > 2 é falsa, por exemplo, para x = 0;

Sentença Aberta (Continuação)

(1ª) atribuir valor às variáveis;

(2ª) utilizar quantificadores.

(b) (∀a)((a + 1)2 = a2 + 2a + 1)

(b) (∃a)(a(a + 2) ̸= a2 + 2a)

Quantificador de Existência e Unicidade

Negação de Proposições Compostas

Negação de uma Conjunção

Negação de uma Disjunção

Negação de um Condicional Simples

Negação de uma Proposição com Quantificador Universal

(b) P: Todo losango é um quadrado.

Negação de uma Proposição com Quantificador Existencial

3. Classifique em verdadeira ou falsa cada uma das seguintes proposições compostas:

(a) 3 > 1 e 4 > 2

4. Admitindo que p e q são verdadeiras e r é falsa, determine o valor (V ou F) de cada

5. Verifique, por meio das tabelas-verdade, a validade das equivalências abaixo (v é

(a) Propriedades da conjunção

(b) Propriedades da disjunção

(c) Propriedades da negação

(d) Propriedades da conjunção relativamente à disjunção

6. Transforme as seguintes sentenças abertas em proposições verdadeiras usando

7. Qual é a negação de cada proposição abaixo? Classifique como V ou F as negações

(a) mdc(2, 3) = 1 ou mmc(2, 3) ̸= 6

(e) (∀x)(x > 2 → 3x > 32 )

(g) Todo número inteiro primo é ı́mpar.

(h) Existe um losango que não é quadrado.

Você também pode gostar