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 'A variant of the Monty Hall problem'

There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...
View full post »

Similar threads

I Question regarding quantifier statement
  • · Replies 10 ·
Replies
10
Views
1K
I On the meaning of logical implication within specific context/models
  • · Replies 22 ·
Replies
22
Views
3K
I [(Linear) Temporal Logic] Are the given sentences consistent or not?
  • · Replies 8 ·
Replies
8
Views
2K
I How to obtain moment bound from the importance sampling identity?
  • · Replies 1 ·
Replies
1
Views
2K
I How find moment of inertia for car in turn?
  • · Replies 49 ·
2
Replies
49
Views
5K
I May I use set theory to define the number of solutions of polynomials?
  • · Replies 13 ·
Replies
13
Views
2K
I 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
I Discovering the Useful Denial for Predicates P(x) and Q(x) in Universe U
  • · Replies 1 ·
Replies
1
Views
1K