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