Атомная формула

От / / Оставьте комментарий

Атомарная формула Атомарная формула (атом) в математической логике — это формула без более глубокой пропозициональной структуры.  Атомы являются простейшими логическими […]

Logical expressions, Predicate logic, Логика предикатов, Логические выражения

Атомарная формула

  • Атомарная формула (атом) в математической логике — это формула без более глубокой пропозициональной структуры. 
  • Атомы являются простейшими логическими формулами правильной формы. 
  • Составные формулы формируются путем объединения атомарных формул с помощью логических связок. 
  • Атомарные формулы в логике первого порядка имеют определенный синтаксис для условий и предложений. 
  • Атомарная формула — это просто предикат, применяемый к набору терминов. 
  • Все остальные правильно составленные формулы получаются путем объединения атомов с помощью логических связок и кванторов. 
  • В атомной формуле нет кванторов, все вхождения переменных символов являются свободными. 

Полный текст статьи:

Атомная формула — Википедия, свободная энциклопедия

Похожие статьи:

  1. Правильная формула Правильно составленная формула Формула — это последовательность символов, выражающая математическое утверждение.  Формула может быть записана несколько...
  2. Матрица терминов документа Матрица терминов документа Основы матрицы терминов документа Матрица терминов документа описывает частоту встречаемости терминов в документах. ...
  3. Пропозициональная переменная Пропозициональная переменная Пропозициональные переменные являются входными переменными функции истинности в математической логике.  Они являются основными строительными...
  4. Готовый персонаж Заранее составленный персонаж Определение и использование предварительно составленных символов Предварительно составленные символы — это объекты Юникода,...
  5. Формула шнурков Формула шнурка для обуви Определение площади многоугольника Площадь многоугольника равна половине суммы длин всех его сторон. ...
  6. Термодинамическая свободная энергия Термодинамическая свободная энергия Свободная энергия — одна из функций состояния термодинамической системы.  Изменение свободной энергии —...
  7. Наземное выражение Основное выражение В математической логике термин без переменных является основным термином формальной системы.  Базовая формула не...
  8. Формула Харропа Формула Харропа Определение формул Харропа Атомарные формулы являются Харропом, включая ложь.  Формула  A  ∧  B  {\displaystyle...
  9. Интегральная формула Коши Интегральная формула Коши Интегральная формула Коши связывает интеграл функции по контуру с интегралом от ее производной. ...
  10. Химическая формула Химическая формула Химическая формула — способ представления информации о химических соотношениях атомов в соединении или молекуле. ...
  11. Предложение (математическая логика) Предложение (математическая логика) Предложение в математической логике логики предикатов является логически правильной формулой без свободных переменных. ...
  12. Формула номера класса Формула номера класса Формула номера класса Формула связывает важные инварианты поля алгебраических чисел с дзета-функцией Дедекинда. ...
  13. Структурная формула Структурная формула Структурная формула химического соединения — графическое представление молекулярной структуры с указанием химической связи.  Структурные...
  14. Эмпирическая формула Эмпирическая формула Эмпирическая формула химического соединения — это простейшее соотношение целых чисел атомов.  Монооксид серы и...
  15. Формула характера Вейля Формула символа Вейля Формула Вейля используется для вычисления кратностей корней в алгебрах Ли.  Формула Фрейденталя является...
  16. Атомная фиксация Атомарная фиксация Определение и важность атомарных фиксаций Атомарная фиксация — это процесс применения множества изменений как...
  17. Сложная обработка Долгосрочная обработка Обработка сложных терминов в информационно-поисковых системах Сложные термины создаются путем объединения простых терминов, например,...
  18. Свободная решетка Свободная решетка Свободная решетка — это свободный объект, соответствующий решетке в математике.  Свободные объекты обладают универсальным...
  19. Оценка (логика) Оценка (логика) В логике и теории моделей оценка может быть присвоение истинностных значений пропозициональным переменным и...
  20. Формула Лейбница для числа π Формула Лейбница для π Основные факты о формуле Лейбница Формула Лейбница используется для вычисления числа π. ...
  21. Формула Бейли-Борвейна-Плуффа Формула Бейли–Борвейна–Плуффа Формула BBP используется для вычисления n-й цифры числа π без вычисления предыдущих цифр.  Формула...
  22. Свободная логика Свободная логика Свободная логика имеет меньше экзистенциальных предпосылок, чем классическая логика.  Свободная логика допускает термины, которые...

Оставьте комментарий

Прокрутить вверх