2.2 Semantics
In this chapter, I'll define the semantics of our language. After that, I'll present some properties of the usual logical connectives, define truth functions and explain how to build any truth function with our connectives.
Table of Contents
Posted 27/08/2024 | Last edited 02/09/2024