שינויים

== תרגיל בית 1 ==

איך אני מוכיח שלמות - כמו בתרגיל 5? מה אני צריך להוכיח כדי שזה ייחשב שלמות?

תודה

::צריך להראות שניתן לבטא את הקשרים <math>\neg</math> ו- <math>\and</math> על ידי קשר <math>\downarrow</math>.--[[משתמש:Grisha|Grisha]] 23:04, 5 בנובמבר 2011 (IST)