דף הבית
דף אקראי
רשימת מעקב
הגדרות
כניסה לחשבון
אודות Math-Wiki
הבהרה משפטית
שינויים
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>
משתמש אלמוני
82.166.101.175