logic.lecture

# logic.lecture - If P is a wff and v is a variable(one of...

This preview shows page 1. Sign up to view the full content.

Upsidedown A = universal quantifier. This says all or everything Backwards E = existential quantifier. This says something or at least one (UQ)x means ‘for all x’ \/xSmall(x) = everything is small \/x(Cube(x) small(x)) = every cube is small \/x(Cube(x)^small(x)) = everything is a small cube Ex(Cube(x) small(x)) = at least one cube is small WFFs If P is a wff, so is ~P
This is the end of the preview. Sign up to access the rest of the document.

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

Ask a homework question - tutors are online