תחשיב הפרדיקטים – הבדלי גרסאות