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

Chapter 1: Thinking Logically with AEGs #1

Open
9 tasks
RyanR712 opened this issue Dec 18, 2023 · 0 comments · May be fixed by #2
Open
9 tasks

Chapter 1: Thinking Logically with AEGs #1

RyanR712 opened this issue Dec 18, 2023 · 0 comments · May be fixed by #2
Assignees
@RyanR712
Labels
documentation Improvements or additions to documentation

Comments

@RyanR712
Copy link
Collaborator

RyanR712 commented Dec 18, 2023 •
edited
Loading

Do not assume the reader to have familiarity with Propositional Calculus. Introduce AEGs in this chapter as if the audience has never interacted with mathematical logic.

Explain components of AEGs:

  • The Sheet of Assertion
  • Atoms
  • Cuts
  • Conjunction between Atoms/Cuts on The Sheet
  • Rules of Equivalence
  • Rules of Inference
  • What AEGs can and cannot model
  • Conclusion
  • Proofreading
@RyanR712 RyanR712 added the documentation Improvements or additions to documentation label Dec 18, 2023
@RyanR712 RyanR712 linked a pull request Dec 18, 2023 that will close this issue
Chapter 1 #2
Draft
@RyanR712 RyanR712 self-assigned this Dec 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@RyanR712 RyanR712

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Chapter 1 RAIRLab/EG-Theorem-Proving-in-PMH
1 participant
@RyanR712