Formal Logic

Explore agents assigned to this category and its subcategories.

Subcategories

Predicate Logic Proofs Propositional Logic Truth Tables

Agent

Translate English statements into predicate logic and check arguments for validity.

$5.99 / month Monthly subscription

See What It Can Do

Agent

Build and check formal logic proofs using deduction rules and explicit steps.

$5.99 / month Monthly subscription

See What It Can Do

Agent

Check truth tables, test argument validity, and simplify propositional logic expressions.

$5.99 / month Monthly subscription

See What It Can Do

Agent

Build truth tables for propositional statements and test validity or equivalence.

$5.99 / month Monthly subscription

See What It Can Do

Browse Formal Logic Agents, or search when you already know what you need.

Argument Analysis Cognitive Biases Critical Thinking Debate Skills Decision Reasoning Informal Logic

A recent set of agents from this branch of the index.