пользователей: 21241
предметов: 10456
вопросов: 177505
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ


Основные схемы логически правильных рассуждений: правила Modus ponens и Modus tollens, правило транзитивности, правило контрапозиции и др. Теорема дедукции. Примеры рассуждений.

1) Modus ponens («правило вывода»):если A и A→B — выводимые формулы, то B также выводима.

Форма записи: \frac{A, A \to B}{B}, где A, B — любые формулы.

2) Modus tollens — рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключений»).

Форма записи: \frac{P\to Q ~,~~ \neg Q}{\neg P}.

3) правило транзитивности

4) Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными. По крайней мере, одно из них ложно \neg (P \wedge \neg P) = 1,

5) Контроппозициязакон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»).(A\to B)\to (\neg B\to\neg A)

6) 

7)

8)

9)

10)

11)

12)

13) 

14) правило дилемм а)

б)

в)

г)

Теорема дедукции: если правильно ................................, то правильно..................... и наоборот.

пример: любой человек, рожденный вне страны, одним из родителей которого является гражданин страны, является гражданином страны

(дописать со значками!)

 


08.06.2014; 13:21
хиты: 460
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2016. All Rights Reserved. помощь