Ни один человек не должен делать зла.

Суждение, взятое вместе со знаковой формой, в логике принято называть высказыванием.

Сложное суждение содержит в качестве своей правильной части некоторое (некоторые) другое суждение. Вид сложного суждения определяется той логической константной, которая представляет последнюю операцию при образовании данного суждения, но эта последняя операция не определяет всей структуры высказывания. Основные виды сложных суждений: конъюнктивные (А& В), дизъюнктивные (АÚ В), импликативные (АÉ В), образованные из других операцией отрицания (А).

При рассмотрении языка, как системы знаков, вместе с синтаксическим и прагматическим аспектами, важно рассматривать и семантический аспект, который составляет совокупность отношений знаков к объектам внеязыковой действительности, т.е. к тому, что они обозначают. Семантические категории – это класс выражений с однотипными предметными значениями, при этом включающие все выражения с предметным значением данного типа, их можно разделить на:

термины дескриптивные (описательные)

ИМЕНА - слова и словосочетания, являющиеся знаками предметов; могут быть охарактеризованы, как языковое выражение такого рода, которое, будучи соотнесенное с каким-либо предметом, явлением, процессом действительности превращает его в предмет мысли.

ПРЕДИКАТОРЫ – выражения языка предметными значениями, которых являются свойства и отношения, которые употребляются, как предметы познания;

ПРЕДМЕТНЫЕ ФУНКТОРЫ – предметными значениями, которых являются предметно-предметные функции, их основная роль образование сложных, описательных имен и степеней свойств;

термины логические

ЛОГИЧЕСКИЕ КОНСТАНТЫ – это логические связки: «если…, то...», «и», «или», «не»; операторы - кванторные слова: «всякий», «любой», «некоторые», «каждый»; оператор определенной дискрипции: «то, который»; оператор неопределенной дискрипции: «некий из».

и, отдельно термин

ПРЕДЛОЖЕНИЯ – знаки особого рода – повествовательные, вопросительные, побудительные предложения.

Перечень знаков синтаксических категорий языка логических высказываний (ЯЛВ) называют исходными символами языка.

Исходные символы ЯЛВ:

1. Пропозициональные переменные p, g, r, s;

2. Логические константы (связки): конъюнкция (&, Ù, союз «и»), дизъюнкция (Ú, «или»), импликация (É, ® «если…, то…»), отрицание (), эквиваленция, логическая равнозначность (≡ «…если, и только если, …», «…тогда, и только тогда, когда…»);

3. Технические знаки: левая скобка ( ( ), правая скобка ( ) ).

 ВЫПОЛНЕНИЕ ЗАДАНИЯ

9)Установите термины, входящие в состав данного сложного суждения и напишите его в символической форме, используя логические знаки конъюнкции, дизъюнкции, импликации и эквиваленции: