Пропозициональная формула