5. Требования и задания для письменного экзамена

Письменный экзамен включает в себя:

1) теоретический вопрос (см. выше перечень 3.5),

2) упражнение на перевод суждения с естественного языка на язык логического анализа и

3) доказательство формулы в системе естественного вывода.

5.2.Образцы упражнений на перевод естественного языка на язык логического анализа

1. «Человеком все может быть преодолено», - но только в том случае, если преодоление является для него необходимостью; он в состоянии сделать все, когда он должен.

2. О вкусах не спорят: одному нравится казаться больше, чем он есть; другому – быть больше, чем он кажется.

3. Тот, кто любит цветы, всегда будет к ним бережно относиться: будет поливать их, подвязывать стебли, обрывать сухие листья.

4. Велика Россия, да нам отступать некуда: позади – Москва.

5. Охота без надлежащего на то разрешения или в запрещенных местах, либо в запрещенные сроки, запрещенными орудиями и способами, если эти действия совершены после применения мер административного воздействия за такое же нарушение, -

наказывается исправительными работами на срок до одного года или штрафом до двухсот рублей с конфискацией добытого и орудий охоты или без таковой. (Из УК РСФСР)

5.2.Образцы формул для доказательства

1. (A→B) → ((B→C) → ((C→D) → (A→D)))

2. (A→ ¬¬¬B) →(A →¬B)

3. (A→C) → ((B→D) → ((¬¬¬C v ¬¬¬D) → ¬(A v ¬A)))

4. ¬A v (¬B v C)) →((A→ B)→ (¬A v C))

5. (A → C) →((¬B v D) → ((C → ¬D) → (¬A v ¬B)))

6