Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Выписать все простые высказывания, входящие в состав сложного;
|
|
Каждому простому высказыванию поставить в соответствие конкретную пропозициональную переменную;
Выделить логические связки, входящие в состав сложного высказывания;
Установить порядок и способ объединения простых высказываний в сложное с помощью логических связок.
Прокомментируем каждое действие в отдельности.
І. Приведенное высказывание состоит их четырех простых высказываний:
1. «Студент – способный».
2. «Студент – старательный».
3. «Студент имеет на сессии посредственные результаты».
4. “Студент имеет на сессии высокие результаты».
П. Каждому простому высказыванию ставим в соответствие особую пропозициональную переменную:
первому - р,
второму - q,
третьему - r,
четвертому - s.
Ш. Выделяем логические связки, которые объединяют простые высказывания в составе сложного:
Союзу «но» соответствует «&»;
союзу «не» - «Ø»;
союзу «или» - «Ú»;
союзу «если, то» - «É».
ІУ. Необходимо выделить главную логическую связку. Только после этого можно установить порядок объединения простых высказываний в сложное.
В нашем примере главной логической связкой является «É». Поэтому логической формой данного сложного высказывания будет импликативная формула. Антецедентом будет конъюнктивная формула, в которой конъюнктами будут р и отрицание Ø q, а консеквентом - дизъюнктивная формула с дизъюнктами r и s. В целом логической формой данного высказывания будет формула:
(p & Ø q) É (r Ú s).
Таким способом можно записать логическую форму произвольного сложного высказывания естественного языка.
Иногда при формулировке языка S1 используется бесскобочная символика, предложенная в 20-х годах прошлого века польским логиком Яном Лукасевичем. Рассмотрим последовательно составляющие части словаря подобного языка.
Алфавит
- множество внелогических символов: p, q, r, s, p1, q1, r1, s1,...
- логические термины: N (отрицание), К (конъюнкция), А (дизъюнкция),
- С (импликация), Е (эквиваленция), І (строгая дизъюнкция).
Опредление формулы:
Пропозициональная переменная является формулой;
Если a формула, то Na тоже формула;
3) якщо a и b формулы1, то Кab, Аab, Сab, Еab и Іab - формулы;
Ничто, кроме перечисленного в пунктах 1-3, не является формулой.
Если мы имеем формулу ((Ø p º q) É (p Ú (r & Ø s))), то в польской символике она будет выглядеть так: CENpqApKrNs.
Данная форма записи была использована Я.Лукасевичем при исследовании аристотелевской силлогистики.
Итак, мы рассмотрели синтаксис метаязыка S1 (Sin ML).
Теперь проанализируем семантику метаязыка в S1 (Sem ML).