PT Logic
  1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

Intuitionistic logic

Discussion in 'New LUGer Introductions' started by Koilon, Jan 23, 2014.

  1. Koilon

    Koilon 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!

Share This Page