Propositional function problems

AI Thread Summary
The discussion focuses on propositional functions P(x) and Q(x) within a specified domain D. An example is provided where A and B are disjoint sets, with P(x) defined as x ≥ 0 and Q(x) as x < 0. Another example shows A as a subset of B, with P(x) as x ≥ 2 and Q(x) as x ≥ 3. The truth value of Q(x) for elements in A - B is determined to be false, while the expression P(x) ∨ ¬Q(x) evaluates to true. A correction is noted regarding the relationship between sets A and B, indicating that B is a subset of A, contrary to the initial claim.
Mezza
1. Suppose P(x) and Q(x) are propositional functions and D is their domain.
Let A = {x ∈ D: P(x) is true}, B = {x ∈ D: Q(x) is true}

(a) Give an example for a domain D and functions P(x) and Q(x) such that A∩B = {}
(b) Give an example for a domain D and functions P(x) and Q(x) such that A ⊆ B but A ≠ B.
(c) Given that x ∈ A - B, what is the truth value of Q(x)?
(d) Given that x ∈ A - B, what is the truth value of P(x) ∨ ¬Q(x)?

My Attempt.

(a) Let P(x): x ≥ 0, Q(x): x < 0
Domain = ℝ

∴A∩B = {}

(b) Let P(x): x ≥ 2, Q(x): x ≥ 3
Domain = ℝ

∴ A ⊂ B (meaning A ⊆ B but A ≠ B)

(c) Well, we let A = {x ∈ D: P(x) is true} and we are only in part of set A with no overlap with set B.

Only P(x) is true in this part of A (no overlap with set B where Q(x) is true).

∴ Q(x) is false.

(d) For x ∈ A - B; P(x) ∨ ¬Q(x) = TRUE OR (NOT FALSE) = TRUE OR FALSE = TRUE.

I'm brand new to logic and I'd like to check my solutions for any errors and / or improvements.

Cheers.
 
Physics news on Phys.org
In the point ##b## we have that ##Q(x)\Rightarrow P(x)## so ##B \subset A## and not what you said ...
Ssnow
 

Similar threads

Replies
12
Views
2K
Replies
2
Views
2K
Replies
1
Views
1K
Replies
14
Views
2K
Replies
1
Views
2K
Replies
1
Views
1K
Replies
1
Views
1K
Back
Top