Please use the following key to symbolize statement in Predi

Please use the following key to symbolize statement in Predicate Logic.

T 1 : 1 is a philosophical text

B 1 2: 1 is a better than 2

W 1 2: 1 writes 2

R 1 2 : 1 reads 2

C 1 2 3 : 1 copies 2 from 3

s: Socrates

p: Plato

a: Anaximander

Any philosophical text that Socrates writes is better than some philosophical text that Plato writes.

Solution

a -R- s W p