matematica computacional
825 palavras
4 páginas
Aluna: Lorena Ziviani AndradeTurma: 4DA
1- (a) Verdadeiro.
(b) Falso
(c) Falso
(d) Verdadeiro
2- (a) Verdadeiro:
Y = 0.
(b) Verdadeiro:
Y = 0.
(c) Verdadeiro:
Y = -x.
(d) Falso, nenhum y funciona para todo x.
(e) Falso, pois podem haver X=Y.
(f) Verdadeiro:
Y= -x
(g) Verdadeiro:
X=2
Y=4
(h) Falso, pois podem haver x=0
3- (a) Falso
(b) Verdadeiro.
(c) Verdadeiro.
(d) Falso.
(e) Verdadeiro.
4- (a) Verdade: A(x) “x é bonito”, B(x) “x é elegante”.
Falso: A(x) “x>0”, B(x) “x >= 1”
(b) Verdade: P (x, y) “x é paralelo a y”, P (y, x) “y é paralelo a x”.
Falso: P(x, y) “x A(x) “x é par”, B(x, y) “x A(x) “x é par”, B(x, y) “x0”, B(x, y) “x>=0”.
Falso: A(x) “x>0”, B(x, y) “x é par”.
- (a) Escopo de
(x) é P(x) → Q(y), Variável livre: Y.
(b) Escopo de
(x) é A(x) Ʌ
(c) Escopo de
(x) é
(Y) P(x, y) Ʌ Q(x, y), Escopo de
(d) Escopo de (x) é
A(a,z) Variável livre: Z.
6- (a) (
(Y) B(Y), Variável livre: NÃO TEM.
(y) [A(x, y) Ʌ B(y, z) → A(a,z)], Escopo de
Y)[D(x) → S(x)]
(b) ( x) [D(x) Ʌ R’ (x)]
(c) (
x)[D(x) Ʌ S(x) → R’ (x)]
(d) ( x)[D(x) Ʌ S(x) Ʌ R(x)]
(e) (
x) [D(x) Ʌ S(x) Ʌ R(x)]’
(f) (
x) [D(x) Ʌ S(x) ↔D(x) Ʌ R(x)]
(g) (
x) [D(x) Ʌ S(x)]’
(h) S(m) → (
x) [D(x) → S(x)]
(i) R(m) Ʌ R(t)
(j) ( x)(D(x) Ʌ R(x)) → (
x)[D(x) → S(x)]
7- (a) ( x) [M(x) Ʌ D(x) Ʌ Q(x)]
(b) (
x) [M(x) Ʌ D(x) Ʌ Q(x)]’
(c) ( x) [D(x) Ʌ (
(Y) é P(x, y) Variável livre: Y.
y) (A (x, y) → J(y))]
(y) é A(x, y) Ʌ B(y, z) →
(d) (
x)[J(x) →(
(e) (
x) (
(f) (
x) ([M(x) Ʌ D(x)] → ( y) [J(y) Ʌ A (x, y)])
y)[J(y) Ʌ A (x, y) → J(x)]
(g) ( x)(M(x) Ʌ (
8- (a) (
y) (A (x, y) → J(y))]
y)[D(y) → A (x, y)]’)
x)(C(x) Ʌ F(x))’
(b) ( x) [P(x) Ʌ (
y) (S (x, y) →F(x))]
(c) (
x) (
y) [(P(x) Ʌ S (x, y)) → C(x)]
(d) (
x)[F(x) → ( y)(C(y) Ʌ S (x, y))]
(e) (
x)[P(x) → ( y)(C(y) Ʌ S (x, y))]’
(f) ( x) ( y)(C(x) Ʌ F(y) Ʌ S (x, y)) →(
9- (a) (
x)