(13steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: Tarski

(Tr:(TermProp), tr:Term, L:(TermProp). RepsTruth(L; Tr; tr))

By: Analyze 0

Generated subgoal:

11. Tr:(TermProp), tr:Term, L:(TermProp). RepsTruth(L; Tr; tr)
False
12 steps

About:
functionpropfalseexists

(13steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc