Logic for Computer Scientists/Predicate Logic/Predicate Logic
Predicate Logic edit
When we introduced propositional logic we argued in treating the electrical circuit example (circuit), that a string like can be read intuitively as "the output of inverter 1 is high", but then we abstracted from this internal structure of the proposition and further on we represented the proposition by a simple string like "the_output_of_inverter_1_ is_high". In the formal parts of the calculus we even assumed more abstract just a given countable set of propositions . Until now, we investigated a logical language that was able to deal with connecting these propositions, In this section we will have a closer look into the structure of propositions. We will be able to explicitly refer to objects like the inverter or its output in the sentences of our language,. Besides this domain, we will introduce the new concept of a variable, which stands for an arbitrary object of our domain. Hence, we will be able to write e.g. to denote the fact that the output of a is high. As a consequence of this concept we will have quantifiers, which allow for sentences like , with an intended meaning that there exists an object , whose output is high, or with an intended meaning that for all objects output is high,
Together with these new concepts it will be possible to express rather
abstract properties of elements from the domain. Assume, e.g. that we
want to introduce the concept of elements in a circuit to be
connected. We could say and
. Now, with the intended meaning of being
connected, we can assume, that and are connected as
well. Of course, we could introduce the new sentence to express this; but the disadvantage is obvious: this have to
be done for all objects from our domain. In predicate logic this
property of transitivity of connectedness can be expressed without
referring to explicit objects by the following sentence: