пользователей: 24746
предметов: 11096
вопросов: 196054
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ


Основные схемы логически правильных рассуждений: правила 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
хиты: 509
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2017. All Rights Reserved. помощь