Proper-0.4.3.0: An implementation of propositional logic in Haskell

Safe HaskellSafe-Infered

Proper.Sentence

Documentation

data Sentence s Source

Instances

Functor Sentence 
Foldable Sentence 
Eq s => Eq (Sentence s) 
Ord s => Ord (Sentence s) 
Show s => Show (Sentence s) 

checkTheorem :: (Ord s, Show s) => Theorem s -> BoolSource

neg :: Sentence s -> Sentence sSource

con :: Sentence s -> Sentence s -> Sentence sSource

dis :: Sentence s -> Sentence s -> Sentence sSource

val :: s -> Sentence sSource

bic :: Sentence s -> Sentence s -> Sentence sSource

imp :: Sentence s -> Sentence s -> Sentence sSource

truthAssignment :: Ord s => [s] -> [Bool] -> TruthAssignment sSource

evalSentence :: (Ord s, Show s) => TruthAssignment s -> Sentence s -> BoolSource

isValidByTruthTable :: (Ord s, Show s) => Sentence s -> BoolSource

toCNF :: (Ord s, Show s) => Sentence s -> CNF sSource

theorem :: [Sentence s] -> Sentence s -> Theorem sSource

bddCheckTaut :: Ord s => Sentence s -> BoolSource