Мы используем Cookies Этот веб-сайт использует cookie-файлы, чтобы предлагать вам наиболее актуальную информацию. Просматривая этот веб-сайт, Вы принимаете cookie-файлы.
Operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective.