add properties of provability required for truth lemma in fol/seq/prv
Merge branch 'master' of https://github.com/OpenLogicProject/OpenLogic

Conflicts:
	first-order-logic/sequent-calculus/provability.tex