مثال ۳۲-۱ صفحه ۳۸

این مثال چه طور حل شده؟؟؟؟؟؟؟؟؟
با استفاده از قواعد استنتاج
(
می توان از گزاره های( تمام پرندگان پر دارند.)(تمام گنجشکان پرنده هسنتد) گزاره (تمام گنجشکان پر دارند)را اسنتاج کرد
حل:
فرض که F(X) X پرنده
G(X) X گنجشک
P(X) X پر دارد
$\forall X\sqsubset F\left( X\righ \right )\rightarrow P\left( X \right )\sqsupset$
$\forall X\sqsubset GX\rightarrow FX\sqsupset$
انگاه:
$\forall X\sqsubset GX\rightarrow PX\sqsupset$


یکی تو ضیح بده مراحل حل چیه؟ و برا چی اون کار تو اون مرحله انجام میشه؟؟؟؟؟؟؟؟؟؟؟

خواهش میکنم کمکم کنید