MHB Truth Table for P(x) & R(x), ~Q(x) & P(x) in U

  • Thread starter Thread starter trevor
  • Start date Start date
  • Tags Tags
    Table Truth table
Click For Summary
SUMMARY

The discussion focuses on constructing a truth table for the predicates P(x), Q(x), and R(x) over the finite universe U = {−4, −2, 0, 1, 3, 5, 6, 8, 10}. The predicates are defined as follows: P(x): x ≥ 4, Q(x): x² = 25, and R(x): x is a multiple of 2. The truth table aims to evaluate the expressions P(x) ∧ R(x) and ¬Q(x) ∧ P(x). The use of truth tables in predicate logic is justified due to the finite nature of the universe.

PREREQUISITES
  • Understanding of predicate logic and truth tables.
  • Familiarity with logical operators such as conjunction (∧) and negation (¬).
  • Knowledge of basic mathematical concepts, including even numbers and squares.
  • Ability to interpret and manipulate logical expressions.
NEXT STEPS
  • Learn how to construct truth tables for more complex logical expressions.
  • Study the implications of predicate logic in finite versus infinite universes.
  • Explore the use of logical operators in programming languages.
  • Investigate the relationship between predicates and set theory.
USEFUL FOR

Students of mathematics, logic enthusiasts, and educators looking to deepen their understanding of predicate logic and truth tables.

trevor
Messages
6
Reaction score
0
Consider the following open propositions over the universe U = {− 4,−2, 0, 1, 3, 5, 6,
8, 10}
P(x): x ≥ 4
Q(x): x 2 = 25
R(x): s is a multiple of 2
Find on a single truth table the truth-values of the following.
i. P(x ) ∧ R (x )
ii. [~ Q(x )] ∧ P(x )]
 
Physics news on Phys.org
Please note that according to https://mathhelpboards.com/rules/ 11 you are expected to explain your attempts at solving the problem or describe your difficulty. At the very least please make sure that the problem statement is typed correctly and not simply copied, which results in formulas like "x 2 = 25", which don't make sense. And what is $s$ in "$s$ is a multiple of 2" since it is supposed to be the definition of $R(x)$?

Truth tables are not usually used in predicate logic, but since the universe is finite, their use makes sense here. I assume the table should look like this (I use 0 for false and 1 for true).
\[
\begin{array}{r|c|c|c|c|c}
x & P(x) & Q(x) & R(x) & P(x)\land R(x) & \neg Q(x)\land P(x)\\
\hline
-4&0&&1&0&\\
-2&0&&1&0&\\
0&0&&1&0&\\
1&0&&0&0&\\
3&0&&0&0&\\
5&1&&&&\\
6&&&&&\\
8&&&&&\\
10&&&&&
\end{array}
\]
Try filling the rest of the table.
 
If there are an infinite number of natural numbers, and an infinite number of fractions in between any two natural numbers, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and... then that must mean that there are not only infinite infinities, but an infinite number of those infinities. and an infinite number of those...

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K