שינויים

88-101 חשיבה מתמטית

נוספו 31 בתים, 19:45, 17 ביולי 2011
/* משפט */
===משפט===
כל פסוק לוגי שקול להצבת האטומים <math>\ A_i</math> ושלילתם <math>\ \neg A_i</math>, בפסוק שבו מופיעים רק הקשרים "או" ו או "וגם"(מספיק אחד מהם).
*<math>A \rightarrow B\equiv \neg A \or B</math>
משתמש אלמוני