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

מערכת זו היא '''נאותה''' - כלומר, כל נוסחה שניתנת להוכחה, היא אמיתית, ו'''שלמה''' - כלומר, כל נוסחה אמיתית גם ניתנת להוכחה מקבוצה זו במערכת.

 

 

דוגמה ל'''כלל הבאה''' (כלל הכנסה - אינטרודוקציה) להקשר של פסוק התנאי: