Skip to main content

Formal Logic Framework

Project description

#Forseti [![Build Status](]( [![Coverage Status](]( [![Latest Version](]( [![Development Status](]( [![Supported Python versions](]( [![License](](

A Formal Logic framework for a variety of applications.

##Usage 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 a “Predicate” object, which can take in other Predicates as appropriate (Atomics can only hold one string).

An example: `python from forseti import parser from forseti.predicate import Atomic, And assert parser.parse(and(a, b)) == And(Atomic('a'), Atomic('b')) `

##Goals: Using Forseti to implement the following programs/applications

1. Automated Theorem Prover (done in Forseti core) 1. [Implement Davis-Putnam Algorithm]( 1. [Truth Trees]( 1. [Slate]([Fitch](

Project details

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