ОТРИЦАНИЕ

ОТРИЦАНИЕ — логическая операция, с помощью которой из данного высказывания получается новое высказывание; при этом если исходное высказывание истинно, его О. не является истинным, а если оно ложно, его О. не является ложным. Отрицательное высказывание состоит из исходного высказывания и поме­щаемого перед ним знака О. (в логике ~ или 1), читаемого как "не" или "неверно, что"; О. высказывания A является сложное выс­казывание ~А. В логике классической если высказывание А истинно, его О. ложно, а если A ложно, его О. истинно. Напр., т. к. высказыва­ние "10 — четное число" истинно, его О. "Неверно, что 10 — чет­ное число" ложно.



Словарь по логике 

ОТРИЦАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ →← ОТНОШЕНИЕ ФУНКЦИОНАЛЬНОЕ

T: 0.129238767 M: 3 D: 3