Proper.Sentence

Documentation

data Sentence s

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 -> Bool

neg :: Sentence s -> Sentence s

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

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

val :: s -> Sentence s

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

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

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

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

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

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

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

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