MHB Writing a statement symbolically

  • Thread starter Thread starter thxrx
  • Start date Start date
  • Tags Tags
    Writing
Click For Summary
The discussion focuses on expressing statements symbolically using the predicates P(x) for "x is an accountant" and Q(x) for "x owns a Porsche." The first statement, "Some accountants own a Porsche," can be represented as ∃x (P(x) ∧ Q(x)). The second statement, "All owners of Porsche are accountants," is symbolized as ∀x (Q(x) → P(x)). Participants are encouraged to share their attempts at these symbolic representations. The conversation emphasizes the importance of correctly translating verbal statements into logical symbols.
thxrx
Messages
1
Reaction score
0
Let P(x) denote the statement "x is an accountant", and let Q(x) denote that statement "x owns a Porsche".Write the following statements symbolically.

i) Some accountants own a Porsche.

ii) All owners of Porsche are accountants.
 
Physics news on Phys.org
What have you tried?
 

Thread 'Two interesting number theory tricks'

First trick I learned this one a long time ago and have used it to entertain and amuse young kids. Ask your friend to write down a three-digit number without showing it to you. Then ask him or her to rearrange the digits to form a new three-digit number. After that, write whichever is the larger number above the other number, and then subtract the smaller from the larger, making sure that you don't see any of the numbers. Then ask the young "victim" to tell you any two of the digits of the...
View full post »

Similar threads

Undergrad Question regarding quantifier statement
  • · Replies 10 ·
Replies
10
Views
1K
Undergrad On the meaning of logical implication within specific context/models
  • · Replies 22 ·
Replies
22
Views
3K
Undergrad [(Linear) Temporal Logic] Are the given sentences consistent or not?
  • · Replies 8 ·
Replies
8
Views
2K
Undergrad How to obtain moment bound from the importance sampling identity?
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad How find moment of inertia for car in turn?
  • · Replies 49 ·
2
Replies
49
Views
5K
Undergrad May I use set theory to define the number of solutions of polynomials?
  • · Replies 13 ·
Replies
13
Views
2K
Undergrad Understanding extinction probability in simple GWP
  • · Replies 1 ·
Replies
1
Views
2K
MHB Writing a statement into symbolic logic
  • · Replies 2 ·
Replies
2
Views
2K
MHB Translate the statements into set inclusion
  • · Replies 5 ·
Replies
5
Views
1K
Undergrad Discovering the Useful Denial for Predicates P(x) and Q(x) in Universe U
  • · Replies 1 ·
Replies
1
Views
2K