Chop Logic Core - v1.4.0
    Preparing search index...

    Type Alias PropAtom

    PropAtom: [string]

    Represents an atomic proposition in the logical system. An atomic proposition is the simplest form of a logical statement.