1. Главная
  2. Библиотека
  3. Логика
  4. Пусть: : «Государственный гражданский служащий системат...
Разбор задачи

Пусть: : «Государственный гражданский служащий систематически нарушает служебную дисциплину». Е: «Государственный гражданский служащий подлежит увольнению по инициативе представителя нанимателя» Предположим в упрощённой логической модели: → E -

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Логика права
Пусть: : «Государственный гражданский служащий систематически нарушает служебную дисциплину». Е: «Государственный гражданский служащий подлежит увольнению по инициативе представителя нанимателя» Предположим в упрощённой логической модели: → E -

Условие:

Пусть:\nD: «Государственный гражданский служащий систематически нарушает служебную дисциплину».
Е: «Государственный гражданский служащий подлежит увольнению по инициативе представителя нанимателя»
Предположим в упрощённой логической модели:\nD → E - систематическое нарушение дисциплины влечёт возможность увольнения:
-D → —E - при отсутствии систематического нарушения увольнение по данному основанию невозможно.
а) Запишите эти два утверждения в логической форме и покажите, что вместе они образуют эквиваленцию.
б) С помощью таблицы истинности поясните, чем отличается ситуация, когда выполняется только D → Е, от ситуации D → Е.
в) Объясните, почему в реальных нормах права чаще фиксируется лишь односторонняя связь (существование достаточного, но не необходимого условия для увольнения - в данном примере).

Решение:

Решение Задачи 1-4

1. Дано

  • DD: «Государственный гражданский служащий систематически нарушает служебную дисциплину».
  • EE: «Государственный гражданский служащий подлежит увольнению по инициативе представителя нанимателя».
  • Утверждение 1: DED \rightarrow E (Систематическое нарушение влечёт возможность увольнения).
  • Утверждение 2: ¬D¬E\neg D \rightarrow \neg E (Отсутствие систематического нарушения влечёт невозможность увольнения по данному основанию).

2. Найти

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

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое из следующих утверждений верно относительно логической эквивалентности между импликацией $D \rightarrow E$ и утверждением $(\neg D \rightarrow \neg E)$?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет