Share your knowledge on Readable
Collaborate with others to annotate & explain the things you love

Today I'm talking about objective critical logic. Which sounds like something you'd see on some sort of high school work sheet, in some high school philosophy class. But that's...
BRUNO OLIVEIRA: Hello. My name is Bruno Oliveira, and welcome to our third episode in the Play Games and the NDK series. We're going to talk about some threading and lifecycle issues that may...
Evaluation and satisfaction are processes involving sentences and specific truth assignments. In logic we are sometimes more interested in the properties of sentences that hold across different truth...
Finally as an exercise in using some of the concepts introduced in this section, let's consider the following problem. Stanford people always tell the truth and Berkeley people always lie....
The Herbrand Base for a relational signature is the set of all ground relational sentences that can be formed from the vocabulary of the language. Let's look at a, some examples. For a...