התשובה היא (p or r)& ~(~q &r)~ ולא כפי שהמרצה רשם?
:: בשאלה 1 רשום: <math>(p \or \neg q) \to \neg r</math> ולא מה שרשמת. לא הבנתי מה ואיפה רשם המרצה. --[[משתמש:Grisha|Grisha]] 17:12, 7 בפברואר 2012 (IST)
בשאלה 2.
האם אפשר להוכיח בשלילה את טרנזיטיביות,כלומר B XOR D אינסופית אזי B XOR C אינסופית וגם D XOR C אינסופית?
:: לא הבנתי על איזה שאלה 2 מדובר. מה זה XOR אינסופית? --[[משתמש:Grisha|Grisha]] 17:12, 7 בפברואר 2012 (IST)