Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения