Понятие логической формы

Логическая форма - это структура мысли или способ связи элементов ее содержания. Логическая форма выражается посредством логических переменных и логических констант. В качестве логической переменной может выступать любая буква латинского алфавита: А, В, С, р, q.

Константы, или логические постоянные, выступают способом связи логических переменных и выражаются словами: «все», «некоторые», «суть», «и», «или», «либо, либо», «если..., то» и т. д. Для обозначения логических констант употребляются символы, что позволяет достичь большей компактности и строгости изложения:
V - квантор общности «для всякого х верно, что...».
3 - квантор существования - «существуют х».
л - логический союз конъюнкция, выражается посредством грамматических союзов «и», «да», «но».
v - логический союз дизъюнкция в значении грамматического союза «или...или».
z> - логический союз импликация, выражается словами «если..., то...».
Пропозициональная функция - это выражение, содержащее переменные и превращающееся в высказывание при подстановке вместо переменных соответствующих дескриптивных терминов.

<< | >>

↑

Источник: М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк.. Логика: учебное пособие М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк. - Омск: Изд-во ОмГУ,2004. - 124 с.. 2004

Еще по теме Понятие логической формы: