مثال نقض و قضیه شرطی