F19 edition - Githubissues

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic

https://forallx.openlogicproject.org/

Creative Commons Attribution 4.0 International

94 stars 30 forks source link

Closed rzach closed 4 years ago

rzach commented 5 years ago

New cover
Added chapters on modal logic, based on notes by Rob Trueman
Changed syntax of FOL: Use F(x,y) instead of Fxy. Can be customized.
Changed some notation: logical consistency is now satisfiability (and cognates), logical truths are now validities
Fixed issue #15 and let sentence letters be atomic formulas
Fixed issue #12 and defined satisfaction of a formula by an object, used this to define truth conditions for quantifiers

rzach commented 5 years ago

Added chapters on proof strategies in commit a5de06477ee4c2fbb8a78800843aa2cab7493ca6

rzach commented 5 years ago

rzach commented 5 years ago