www.VuzLib.com

Головна arrow Логіка arrow Логічні змінні та логічні постійні
Меню
Головна
Каталог освітніх сайтів

Логічні змінні та логічні постійні

Логічні змінні та логічні постійні

   У формулах, за допомогою яких виражають структуру суджень, одні знаки е постійними, а другі — змінними. Щоб з'ясувати, що таке ті й інші, розглянемо ряд прикладів. Візьмемо такі три судження:
   Деякі студенти є відмінниками. Деякі письменники є лауреатами. Деякі угоди є односторонніми.
   Якщо виразити структуру кожного з цих суджень у вигляді формули, то вона буде для них однаковою: "Деякі в є Р". Знаки S і Р у цій формулі є змінними, вони заміняють слова, що виражають різноманітні за конкретним змістом поняття. У першому судженні 5 — це поняття "студент", у другому — "письменник", у третьому — "угода". Знак Р заміняє у першому судженні поняття "відмінник", у другому — "лауреат", у третьому — "одностороння". Слова ж "деякі" і "в" у цих судженнях, що виражають одні й ті ж логічні зв'язки, є постійними.
   Знаки у формулах суджень, які замінюються конкретними за змістом поняттями, називаються логічними змінниками. А слова або символи у формулах, наявних в усіх конкретних за змістом судженнях, які мають дану структуру, називаються логічними постійними.
   Логічні змінні ми позначили знаками (символами) S та Р, а логічні постійні — "всі", "деякі", "е" тощо. Але символами можна позначати не тільки логічні змінні, а й логічні постійні. Використання символів дає змогу не тільки коротше записувати структуру суджень (та інших форм думки), а й усувати багатозначність слів, за допомогою яких виражаються логічні постійні.
   Так, слово "є", за допомогою якого виражається зв'язок між S і Р у судженнях, котрі мають структуру "S є Р", багатозначне, воно має різноманітний логічний зміст. Наприклад, у судженні "Договір є угода" слово "є" виражає відношення включення S у Р (включення класу договорів до класу угод). У судженні "Іванов визнаний винним" воно виражає відношення елемента класу до всіх класів.
   Щоб усунути цю багатозначність слова "є", користуються знаками (символами). Відношення різнозначності між S і Р позначають знаком "=" або "~" а відношення елемента класу до класів — знаком є.
   Символи, за допомогою яких позначають логічні постійні інших видів суджень, будуть розглянуті при описуванні цих суджень.

 
< Попередня   Наступна >

При використанні матеріалів сайту активне гіперпосилання на http://vuzlib.com обов'язкове!
© 2010 www.VuzLib.com