הוספת טענות ונימוקים להוכחה
במערכת FullProof ניתן להוסיף טענות להוכחה ב־4 דרכים:
- הוספת מידע לתרשים
- בהוכחה, ע״י הוספת משוואה או טענה ובחירה של טענה או משוואה
- הוספת שורת הצ״ל באמצעות ה־+
- בניית עזר — כאשר מוסיפים את הבנייה לתרשים המערכת מוסיפה להוכחה את השורה המתאימה.
הוספת נימוקים להוכחה
ניתן להוסיף נימוקים להוכחה בשתי דרכים:
- פתיחת הרשימה המלאה.
- חיפוש עפ״י מילות מפתח.
כניסה לרשימת הנימוקים
לחצו על בחרו נימוק... בשלב שאליו רוצים להוסיף נימוק. נפתח חלון שבו אפשר לפתוח את הרשימה המלאה או להקליד מילת חיפוש.

בחירת נימוק מהרשימה המלאה
הרשימה המלאה מכילה כמעט 300 נימוקים, כולל את כל המשפטים המאושרים לשימוש ע״י משרד החינוך. הרשימה ממוינת לפי נושאים ותת־נושאים כדי שיהיה לכם נוח למצוא את המשפט המתאים.
מציאת הנימוק עפ״י מילת מפתח
הקלידו מילת חיפוש בשדה הקלידו מילות חיפוש.... החיפוש מוצא גם צורות אחרות של אותה מילה, למשל "אלכסונים" ימצא גם "שאלכסוניו". אם אתם לא מצליחים למצוא את המשפט שאתם מחפשים נסו ברשימה המלאה.
הוספת טענות תומכות

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