at
.
logic
.
skeptik
.
expression
formula
package
formula
Visibility
Public
All
Type Members
class
BinaryFormula
extends Formula
Attributes
abstract
class
Formula
extends AnyRef
Attributes
abstract
class
QuantifierFormula
extends Formula
Attributes
abstract
class
RichFormula
extends AnyRef
class
UnaryFormula
extends Formula
Attributes
abstract
Value Members
object
All
extends QuantifierFormula
object
And
extends BinaryFormula
object
Atom
extends Formula
object
Ex
extends QuantifierFormula
object
Imp
extends BinaryFormula
object
Neg
extends UnaryFormula
object
Or
extends BinaryFormula
def
all
(
v:
Var
)
: (
E
) ⇒
App
Definition Classes
package
def
allC
(
t:
T
)
:
Var
Definition Classes
package
val
allS
: String
Definition Classes
package
def
andC
:
Var
with
Infix
Definition Classes
package
val
andS
: String
Definition Classes
package
implicit def
enrichFormula
(
e:
E
)
:
RichFormula
Attributes
implicit
Definition Classes
package
def
ex
(
v:
Var
)
: (
E
) ⇒
App
Definition Classes
package
def
exC
(
t:
T
)
:
Var
Definition Classes
package
val
exS
: String
Definition Classes
package
def
impC
:
Var
with
Infix
Definition Classes
package
val
impS
: String
Definition Classes
package
def
isLogicalConnective
(
c:
E
)
:
Boolean
Definition Classes
package
def
neg
(
f:
E
)
:
App
Definition Classes
package
def
negC
:
Var
Definition Classes
package
val
negS
: String
Definition Classes
package
def
orC
:
Var
with
Infix
Definition Classes
package
val
orS
: String
Definition Classes
package
package
position
def
¬
(
f:
E
)
:
App
Definition Classes
package
def
∀
(
v:
Var
)
: (
E
) ⇒
App
Definition Classes
package
def
∃
(
v:
Var
)
: (
E
) ⇒
App
Definition Classes
package
