« first day (247 days earlier)      last day (310 days later) » 

4:56 AM
Yea, then ( |− (⬜false⇒false) ) implies ( |− (TCA⇒⬜false)⇒(TCA⇒false) ).
Oops..
Wrote wrongly sorry.
Correct is that ( |− TCA⇒(⬜false⇒false) ) implies ( |− (TCA⇒⬜false)⇒(TCA⇒false) ).
This is the one we want, where ⬜ is of course relative to TC.
 
right
 
And oops I got the wrong way around again...
Let me delete my rubbish.
8 messages moved from Logic
 
 
1 hour later…
6:32 AM
@HWalters This room was originally set up much earlier by user 170039, for whatever reason. He at first asked me to be a co-owner, but recently removed me from being an owner, and I feel he treated me like a fool recently. So I will stop contributing to this room. Please come to the Logic room instead if you want logical discussion.
 

« first day (247 days earlier)      last day (310 days later) »