قضیه شرطی و مثال نقض کلاس فارابی