MHB Writing a statement symbolically

Thread starter thxrx
Start date Apr 25, 2018
Tags

Writing

Apr 25, 2018

thxrx

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

Physicists unlock secrets of stellar alchemy, yielding new insights into gold's cosmic origins
A 'seating chart' for atoms helps locate their positions in materials
Light particles prefer company: Photons exhibit collective behavior only after reaching certain threshold

Apr 25, 2018

Ackbach

Gold Member

MHB

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 »