- знак отрицания
- мат. negation bar, negation sign, symbol of negation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫ — законы исчисления высказываний и алгебры логики, выражающие нек рые свойства отрицания, связанные в нек рых случаях также с импликацией. В классич. исчислении высказываний они выражаются следующими формулами: (здесь знак отрицания, а > знак… … Философская энциклопедия
Восклицательный знак — ! Именно так должен выглядеть этот символ Юникод U+00 … Википедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
Закон исключённого третьего — (лат. tertium non datur, то есть «третьего не дано») закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, то есть два суждения, одно из которых является… … Википедия
Tertium non datur — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Закон исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Закон исключения третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Исключённого третьего закон — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Исключённого третьего принцип — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Принцип исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Принцип исключённого третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия