I am looking for sources (beginner level) which teach one how to define a language based on first order logic, define syntax and semantics, prove properties, etc. I am also looking for beginner sources that teach proving theorems in the context of FOL and propositional logic. Thanks
Asked
Active
Viewed 29 times
1
-
1This is something I've been looking for myself. I've found that first, you must define a formal system. There's some great examples of how this has been done before in the wiki article for Propositional Calculus – Graviton Jul 25 '21 at 07:19
-
See e.g. this post – Mauro ALLEGRANZA Jul 25 '21 at 10:33