Symbolization in predicate logic. Put the following statements into symbolic notation, using the given letters as predicates. Existential quantifier and logical symbols are here for you to copy and paste: ∃x, ,V, ~, ,
Px: x is a strictly physical thing
Cx: x has consciousness
Sx: x has subjectivity
Mx: x is a mind
1. Nothing strictly physical has consciousness.
2. Minds exist.
3. All minds have consciousness and subjectivity.
4. No minds are strictly physical things.
