שינויים

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

נוספו 148 בתים, 23:09, 9 ביולי 2011
/* כמתים */
אפשר "לחסוך" ולהשתמש רק באחד משני הכמתים:
* <math>\ \exists x: P(x) \equiv \neg \forall x: \neg P(x)</math> ("קיים סוס שחור" = "אין זה נכון שכל הסוסים אינם שחורים").
באופן הזה אפשר להחליף כל מופע של הכמת "קיים" במופע אחד של הכמת "לכל"; כמובן, גם ההיפך אפשרי:* <math>\ \forall x: P(x) \equiv \neg \exists x: \neg P(x)</math> ("כל הסוסים שחורים" = "אין אף סוס שאינו שחור"). . בפועל, שני הכמתים נמצאים בשימוש מתמטי תמידי.
הכמתים היסודיים מאפשרים לנסח טענות סטנדרטיות נוספות.