ფორმალური ლოგიკის შემქმნელი