לוגיקה מתמטית א'

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

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