This preview shows page 1. Sign up to view the full content.
Unformatted text preview: If P is a wff and v is a variable (one of any of the variable symbols), then \/vP is a wff and any occurrence of v in P is said to be bound Small(x) 1wff Small(a) 2s Small(a) Small(x) 3wff ExEwSmall(w) 4s VxCube(x) small(x) 5wff VCube(a) 6n ExVLeftOf(x,t) 7s VxCube(a) EyCube(b) 8s VxCube(y) EyCube(x) 9wff Vx(Cube(y) EyCube(x)) 10wff ~Vx~Cube(x) 11s...
View Full Document
- Spring '09