תחשיב הפסוקים, תחשיב הפרדיקטים, שלמות ונאותות
שאלות תרגול בלוגיקה למדעי המחשב בנושא הוכחה ממבחנים של האוניברסיטה הפתוחה. השאלות ממוינות לפי רמת קושי, עם פתרונות לבדיקה עצמית - כך שניתן ללמוד מטעויות ולהבין את דרך הפתרון לפני הבחינה. ניתן לאתר שאלות חוזרות ולהריץ מבחני סימולציה ממוקדים בנושא הוכחה.