require 'veritas/logic/expression'

require 'veritas/logic/connective'
require 'veritas/logic/predicate'
require 'veritas/logic/proposition'