Ever since modern symbolic logic was consolidated (in the mid 1900s), the standard format for an introductory logic class has been to learn the classical predicate calculus in three steps: ...

It emphasizes how different representations—such as predicate calculus, knowledge graphs, embeddings, and tables—support different functionalities—such as inference, probabilistic reasoning, language ...