> ## Documentation Index
> Fetch the complete documentation index at: https://aegean.ai/llms.txt
> Use this file to discover all available pages before exploring further.

# Logic

> Classical AI reasoning using propositional logic, logical inference, and knowledge-based agents.

This chapter covers classical AI reasoning based on formal logic, enabling agents to derive conclusions from known facts and rules.

<CardGroup cols={2}>
  <Card title="Automated Reasoning" icon="robot" href="/aiml-common/lectures/logical-reasoning/automated-reasoning/index">
    Foundations of automated reasoning systems.
  </Card>

  <Card title="Propositional Logic" icon="code-branch" href="/aiml-common/lectures/logical-reasoning/propositional-logic/index">
    Boolean logic and propositional calculus.
  </Card>

  <Card title="Logical Inference" icon="arrows-turn-to-dots" href="/aiml-common/lectures/logical-reasoning/logical-inference/index">
    Inference rules and proof methods.
  </Card>

  <Card title="Logical Agents" icon="user-gear" href="/aiml-common/lectures/logical-reasoning/logical-agents/index">
    Building agents that reason with logic.
  </Card>
</CardGroup>

***

<Callout icon="pen-to-square" iconType="regular">
  [Edit this page on GitHub](https://github.com/aegean-ai/eaia/edit/main/src/book/logic/index.mdx) or [file an issue](https://github.com/aegean-ai/eaia/issues/new/choose).
</Callout>