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

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

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

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

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

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

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

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