truth

Documentation

Index

• func Decide(p Proposition) (bool, error)
• type Constant
  • func (b Constant) String() string
• type Proposition
  • func And(A, B Proposition) Proposition
  • func Eqv(A, B Proposition) Proposition
  • func Existential(v Variable, p Proposition) Proposition
  • func Fllw(A, B Proposition) Proposition
  • func Func(name string, vars ...Variable) Proposition
  • func Impl(A, B Proposition) Proposition
  • func Not(A Proposition) Proposition
  • func Or(A, B Proposition) Proposition
  • func Universal(v Variable, p Proposition) Proposition
• type Variable
  • func (v Variable) String() string

Functions

func Decide

func Decide(p Proposition) (bool, error)

Types

type Constant

type Constant bool

func (Constant) String

func (b Constant) String() string

type Proposition

type Proposition interface {
	fmt.Stringer
	// contains filtered or unexported methods
}

func And

func And(A, B Proposition) Proposition

func Eqv

func Eqv(A, B Proposition) Proposition

func Existential

func Existential(v Variable, p Proposition) Proposition

func Fllw

func Fllw(A, B Proposition) Proposition

func Func

func Func(name string, vars ...Variable) Proposition

func Impl

func Impl(A, B Proposition) Proposition

func Not

func Not(A Proposition) Proposition

func Or

func Or(A, B Proposition) Proposition

func Universal

func Universal(v Variable, p Proposition) Proposition

type Variable

type Variable string

func (Variable) String

func (v Variable) String() string