Предложение (в логике)