Propositional function problems

Click For Summary
SUMMARY

The discussion revolves around propositional functions P(x) and Q(x) defined over a domain D, with specific examples illustrating set relationships. In part (a), the functions P(x): x ≥ 0 and Q(x): x < 0 demonstrate that A∩B = {} when D is the real numbers ℝ. In part (b), P(x): x ≥ 2 and Q(x): x ≥ 3 show that A ⊆ B while A ≠ B, also over the domain ℝ. The truth values for Q(x) and P(x) ∨ ¬Q(x) are established in parts (c) and (d), confirming that Q(x) is false when x ∈ A - B and P(x) ∨ ¬Q(x) evaluates to true.

PREREQUISITES
  • Understanding of propositional functions and their domains
  • Familiarity with set theory concepts such as intersection and subset
  • Basic knowledge of logical operations including disjunction and negation
  • Experience with real numbers and inequalities
NEXT STEPS
  • Study the properties of propositional functions in mathematical logic
  • Explore set theory operations, particularly intersection and subset relations
  • Learn about logical operators and their truth tables
  • Investigate more complex examples of propositional functions and their implications
USEFUL FOR

Students of mathematics, particularly those studying logic and set theory, as well as educators looking to enhance their understanding of propositional functions and their applications.

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 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
4
Views
2K