обчислення висловлювань
Одним з можливих варіантів (гильбертовськой) аксиоматизации логіки висловлювань є наступна система аксіом:
;
;
;
;
;
;
;
;
;
;
.
разом з єдиним правилом:
(Modus ponens)
Теорема правильності обчислення висловлювань стверджує, що всі перераховані вище аксіоми є тавтологія, а за допомогою правила modus ponens з істинних висловлювань можна отримати тільки справжні. Доказ цієї теореми тривіально і зводиться до безпосередньої перевірки. Куди більш цікавим є той факт, що всі інші тавтології можна отримати з аксіом за допомогою правила виведення - це так звана теорема повноти логіки висловлювань.
Дивитися що таке "пропозіціональному логіка" в інших словниках:
пропозіціональная логіка - ЛОГІКА ВИСЛОВЛЮВАНЬ, пропозіціональная логіка розділ символічної логіки, що вивчає складні висловлювання, освічені з простих, і їх взаємини. На відміну від логіки предикатів, прості висловлювання при цьому виступають як ... ... Енциклопедія епістемології і філософії науки
ЛОГІКА ВИСЛОВЛЮВАНЬ, або пропозіціональному ЛОГІКА - розділ дедуктивної логіки, в якому питання про істинність (або хибність) висловлювань (т. Е. Суджень, що розглядаються без їх суб'єктно предикатной структури) в умовиводах розглядається на основі вивчення наступного засоби їх вираження т ... Сучасний філософський словник
ЛОГІКА ВИСЛОВЛЮВАНЬ - розділ логіки, в якому вивчаються істінностние взаємозв'язку між висловлюваннями. В рамках даного розділу висловлювання (пропозиції, пропозиції) розглядаються тільки з точки зору їх істинність або хибність, безвідносно до їх внутрішньої суб'єктно ... Філософська енциклопедія
логіка висловлювань - ЛОГІКА ВИСЛОВЛЮВАНЬ, пропозіціональная логіка розділ символічної логіки, що вивчає складні висловлювання, освічені з простих, і їх взаємини. На відміну від логіки предикатів, прості висловлювання при цьому виступають як ... ... Енциклопедія епістемології і філософії науки
логіка висловлювань - (пропозіціональному логіка) розділ логіки, формалізує вживання логічних зв'язок і. або. ні. якщо, то і т. п. службовців для освіти складних висловлювань з простих. Висловлення називається простим, якщо воно не включає в себе інші ... ... Словник термінів логіки
Логіка (філософія) - Логіка (ін. Грец. Λογική «наука про міркування», «мистецтво міркування» від λόγος «мова», «міркування») наука про форми, методи і законах інтелектуальної пізнавальної діяльності, формалізуються за допомогою логічної мови. Оскільки це ... ... Вікіпедія
Логіка висловлювань - Для поліпшення цієї статті бажано. Проставивши виноски, внести більш точні вказівки на джерела. Логіка висловлювань (або пропозиці ... Вікіпедія
Позитивна логіка - логіка, в якій прийнятними вважаються лише міркування, не пов'язані зі спростуваннями, т. Е. З обґрунтуваннями хибності висловлень. Оскільки вираз «А ложно» є лише інша форма вираження «Не А», в П. л. відмовляються від будь-яких ... ... Велика радянська енциклопедія
- Логіка висловлювань. Джессі Рассел. Ця книга буде виготовлена в відповідності з Вашим замовленням за технологією Print-on-Demand. High Quality Content by WIKIPEDIA articles! Логіка висловлювань (або пропозіціональная логіка від ... Детальніше Купити за 1 125 руб