כשל אמצע לא מופץ – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
מ בוט: החלפת טקסט אוטומטית (-{{נ}} +)
אין תקציר עריכה
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
שורה 4:
#כל הסוסים אוכלים עשב
#סוקרטס אוכל עשב
#לכן, סוקרטס הוא סוס וובה
 
התנאי האמצעי הוא המופיע בשתי ה[[הנחה (לוגיקה)|הנחות]]. במקרה כזה, זוהי כיתת אוכלי העשב. תכונת אכילת העשב מופצת לכל הסוסים, אך לא להפך. ניתן לומר ש"כל הסוסים אוכלים עשב", אך ההפצה אינה דו-כיוונית: לא ניתן לומר שכל אוכלי העשב הם סוסים. לכן, העובדה שסוקרטס אוכל עשב אינה מובילה למסקנה שהוא סוס. הוא יכול להיות חמור, כבשה או ערוד, כיתות נוספות אפשריות של אוכלי עשב.