# 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: