Symbolic Logic

Transcription of normal sentences transcribed into symbolic logic, back into English

Let there be a person A, and a person Elvis.
There exists a thing X which is a king of rock,
and Elvis is equal to that thing.
If there exists any other thing which is a king of rock,
then that thing is actually X.
Furthermore, if A is a rational man,
then for all things Y which are albums by X,
A loves Y.
And, for all things Z which are albums, 
and are not albums by X,
then if A loves Z, 
then A does not love Z as much as A loves Y.

The End

1 comment about this work Feed