לכסון (שיטת הוכחה) – הבדלי גרסאות

מבין התחומים שבהם משתמשים בשיטה זו, נסביר כאן רק את השימוש שנעשה בשיטה זו בתאוריה של [[מדעי המחשב]]. במדעי המחשב משתמשים בשיטה זו כדי להראות ש[[מחלקה (תכנות)|מחלקה]] כלשהי שונה ממחלקה אחרת, זאת על ידי שמראים שהמחלקה האחת מכילה ממש את המחלקה האחרת.