Skip to main content

Formal Logic Framework

Project description

Build Status Coverage Status Code Health

A Formal Logic framework for a variety of applications.


From PyPI

forseti is available on PyPI.

$ pip install forseti

From source

  • Download the source code:
$ git clone
$ python install


forseti comes with an internal representation of propositional calculus formulas (atomic, not, and, or, implication, and equivalance). It can generate this from a functional representation of any formula. Interally, it holds everything as formula objects, which can take in other formulas as appropriate (Symbols can only hold one string).

An example:

from forseti import parser
from forseti.predicate import Atomic, And
assert parser.parse("and(a, b)") == And(Atomic('a'), Atomic('b'))

Additionally, it also comes with a builtin prover that can validate a propositional calculus argument

from forseti.prover import Prover
prover = Prover()


  1. First Order Logic Prover
  2. Optimizations


Using forseti to implement the following programs/applications

  1. Automated Theorem Prover (done in forseti core)
  2. Implement Davis-Putnam Algorithm
  3. Truth Trees
  4. Slate / Fitch

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for forseti, version 0.8.0
Filename, size File type Python version Upload date Hashes
Filename, size forseti-0.8.0.tar.gz (10.3 kB) File type Source Python version None Upload date Hashes View

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page