"It follows that for every TC, (TC = RTC) is A-true or TC is A-equivalent to 
RTC. .... Hence, (TC - RTC) is never false."

    jstor.org

     WOW!  :)

    ~Steve~

Post a reply to this message