Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (∀x) Ax
- --------
- A[x/a]
- ===============
- A[x/a]
- --------
- (∀x) Ax (with restrictions)
- ===============
- Aa
- --------
- (∃x) Ax
- ===============
- (∃x) Ax
- Ax[x/a] -> b
- --------
- b (with restrictions)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
