Tarefa aula 3 Matemática Discreta 2017.1 (2)

Prévia do material em texto

MATEMÁTICA DISCRETA
Tarefa aula 3
Sentenças Abertas e Quantificadores
(Elaborado pelo professor Guttenberg Sergistótanes S. Ferreira)
Marcira Bezerra Mororó Fernandes Matricula:20171024023510
Escreva as seguintes sentenças utilizando a notação de quantificador, isto é, usando os símbolos e/ou . (Obs.: não garantimos que as afirmações sejam verdadeiras, logo não é necessário prová-las).
Todo número inteiro é primo
 ∀𝑥 ∈ Z,x é primo
Há um inteiro que não é primo nem composto
∃ 𝑥 ∈ Z/ 𝑥 não é primo e nem composto. 
Existe um inteiro cujo quadrado é 2
∃ 𝑥, 𝑥 ∈ Z,x².2,
Todos os inteiros são divisíveis por 5
∀𝑥 ∈ Z, cinco sobre x.
Algum inteiro é divisível por 7
∃ 𝑥 ∈ Z, sete sobre x.
Para cada uma das sentenças seguintes, escreva a negação correspondente colocando o símbolo “~” o mais à direita possível. Com isso, reescreva a negação em português.
x Ax Z
Existe um valor inteiro x,para x maior ou igual a zero.
~ x Z,x=x+1) x Z,x ≠  x+1
Não existe um valor inteiro X,com x igual a x+1, equivalente para todo x pertencente aos inteiros onde x diferente de x+1
x x Nx 10
Para todo x natural existe um x maior ou igual a dez.
 x N,x+x=2x x N,x+x2x
 Não existe nenhum valor natural de x que a soma de x+x seja igual ao dobro.
 x e Z y Z,X y
Para todo valor de x existe ao menos um valor inteiro y que seja válido, x maior ou igual a y.