Related terms:
sequent calculus
empty clause
finite subsets
second clause
vee c
punctuation symbols
above rules
predicate symbol
axiom of identity
binary connectives
logical axioms
valid proof
two clauses
bound variables
bounded lattice
equality relation
structural rules
vee b
vee y
inductive definition
forall z
lattice theory
neg b
leibniz's law
natural deduction
logical symbols
existential quantifier
automated theorem
standard semantics
Wikipedia sources:
Resolution (logic)
Lattice (order)
Sequent calculus
First-order logic
Context for words:
lor
b
|
|