Закон Двойного Отрицания

(от лат. Associatio — соединение) -общее имя для ряда логических законов, позволяющих по-разному группировать высказывания, соединяемые с помощью конъюнкции («и»), дизъюнкции («или») и др. Операции сложения и умножения чисел в математике ассоци­ативны. (а + b)+с=а + (b + с), (а·b)·с=а·(b·с). Ассоциативностью обладают также логическое сложение (дизъ­юнкция) и логическое умножение (конъюнкция). Символически соответствующие законы представляются так (р, q, r — некоторые высказывания, v - дизъюнкция..

- закон логики, характеризующий импликацию («если, то»). Если первое влечет вто­рое, то если второе влечет третье, то первое влечет третье. Напр. «Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой возможности растет средняя продолжительность человеческой жизни, то с ростом знаний о че­ловеке растет средняя продолжительность его жизни». Иначе говоря, если условием истинности первого является истинность второго, то если условием истинности второ..

- общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюн­кцию («или»). Названы именем англ. Логика XIX в. А. Де Моргана. Один из этих законов можно выразить так. Отрицание конъюнк­ции эквивалентно дизъюнкции отрицаний. Напр. «Неверно, что завтра будет холодно и завтра будет дождливо, тогда и только тогда, когда завтра не будет холодно или завтра не будет дождливо». Другой закон. Отрицание дизъюнкции эквивалентно конъюнк­ции отрицаний. Напр. «Неверно, что уче..

(от англ. Distribution - распреде­ление, размещение) - общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну ло­гическую связь относительно другой. Полный 3. Д. Конъюнкции относительно дизъюнкции с использо­ванием символики логической формулируется так (р, q, r — некото­рые высказывания. &. - конъюнкция, «и». V - дизъюнкция, «или». = — эквивалентность, «если и только если»). P&(qvr) = (p&q)v(p&r), первое и (второе или третье), если и то..