3. Семантические категории логики.

Логическая структура – способ связи составных частей мысли.

Семантическая категория – устойчивый смысловой элемент какой-либо формальной (математика, язык) системы, но в пределах которого возможна взаимозаменяемость единиц одного характера без потери осмысленности выражения.

Семантические категории:

1.имя – слово, словосочетание или какая-либо другая конструкция, указывающая на предмет. Предметное значение.

2.высказывание – мысль, выраженная в утвердительной или отрицательной форме, некая конструкция, в которой что-либо утверждается. Значение истинности – главная характеристика. Три высказывания: истина, ложь, неопределенность.

3.логический термин – смысловая константа, играющая связующую роль в рассуждении.

Союзы:

1.логические соединения – «конъюнкция ^», «и, а, но, да»,

2.разделение – «дизъюнкция»

3.условие – импликация –

4.равенство – эквиваленция –

5.отрицание –

квантор – выражение, выделяющее характер суждения.

Квантор общности (все, каждый, любой, ни один).

Квантор существования (некоторые, многие, существует)

Определение правильно построенной формулы:

а) пропозициональный символ является ППФ;

б) если А и В — ППФ, то ¬  А, (В Ù С), (В Ú С), (А  É В), (А  º B) — ППФ;

в) ничто иное не является ППФ.