Unidade Acadêmica de Graduação - UAGRAD

Atividade Acadêmica: 093915 – Lógica

Modalidade: A Distância
Prof.: Mônica Py

Questões da atividade sobre Sentenças Abertas

Questão 1. Sejam as sentenças abertas P(x) e Q(x) em C = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, determinar o conjunto
verdade de:

P(x) : x2 − x − 2 ∈ C
Q(x): x2 − 1 é impar

1. VP ∧Q
Resposta: VP = {3, 4}, VQ = {2, 4, 6, 8, 10}, VP ∧Q = {4}

2. VQ→P
Resposta: VQ→P = {1, 3, 4, 5, 7, 9}

3. VP ↔Q
Resposta: VP →Q = {1, 2, 4, 5, 6, 7, 8, 9, 10}eVQ→P = {1, 3, 4, 5, 7, 9} = VP ↔Q = {1, 4, 5, 7, 9}

Questão 2. Seja P(x) a sentença P(x,y,z) = 3y + x < z + 2x, onde x, y, z ∈ AxBxC. Considere x ∈ A = {1, 2, 3},
y ∈ B = {1, 3} e z ∈ C = {2, 4}, determine o conjunto verdade V¬P .
Resposta: VP = {(1, 1, 4), (2, 1, 2), (2, 1, 4), (3, 1, 2), (3, 1, 4)}
V¬P = {(1, 1, 2), (1, 3, 2), (1, 3, 4), (2, 3, 2), (2, 3, 4), (3, 3, 2), (3, 3, 4)}