Expert Systems L3
Expert Systems L3
•Associativity:
(P ∧Q) ∧R= P ∧(Q ∧R),
(P ∨Q) ∨R= P ∨(Q ∨R)
Identity element:
P ∧True = P,
P ∨True= True.
Distributive:
P∧(Q ∨R) = (P ∧Q) ∨(P ∧R).
P ∨(Q ∧R) = (P ∨Q) ∧(P ∨R).
•DE Morgan's Law:
¬ (¬P) = P.
We cannot represent relations like ALL, some,
or none with propositional logic. Example:
All the girls are intelligent.
Some apples are sweet.
•Propositional logic has limited expressive
power.
•In propositional logic, we cannot describe
statements in terms of their properties or
logical relationships.
1) Translate the following Propositional Logic
to English sentences.
Let:
E= Ali is eating
H= Ali is hungry
(a) E → ¬H
(b) E ^ ¬H
(c) ¬(H → ¬E)