Lista de Logica

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 7

UNIVERSIDADE FEDERAL DE UBERLÂNDIA

FACULDADE DE MATEMÁTICA
Fundamentos de Matemática Elementar II
Lista 1 - Lógica

Exercı́cios das páginas 9-11


1. Considere as sentenças:
p: Tales é filho de Wilson.
q: Tales é neto de Jonofon.
Escreva, na forma simbólica , cada uma das sentenças seguintes:

(a) Tales não é filho de Wilson.


(b) Não é verdade que Tales não é filho de Wilson.
(c) Tales é filho de Wilson e neto de Jonofon.
(d) Tales é filho de Wilson ou neto de Jonofon.

2. Idem para p: João é esperto; q: José é tolo.

(a) João é esperto ou José é tolo.


(b) João é esperto e José é tolo.
(c) João é esperto ou José não é tolo.
(d) Se João é esperto, então José é tolo.
(e) Se João não é esperto, então José é tolo.

3. Escreva, na linguagem comum, sabendo que:


p: os preços são altos e q: os estoques são grandes

(a) (p ∧ q) → p
(b) (p∧ ∼ q) → p
(c) ∼ p∧ ∼ q
(d) p∨ ∼ q
(e) ∼ (p ∧ q)
(f) ∼ (p ∨ q)

1
(g) ∼ (∼ p∨ ∼ q)

4. Idem para
p: João estuda, q: José trabalha e r: Carlos não faz nada.

(a) (p → q) → r;
(b) ∼p → (∼q ∧ r);
(c) (∼p ∨ q) → ∼r;
(d) ∼(∼p ∨ ∼∼q) → r.

5. Traduzir para a linguagem simbólica as seguintes proposições:

(a) Se x > 0 então y = 2;


(b) Se x = 1 ou z = 2 então y > 1;
(c) Se x 6= y então x + z > 5 e y + z < 5;
(d) Se x < 2 então x = 1 ou x = 0;
(e) Se y = 4 e se x < y então x < 5.

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

(a) (8 + 2 = 10) ∧ (8 > 2);


(b) (senπ = 0 ∧ cos π = 0);

(c) ( 5 < 0) ∨ (Lima é a capital da Itália);
(d) (8 + 3 = 11) ∨ (6 > 2);
(e) (8 + 3 6= 11) ∨ (5 > 8);
(f) (8 − 3 = 5) → (2 < 4);
(g) (8 > 10) → (6 − 2 = 4);
(h) (8 > 10) → (6 < 5);
(i) (4 < 2) ↔ (8 − 2 = 15).

7. Dar o valor da proposição p nos casos abaixo:

(a) p → q é V e q é V;
(b) q → p é V e q é F;
(c) p ∨ q é F e q é F;
(d) p ∨ q é V e q é V.

8. Sabendo que os valores lógicos de p e q são, respectivamente, F e V, determine o valor


lógico da sentença abaixo:

(p ∧ (∼ q → p)) ∧ ∼((p ↔ ∼q) → q ∨ ∼p).

9. Construir as tabelas-verdades das proposições seguintes:

2
(a) (q ∧ r) ∨ m;
(b) (q ∨ r) → ((q ∨ s) → (p ∨ s));
(c) (p → r) → p;
(d) (p → r) ∨ q;
(e) (p → q) → ((p ∧ (q ∧ r) → (p ∧ (p ∨ r)));
(f) (p ∧ q) → (∼(∼p ∧ (r ∨ s)));
(g) ∼(p ∨ q) ↔ ((∼∼p) ∨ q);
(h) ((p ↔ q) ↔ r)) ↔ (p ↔ (q ↔ r));
(i) ((p → q) → r)) ↔ (p → (q → r));

Exercı́cios das páginas 14-15


1. Verifique que as fórmulas abaixo são tautológicas:

(a) (p ∧ q) ∧ r) ↔ p ∧ (q ∧ r);
(b) (p ∨ q) ∨ r) ↔ p ∨ (q ∨ r);
(c) (p ∧ p) ↔ p;
(d) (p ∨ p) ↔ p;
(e) (p ∧ (q ∨ r) ↔ (p ∧ q) ∨ (p ∧ r);
(f) (p ∨ (q ∧ r) ↔ (p ∨ q) ∧ (p ∨ r);
(g) p ∧ (p ∨ q) ↔ p;
(h) p ∨ (p ∧ q) ↔ p;
(i) ∼(∼p) ↔ p;
(j) ∼(p ∧ q) ↔ ∼p ∨ ∼q;
(k) ∼(p ∨ q) ↔ ∼p ∧ ∼q;
(l) (p ∧ q) → p;
(m) (p ∧ q) → q;
(n) p → p ∨ r;
(o) (∼q → p ∧ ∼p) → q.

2. Verifique as implicações:

(a) (∼p ∧ q) ⇒ ∼p;


(b) (p ∧ q → r) ⇒ (p → (q → r));
(c) p ⇒ (q → q ∧ p);
(d) p ⇒ (p ∨ q);
(e) (p → q) ⇒ ((q → s) → (p → s));
(f) (p → (r ∧ ∼r)) ⇒ ∼p;
(g) (p ∧ ∼p) ⇒ ((p ∧ q) ∨ r → s);

3
(h) (p ∧ ∼p) ⇒ (p ∨ ∼p);
(i) p ⇒ (p ∧ q ↔ q).

3. Verifique as equivalências:

(a) ∼(p ∧ ∼p) ⇔ p ∨ ∼p;


(b) p ∧ (∼p ∨ q) ⇔ p ∧ q;
(c) p → (q → r) ⇔ q → (p → r);
(d) ∼(p → q) ⇔ ∼(∼q → ∼p);
(e) ∼(p ↔ q) ⇔ (∼p ∧ q) ∨ (p ∧ ∼q);
(f) ∼(p ∨ ∼q) ⇔ ∼p ∧ q;
(g) p → q ⇔ ∼p ∨ q;
(h) p → q ⇔ ∼q → ∼p.

4. Mostre que (x = y ∨ x < 4) ∧ x 6= 4 ⇒ x = y.

Exercı́cios da página 16
1. Escreva a recı́proca, a contrária e contrarrecı́proca das proposições:

(a) Se João é engenheiro, o filho de João tem o pai engenheiro.


(b) Se 6 é par, então 62 é par.
√ √
(c) Se 3 é irracional, então 2 3 é irracional.
(d) Se 4 divide 8, então 4 divide 72.]]
(e) Se F é um corpo, então F é um domı́nio de integridade.
(f) Se T possui um elemento, então T é não vazio.
(g) G é um grupo → G é não vazio.
(h) Se n é um inteiro para maior que 2, en tão n não é primo.
(i) Se 0 < |x − a| < δ, então |f (x) − L| < ǫ.

Exercı́cios das páginas 20-21


1. Sendo R o conjunto dos números reais, determine o valor lógico de cada uma das pro-
posições abaixo:

(a) (∀x ∈ R)(|x| = x)


(b) (∃x ∈ R)(x2 = x)
(c) (∀x ∈ R)(x2 = x)
(d) (∀x ∈ R)(x + 1 > x)
(e) (∃x ∈ R)(x + 2 = x)

2. Sendo A = {1, 2, 3, 4, 5} determine o valor lógico das proposições abaixo:

4
(a) (∃x ∈ A)(x + 3 = 10)
(b) (∀x ∈ A)(x + 3 < 10)
(c) (∀x ∈ A)(x + 3 ≤ 7)
(d) (∃x ∈ A)(x + 3 < 5)
(e) (∃x ∈ A)(3x > 72)

3. Negar, aplicando as regras:

(a) Todos os triângulos são isósceles.


(b) Todos os quadrados são losangos e retângulos.
(c) Nenhum homem é imortal.
(d) Alguns animais são mamı́feros.
(e) Para todo x ∈ R, x + 4 = 9;
(f) Tudo é esférico.
(g) ∀x (P (x) ↔ Q(x));
(h) ∃x (∼P (x) → Q(x) ∨ R(x));
(i) ∀x (Q(x) ∧ R(x) → ∼S(x)).
(j) ∀x ∃y P (xy);
(k) ∀x P (x) → ∃y P (y);
(l) ∃x ∃y (P (xy) → Q(x));
(m) ∃x ∀y ∃z (P (xyz) ↔ Q(xyz)).
(n) Quaisquer que sejam A e B, existe C, tal que B está entre A e C.
(o) Qualquer que seja x, existe y tal que x + y = 8.
(p) 2 < 3
(q) Todas as funções racionais são contı́nuas.
(r) Algumas sequências convergem.
(s) Para quaisquer dois pontos do plano existe uma única reta que os contém.

4. Sendo A = {2, 3, 4, 5, 6, 7, 8, 9, } determine o valor lógico de cada sentença abaixo. Caso a


sentença seja falsa exiba um contra-exemplo:

(a) (∀x ∈ A)(x + 5 < 12)


(b) (∀x ∈ A)(x é primo)
(c) (∀x ∈ A)(x2 > 1)
(d) (∀x ∈ A)(0x = 0)
(e) (∀x ∈ A)(x é par)
(f) (∀x ∈ A)(x é divisor de 72)
(g) (∀x ∈ A)(x + 3 ≤ 7)

5
Exercı́cios da página 32
1. Numa determinada manhã, o filósofo grego Parmênides saiu pelas ruas gritando: “Eu estou
mentindo!”. Depois ele perguntava para as pessoas se ele estava dizendo a verdade ou não.
Qual seria sua resposta? Qualquer que seja a sua resposta mostre que ela é contraditória.

2. Em uma cidade só existe um barbeiro e este barbeiro só faz a barba dos homens que não
fazem a própria barba e somente destes. Sabendo que o barbeiro está barbeado pergunta-
se: Quem barbeou o barbeiro?

3. Peça a um colega que escolha um número de 1 a 7; depois peça que ele multiplique este
número por 2 e some 5 ao resultado; então peça que multiplique agora o resultado por 50.
Caso seu colega já tenha feito aniversário em 2010 peça a ele que adicione 1760 ao último
número obtido, caso contrário, ele deve adicionar 1759. Agora peça que ele subtraia o ano
do nascimento dele do último número obtido. No fim peça que ele lhe revele o resultado.
Você então dirá, para espanto de seu amigo, o número que ele escolheu (primeiro dı́gito
do resultado) e a idade dele (os dois últimos dı́gitos).
Faça algumas tentativas e se convença de que funciona. Por quê?

Exercı́cios adicionais
1. A mãe de César deu a ele as seguintes instruções para fazer um bolo:

• se colocar ovos, não coloque creme;


• se colocar leite, não coloque laranja;
• se colocar creme, não coloque leite.

Seguindo essas instruções, César pode fazer um bolo com:

(a) ( ) ovos e leite, mas sem creme;


(b) ( ) creme, laranja e leite, mas sem ovos;
(c) ( ) ovos e creme, mas sem laranja;
(d) ( ) ovos e laranja, mas sem leite e sem creme;
(e) ( ) leite e laranja, mas sem creme.

2. Na caixinha de costura de Lilavati só há botões de três cores: pretos, brancos e marrons.
Os botões são de três tamanhos: pequenos, médios e grandes, e além disso são de duas
formas: quadrados e redondos. Na caixinha não há botões pequenos redondos nem botões
grandes pretos, e dos outros tipos há exatamente um botão de cada.

(a) Quantos botões brancos quadrados há na caixinha?


(b) Quantos botões há na caixinha?

6
2 3 M A E

Figura 1: Exercı́cio 3

3. As cinco cartas abaixo estão sobre uma mesa, e cada uma tem um número numa face e
uma letra na outra. Simone deve decidir se a seguinte frase é verdadeira: ”Se uma carta
tem uma vogal numa face, então ela tem um número par na outra.”Qual o menor número
de cartas que ela precisa virar para decidir corretamente?

4. (SUDOKU) Complete os quadrados abaixo com os números de 1 a 9 seguindo as seguintes


regras básicas:

• os números não podem se repetir nas linhas e/ou colunas;


• a mesma regra vale para os quadrados menores de tamanho 3 × 3, ou seja, cada
quadrado 3 × 3 também deve ser completado, sem repetição, com os nmúmeros de 1
a 9.

Você também pode gostar