Prop2. tr: Term
3. L: Term
Prop4.
S:Term. (
t:Term. S reps t) 
L(tr/S)5. RespectsNot(Tr; L)
6. ReflectsProp(Tr; tr; Tr)
FalseTr:(TermProp), tr:Term, L:(TermProp). RepsTruth(L; Tr; tr)
False
| 1 | 1. Tr: TermProp 2. tr: Term 3. L: Term Prop4. S:Term. (t:Term. S reps t) L(tr/S)5. RespectsNot(Tr; L) 6. ReflectsProp(Tr; tr; Tr) False | 11 steps |
About:
 |  |  |  |