атомарное предложение

Мат. atomic proposition