(13steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
B
Sections
NuprlLIB
Doc
At:
Tarski
(
Tr:(Term
Prop), tr:Term, L:(Term
Prop). RepsTruth(L; Tr; tr))
By:
Analyze 0
Generated subgoal:
1
1.
Tr:(Term
Prop), tr:Term, L:(Term
Prop). RepsTruth(L; Tr; tr)
False
12
steps
About:
(13steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
B
Sections
NuprlLIB
Doc
Tr:(Term
Prop), tr:Term, L:(TermProp). RepsTruth(L; Tr; tr)
False
(Tr:(TermProp), tr:Term, L:(TermProp). RepsTruth(L; Tr; tr))
Tr:(TermProp), tr:Term, L:(TermProp). RepsTruth(L; Tr; tr) False
