Формальная логика
Контрольная работа - Разное
Другие контрольные работы по предмету Разное
µнной дискрипции: то, который; оператор неопределенной дискрипции: некий из.
и, отдельно термин
ПРЕДЛОЖЕНИЯ знаки особого рода повествовательные, вопросительные, побудительные предложения.
Перечень знаков синтаксических категорий языка логических высказываний (ЯЛВ) называют исходными символами языка.
Исходные символы ЯЛВ:
- Пропозициональные переменные p, g, r, s;
- Логические константы (связки): конъюнкция (&, , союз и), дизъюнкция (, или), импликация (, если…, то…), отрицание (), эквиваленция, логическая равнозначность (? …если, и только если,…, …тогда, и только тогда, когда…);
- Технические знаки: левая скобка ( ( ), правая скобка ( ) ).
ВЫПОЛНЕНИЕ ЗАДАНИЯ
9)Установите термины, входящие в состав данного сложного суждения и напишите его в символической форме, используя логические знаки конъюнкции, дизъюнкции, импликации и эквиваленции:
Характерной особенностью России является неравномерность освоения её территории. Процесс организации территориального управления всегда отличала неполная вовлеченность и иных природных и территориальных ресурсов в общий ресурсообмен, содержащий серьезные диспропорции.
В состав данного сложного суждения входят следующие термины:
ИМЕНА Характерная особенность, Россия, неравномерность освоение, территория, процесс организации, природные и территориальные ресурсы, ресурсообмен, управление.
ПРЕДИКАТОРЫ вовлеченность, иных, общий.
ПРЕДМЕТНЫЕ ФУНКТОРЫ диспропорции, неравномерность, неполная.
ЛОГИЧЕСКИЕ КОНСТАНТЫ - и, всегда, содержащий, является.
ПРЕДЛОЖЕНИЯ повествовательные.
Символическая форма суждения:
( ab) ?(c(dt))g
Литература
Асмус В.Ф. Логика. М., 1947
Войшвилло Е.К., Дегтярев М.Г. Логика. Учебник. М., 2001.
Гетманова А.Д. Логика. Словарь и задачник. М., 1998.
Маклаков А.Г. Общая психология СПб., - 2001.
Общая психология. Учебник. \ Под ред. А.В.Петровского. М., 1986.
Тоноян Л.Г. Сборник задач и упражнений по логике. СПб., 2000.