limitations

Limitations

1. It only consists of propositional and formulas. It doesn’t have relationships among objects.
2. Not able to express complex sentences and relations.

$1.AliceandBobknowdrawing$

How can it be represented in PL?

Something like this?

$$\text{displaylines}AliceKnowsDrawing\wedge BobKnowsDrawing$$

$2.Allstudentsknowdrawing$

How can it be represented in propositional logic?

$$\begin{gathered} \text{displaylines}AIsStudent\to AKnowsDrawing \\ BIsStudent\to BKnowsDrawing \\ CIsStudent\to CKnowsDrawing \\ ... \end{gathered}$$

3. No notion for categories and individuals.
4. It is missing objects and relations or predicates. For example, $AliceKnowsDrawing$ can be decomposed into $Alice,knows,drawing$ where $Alice$ and $drawing$ are two objects connected with a predicate $knows$.

References

1. Limitations of propositional logic
2. First-Order Logic: Syntax and Semantics https://web.engr.oregonstate.edu/~afern/GOFAI/notes/first-order-logic-syntax-semantics.pdf