WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc

Who Cites RespectsNot?
RespectsNotDef RespectsNot(Tr; L) == t:Term. Tr(NOT(t)) L(t) & Tr(t)
Thm* Tr,L:(TermProp). RespectsNot(Tr; L) Prop
not Def A == A False
Thm* A:Prop. (A) Prop
iff Def P Q == (P Q) & (P Q)
Thm* A,B:Prop. (A B) Prop
rev_implies Def P Q == Q P
Thm* A,B:Prop. (A B) Prop

About:
applyfunctionmemberpropimpliesandfalseall!abstraction

WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc