Lecture Notes on Propositional and Predicate Logic
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
README.md
introduction.tex
macros.tex
main.pdf
main.tex
main.xmpdata
model_theory.tex
predicate.tex
propositional.tex

README.md

Lecture Notes on Propositional and Predicate Logic

This is a first version of lecture on propositional and predicate logic. The lecture notes are incomplete as of yet, but the goal is to add notes for one lecture every week.

As the book is a work in progress, it may contain error, if you find one, do not hesitate to create an issue. Also any other comments to the text are welcome.