בתשובה לירדן ניר, 01/01/02 22:51
הבעייה היא שאפשר להמשיך עוד צעד 50828
בהוכחה בשלילה אתה לא יכול להסיק מסקנות לגבי Y אלא רק לגבי X.
אם X הוא טענה כלשהי ואתה יכול להסיק מ X ממנו טענה כלשהי ושלילתה הרי ש X סותר את עצמו ולכן על פי חוק הסתירה הוא שקר.
אתה לא יכול להסיק מהעניין מסקנות לגבי Y כלשהו שהוסק במהלך ההוכחה מ X.

בכל אופן אם אתה מטיל ספק בחוק הסתירה, אתה לא יכול להשתמש בשורה האחרונה של ההוכחה בשלילה (סתירה ולכן לא X) מכיוון שסתירה לא אומרת לך כלום.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים