20283 לוגיקה: הבדלים בין גרסאות בדף

נוספו 30 בתים ,  13 בפברואר 2006
אין תקציר עריכה
אין תקציר עריכה
 
אין תקציר עריכה
שורה 10: שורה 10:


'''קובץ שני'''
'''קובץ שני'''
* תחשיב הפסוקים
* טענות שימושיות בתחשיב הפסוקים


====פרטים נוספים====
====פרטים נוספים====