G4ipProver.Proposition

Definition of propositions and some syntactic sugar

Documentation

data Prop

Constructors

Atom String

T

F

And Prop Prop

Or Prop Prop

Imp Prop Prop

Instances

Eq Prop

Defined in G4ipProver.Proposition

Methods

(==) :: Prop -> Prop -> Bool

(/=) :: Prop -> Prop -> Bool

Ord Prop

Defined in G4ipProver.Proposition

Methods

compare :: Prop -> Prop -> Ordering

(<) :: Prop -> Prop -> Bool

(<=) :: Prop -> Prop -> Bool

(>) :: Prop -> Prop -> Bool

(>=) :: Prop -> Prop -> Bool

max :: Prop -> Prop -> Prop

min :: Prop -> Prop -> Prop

Show Prop

Defined in G4ipProver.Proposition

Methods

showsPrec :: Int -> Prop -> ShowS

show :: Prop -> String

showList :: [Prop] -> ShowS

(/\) :: Prop -> Prop -> Prop infixr 3

(\/) :: Prop -> Prop -> Prop infixr 2

(==>) :: Prop -> Prop -> Prop infixr 1

(<==) :: Prop -> Prop -> Prop infixr 1

(<=>) :: Prop -> Prop -> Prop infixr 0

neg :: Prop -> Prop