Законы логики Презентацию подготовили Евграфова Ольга Приходько Инна

Законы логики Презентацию подготовили: Евграфова Ольга Приходько Инна Соловьева Алена Группа: ДГЕ 101

4 основных закона Аристотеля

1. Закон тождества утверждает, что мысль, заключенная в некотором высказывании, остается неизменной на протяжении всего рассуждения, в котором это высказывание фигурирует Любая мысль обязательно должна быть равна (тождественна) самой себе, т. е. она должна быть ясной, точной, простой, определенной. Этот закон запрещает путать и подменять понятия в рассуждении.

2. Закон противоречия говорит о том, что никакое предложение не может быть истинно одновременно со своим отрицанием. “Это яблоко спелое” и “Это яблоко не спелое”.

3. Закон исключенного третьего говорит о том, что для каждого высказывания имеются лишь две возможности: это высказывание либо истинно либо ложно. Третьего не дано “Сегодня я получу 5 либо не получу”. Истинно либо суждение, либо его отрицание.

4. Закон достаточного основания утверждает, что любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана (обоснована) какими либо аргументами (основаниями), причем эти аргументы должны быть достаточными для доказательства исходной мысли, т. е. она должна вытекать из них с доказательства исходной мысли необходимостью (тезис должен с необходимостью следовать из оснований). В рассуждении: «Это вещество является электропроводным (тезис), потому что оно — металл (основание)» , — закон достаточного основания не нарушен, так как в данном случае из основания следует тезис (из того, что вещество металл, вытекает, что оно электропроводно).

5. Закон двойного отрицания. Отрицать отрицание какого нибудь высказывания то же, что утверждать это высказывание “ Неверно, что 2* 2= 4”

6. Законы идемпотентности Логический закон, позволяющий исключить повторение одного и того же высказывания. «Повторение высказывания через "и" и "или" равносильно самому высказыванию» Напр: "Марс планета и Марс планета" есть то же самое, что "Марс планета"; "Солнце звезда или Солнце звезда" то же самое, что "Солнце звезда". звезда планета

7. Закон ассоциативности Общее имя для ряда логических законов, позволяющих по разному группировать высказывания, соединяемые с помощью конъюнкции ("и"), дизъюнкции ("или") и др. Операции сложения и умножения чисел в математике ассоциативны: (а + b)+с=а + (b + с), (а·b)·с=а·(b·с).

8. Закон коммутативности Общее название логических законов, позволяющих менять местами высказывания, связанные конъюнкцией ("и"), дизъюнкцией ("или"), эквивалентностью ("если и только если") и ("или"), эквивалентностью ("если и только если") др. Эти законы аналогичны алгебраическим законам коммутативности для умножения, сложения и др. , по которым результат умножения не зависит от порядка множителей, сложения от порядка слагаемых и т. д.

9. Закон дистрибутивности (от англ. distribution распреде ление, размещение) бщее название о группы логических законов сходной структуры. Эти законы позволяют группы логических законов сходной структуры распределить одну логическую связь относительно другой. Полный 3. д. связь относительно другой конъюнкции относительно дизъюнкции с использованием символики логической формулируется так (р, q, r — некоторые высказывания; & конъюнкция, «и» ; v дизъюнкция, «или» ; = — эквивалентность, «если и только если) Напр. : «Сегодня идет дождь и завтра ясно или послезавтра ясно в том и только в том случае, когда сегодня идет дождь и завтра ясно или сегодня идет дождь и после завтра ясно» . Полный 3. д. дизъюнкции относительно конъюнкции: pv(q&r) = (pvq)&(pvr), первое или (второе и третье), если и только если (первое или вто рое) и (первое или третье).

10. Законы де Моргана Смысл законов де Моргана (Август де Морган (1806 1871) шотландский математик и логик) можно выразить в кратких словесных формулировках: 1. отрицание логического произведения эквивалентно логической сумме отрицаний множителей. 2. отрицание логической суммы эквивалентно логическому произведению отрицаний слагаемых

11. Закон транзитивности в обычном языке можно передать так: когда верно, что если первое, то второе, и если второе, то третье, то верно также, что если первое, то третье Например: «Если дело обстоит так, что с развитием медицины появляется больше возможностей защитить человека от болезней и с увеличением этих возможностей растёт средняя продолжительность его жизни, то верно, что с развитием медицины растёт средняя продолжительность жизни человека» . Иначе говоря, если условием истинности первого является истинность второго и условием истинности второго — истинность третьего, то истинность последнего есть также условие истинности первого

Спасибо за внимание