oalg-base-1.1.4.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.
Copyright(c) Erich Gut
LicenseBSD3
Maintainerzerich.gut@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

OAlg.Data.Statement.Proposition

Contents

Description

Propositions on statements.

Synopsis

Proposition

prpStatement :: Statement Source #

validity of the logic of Statement..

prpStatementTautologies :: Statement Source #

logical tautologies of Statement.

Note Validating this proposition produces about 15% denied premises, which is OK.

prpValidTautologies :: Statement Source #

logical tautologies of Valid.

prpCheckTrue :: Statement Source #

true :?> MInvalid.

prpCheckFalse :: Statement Source #

false :?> MInvalid <~> false.

prpCatch :: Statement Source #

catch algebraic exceptions.

prpPrjHom :: Statement Source #

prj :: Valid -> Bool is a homomorphism between Boolean structures.

X

xStatement :: Int -> X Statement Source #

random variable of statements with the maximal given depth.