Questions tagged [definition]
The definition tag has no usage guidance.
1
question with no upvoted or accepted answers
5
votes
0
answers
198
views
An algorithm for the substitution of formulas for predicates in first order logic
I am trying to find a detailed description of the definition of substitution of formulas for predicates in first order logic and an implementation of this as a function in Lean or Haskell. The aim is ...