שיחה:שקילות (לוגיקה)

אלמלא הייתה כאן תבנית 'נבדק', הייתי מסמן מייד את הערך לשכתוב. מעבר לעובדה שהוא בעצם אינו מסביר במדויק את המושג 'שקילות לוגית', ומעבר לעובדה שהוא אוסף הדגמות ולא ערך אנציקלופדי, הרי שגם המשפט הראשון שלו רחוק מלהיות מדויק: "שתי טענות ייקראו שקולות, אם שתיהן נכונות - או ששתיהן אינן נכונות" - ממש לא מדויק : בלוגיקה, טענה 'נכונה תמיד' היא טאוטולוגיה, ו'לא נכונה תמיד' היא סתירה, ובהחלט ייתכן ששתי טענות תהיינה שקולות בלי שאף אחד מהן תהיה טאוטולוגיה או סתירה. רונן א. קידר 07:04, 23 אוקטובר 2005 (UTC)