Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

More detail in content/first-order-logic/syntax-and-semantics/satisfaction.tex #110

Closed
rzach opened this issue Nov 1, 2016 · 1 comment
Closed

More detail in content/first-order-logic/syntax-and-semantics/satisfaction.tex #110

rzach opened this issue Nov 1, 2016 · 1 comment
Milestone
Fall 2017 Sets, L...

Comments

@rzach
Copy link
Member

rzach commented Nov 1, 2016

content/first-order-logic/syntax-and-semantics/satisfaction.tex should probably be split into two sections.

The definition of satisfaction needs an example or two.

The proposition prop:satindep needs more detail, esp. regarding free & bound variables of B vs those of A (ie why the IH applies).

The main reason why this is proved is that it shows that if no variables are free, variable assignments don't make a difference. Ie this justifies the definition that follows it, but this should be explained!
@rzach
Copy link
Member Author

rzach commented Jun 27, 2017

Made progress in dd271c3#diff-894db9c70cc63e1572377dd88efb3557

rzach added a commit that referenced this issue Jul 2, 2017
@rzach
add example to fol/syn/satisfaction.tex, split stuff on assignments i…
cf806e0 
…nto separate section fol/syn/assignments.tex; more detail in proofs. fixes issue #110
@rzach rzach closed this as completed Jul 2, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Fall 2017 Sets, Logic, Computation
Development

No branches or pull requests
1 participant
@rzach