Professional Documents
Culture Documents
DM Neso
DM Neso
DM Neso
SEMANTICS
Semantics provides the “meaning” of propositional logic formulae. It is defined very precisely in a
mathematical way. The semantics allows us to identify correct inference rules.
Example: Intuitively, the meaning of “A ∧ B” is that “this is only true if both A and B are true”.
Other Laws of Logic
NOTE:
Dual of proposition p:
If the proposition p,
contains only the logical
connectives only, AND
and OR, and no other
connectives are there, then
the dual of p is obtained
by replacing AND by OR
and OR by AND, then it is
dual.
De Morgan’s Rule
Let P AND Q are two compound propositions. And the connectives are the logical connectives
between the primitive propositions. So, logical connectives are the conjunction, disjunction and
negation.
• Now, the De Morgan’s rules tell that the negation of compound proposition P can be obtained by
replacing, AND by OR, the OR by AND, and making each primitive statements as the negation of
that.