1. Главная
  2. Библиотека
  3. Логика
  4. Упражнение 4 Суждения со сложным субъектом и сложным пр...
Разбор задачи

Упражнение 4 Суждения со сложным субъектом и сложным предикатом выразите в символической записи. Образцы: Товары, услуги и финансовые средства свободно перемещаются на всей территории Российской Федерации (ГК, ст. 1): Край, область, город федерального

  • Предмет: Логика
  • Автор: Кэмп
  • #Методы формализации
  • #Символическая логика
Упражнение 4 Суждения со сложным субъектом и сложным предикатом выразите в символической записи. Образцы: Товары, услуги и финансовые средства свободно перемещаются на всей территории Российской Федерации (ГК, ст. 1): Край, область, город федерального

Условие:

Упражнение 4 Суждения со сложным субъектом и сложным предикатом выразите в символической записи.

Образцы:

  1. Товары, услуги и финансовые средства свободно перемещаются на всей территории Российской Федерации (ГК, ст. 1):
    S(S1,S2,S3) есть P. S\left(S_{1}, S_{2}, S_{3}\right) \text { есть } P .
  2. Край, область, город федерального значения, автономная область, автономный округ имеет свой устав и законодательство (Конституция Российской Федерации, ст. 5):
    S(S1,S2,S3,S4,S5) есть P(P1,P2).S\left(S_1,S_2,S_3,S_4,S_5\right)\text{ есть }P\left(P_1,P_2\right).
    4.1. Кино, радио, телевидение, пресса стали мощными факторами воздействия на массы. 4.2. Религиозные организации отделены от государства и равны перед законом. 4.3. Проказница Мартышка, Осел, Козел Да косолапый Мишка Затеяли сыграть Квартет. (Крылов) 4.4. Судебная власть в Российской Федерации осуществляется посредством конституционного, гражданского, административного и уголовного судопроизводства. 4.5. Виновным в преступлении признается лицо, совершившее деяние умышленно или по неосторожности. 4.6. Территория Российской Федерации включает в себя территории ее субъектов, внутренние воды и территориальное море, воздушное пространство над ними. 4.7. Суд, прокурор, следователь и лицо, производящее дознание, не вправе перелагать обязанность доказывания на обвиняемого. 4.8. Лекции в Московском университете слушали Радищев и Новиков, Чаадаев и Белинский, Тургенев и Гончаров, Тютчев и Фет, Писемский и А.Н. Островский. 4.9. Высшим непосредственным выражением воли народа являются референдум и свободные выборы.

Решение:

В логике для записи таких суждений используются следующие обозначения:

  1. SS обозначает субъект (подлежащее).
  2. PP обозначает предикат (сказуемое).
  3. Если субъект или предикат является сложным (состоит из нескольких однородных членов, соединенных союзом "и" или "или"), мы используем обозначение S(S1,S2,)S(S_1, S_2, \dots) или P(P1,P2,)P(P_1, P_2, \dots), где SiS_i или PiP_i — это отдельные компоненты.
  4. Связка "есть" (или подразумеваемое сказуемое) обозначается как есть.

Давайте проанализируем каждое суждение.


1. Дано

Набор простых суждений, требующих символической запис...

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

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

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

Какое из следующих суждений имеет символическую запись вида $S \text{ есть } P(P_1, P_2, P_3)$?

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

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

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

Топ 3 ошибок

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

Не нашел нужную задачу?

Воспользуйся поиском

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