Atividade de Lógica Proposicional

Prévia do material em texto

CENTRO UNIVERSITÁRIO DO SUL DE MINAS UNIS-MG
GEAD – Gestão da Educação a Distância
Licenciatura em Matemática 
	
ATIVIDADE 02 ESA – Lógica Proposicional, Proposições, Quantificadores e Técnicas de Demonstração.
	Tipo de Atividade: ATIVIDADE AVALIATIVA INDIVIDUAL
	Início: 23/02/2018
	Término: 11/03/2018
	Disciplina: Estruturas Algébricas 
	Valor: 10 
	Pontos
	Professor: Dr. Alessandro Ferreira Alves
	Nota:
	Aluno: 
	
“Felizes aqueles que se divertem com problemas que educam a alma e elevam o espírito”.
(Fenelon)
“Ao longo do tempo muitos homens conseguiram atingir o êxtase da criação. A estes homens dá-se o nome de MATEMÁTICOS”. 
(Leonard Euler)
ATIVIDADE INDIVIDUAL
Questão 01: Quais das sentenças abaixo são proposições? No caso das proposições, quais são verdadeiras?
5.4 = 20 
20=20 Verdadeira
5 – 4 = 3
5 - 4=1 Falsa
2 + 7.3 = 5.4 + 3
2+21=20+3
23=23 Verdadeira
5. (3 + 1) = 5.3 + 5.1
 5.4=15 + 5
 20=20 Verdadeira
1 + 3 ≠ 1 + 6 
4≠7 Verdadeira
Questão 02: Qual é a negação de cada uma das seguintes proposições? Que negações são verdadeiras?
3.7 = 21
(Falsa)
3.(11 – 7) ≠ 5
 (Falsa)
3.2 + 1 > 4
 (Falsa)
5.7 – 2 ≤ 5.6
 (Verdadeira)
(
)
 < (
)
 (Falsa)
< 1
 (Verdadeira)
Questão 03: Classifique em verdadeira ou falsa, cada uma das seguintes proposições compostas:
3 > 1 e 4 > 2
3 > 1 ou 3 = 1
2 | 4 ou 2 | (4 + 1)
3.(5 + 2) = 3.5 + 3.2 e 3 | 7
 < 
 ou 5 | 11
Questão 04: Classifique em verdadeira ou falsa, cada uma das seguintes proposições compostas:
2 – 1 = 1 → 5 + 7 = 3.4 
2² = 4 ↔ (– 2)² = 4
5 + 7.1 = 10 → 3.3 = 9
 
mdc (3,6) = 1 ↔ 4 é número primo
 
2 | 8 → mmc (2, 8) = 2
Questão 05: Admitindo que p e q são verdadeiras e r é falsa, determine o valor lógico (V ou F) de cada proposição abaixo:
p → r F
p ↔ q V
r → p V 
(p
r) ↔ q V
p → (q → r) F
p → (q 
 r) V
Questão 06: Consideremos a proposição p → (r
s) falsa e a proposição (q 
 ~ s) ↔ p verdadeira, classifique em verdadeira ou falsa as afirmações p, q, r e s. 
_1391791362.unknown
_1391791557.unknown
_1391792289.unknown
_1391792443.unknown
_1391792231.unknown
_1391791363.unknown
_1391791290.unknown
_1391791361.unknown
_1391791272.unknown