Propositional Logic allows us to talk about relationships among individual propositions. But when we want to say things more generally, we find that Propositional Logic is inadequate. With variables and quantifiers, we can express information about multiple objects. As Herbrand is French, it should properly be pronounced "air-brahn"
Propositional Logic allows us to talk about relationships among individual propositions. But when we want to say things more generally, we find that Propositional Logic is inadequate. With v…