MHB Writing a statement symbolically

  • Thread starter Thread starter thxrx
  • Start date Start date
  • Tags Tags
    Writing
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 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
View full post »

Similar threads

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

Hot Threads

Recent Insights

Back
Top