Intuitionistic logic


New Member
When I registered, I thought this was a general forum on logic. I just have a simple question on intuitionistic logic.

I read that the complent of the complement of a general tensor is either plus or minus that tensor. So, I wondered if ~~p=(p or ~p) in intuitionistic logic? (I know that (p or ~p) is not a theorem of intuitionistic logic.)

That's all I wanted to know when I registered!