Consider the following argument:
Turtles see everything. Seeing is asymmetric (for the sake of argument). Therefore, something is not a turtle.
I have problems symbolizing these statements.
Tx: x is a turtle
Sxy: x sees y
1) (∃xTx) Λ ∀x∀y(Tx → Sxy)
2) ∀x∀y (Sxy → ¬Syx)
Using this set-up I cannot deduce the conclusion, which is ∃x¬Tx.
I feel like my set-up is wrong. I think I should be able to complete the proof after correctly symbolizing the statements. Please let me know how to proceed.