User module:Raph/Sandbox

 import (CLASSICAL Interface:Classical_propositional_calculus ) import (FIRSTORDER Interface:First-order_logic (CLASSICAL) ) import (SANDBOX User_interface:Raph/Sandbox (CLASSICAL FIRSTORDER) )

var (formula φ ψ χ θ) var (variable x y) var (object s t)

