Суждение

Суждение

Формализации суждений и ее значения для интенсификации логического анализа данных по делу.

Формализировать суждение - значит изобразить его структуру с помощью искусственного языка логики - символов.

Языком логики высказываний называется искусственный язык, предназначенный для анализа логической структуры сложных высказываний. Она характеризуется списком знаковых средств, которые применяются в этой логической теории, и определением формулы. Язык логики высказываний включает: алфавит, определение допустимых высказываний, интерпретацию.

Список знаковых средств языка логики высказываний включает такие знаки:

1. Знаки переменных логики высказываний :

p, q, r, s, p1, q1, r1, s1.

Эти знаки служат для обозначения простых высказываний естественного языка. В звязку с этим их еще называют пропозицийними переменными.

2.Знаки логических сполучникив :

~ - знак отрицания (читается: "не", "неверно, что".);

^ - знак конюнкций (читается: ".и".);

v - знак дизюнкций (читается: ".или".);

 - знак импликации (читается: "если.,тогда".).

3.Технические знаки:

( - левая скобка;

) - правая скобка;

, - запятая.

Эти знаки в языке логики высказываний исполняют роль знаков пунктуации естественного языка. Никаких других знаков в языке логики высказываний нет.

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

СЖАТЫЙ СПИСОК ЛОГИЧЕСКИХ СИМВОЛОВ

в символической (математической) логике

а Λ b; a · b; a & b; "но и b" Конъюнкция



Вернуться назад