LogicBoolean.scala

class LogicBoolean(val value:Boolean) {
  import LogicBoolean.¬
  override def toString=value.toString

  def V(b:LogicBoolean)=new LogicBoolean(this.value || b.value)
  def Λ(b:LogicBoolean)=new LogicBoolean(this.value && b.value)
  def →(b:LogicBoolean)=(¬(this)) V (this Λ b)
}

object LogicBoolean {
  def ¬(a:LogicBoolean)=new LogicBoolean(!a.value)
  implicit def boolToLogicBool(x:Boolean)=new LogicBoolean(x)
}