בתשובה לגדי אלכסנדרוביץ', 20/11/05 18:37
 |
|
 |
||
|
||||
 |
אבל בלוגיקה ההצרנה של ''כלב נובח לא נושך'' פירושה ''שום כלב שנובח אינו נושך''... |  |
 |
 |
|
|
|
||
|
||||
|
נכון, וההצרנה של ''תוכן קבוצה הינו אלמנט...'' פירושה ''התוכן של כל קבוצה הינו אלמנט...''. זה בדיוק מה שאני טוען. | |
|
|
|
|
|
||
|
||||
|
נכון. מבחינה מתמטית, כאמור, אין כאן הבדל. אבל ההצרנה הלוגית מנסה לפרמל אמירה בשפה טבעית - ולדעתי, במקרה הזה היא ''מאבדת'' את ההבדלה. כמובן שאפשר לטעון שאין הבדל, אבל אי אפשר לטעון שמובן מאליו שאין הבדל, ובפרט אי אפשר לטעון שבגלל שההצרנה הלוגית היא כך וכך אז אין הבדל. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |