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