Negating sentences in english
Abstract I invent and explore a terminology about degrees of sentences, I explore how to negate sentences and sentence parts in english, I distinguish between verbs that can be used…
Using propositions as variables
I have encountered the following problem a couple of times. This problem is this: When formalizing something in predicate logic, the predicate uses propositions as variables.1 We may refer to…