===ההבדל בין 'אם' לבין 'אם ורק אם'===
'''ראו הערה בדף השיחה לגבי השימוש ב"אם" במתמטיקה.''' בועז
*'''"שמוליק נמצא בביתו אם רכבו נמצא בחנייה"'''. כלומר, כאשר אנו רואים את הרכב בחנייה אנו יכולים להסיק ששמוליק נמצא בביתו. אולם, אילו הרכב אינו בחנייה אנו לא יודעים היכן שמוליק - ייתכן ובנו לקח את הרכב ושמוליק נשאר בביתו. '''"שמוליק נמצא בביתו אם ורק אם רכבו נמצא בחנייה"''' ממשפט זה ניתן להסיק את שני הכיוונים - אם אנו צופים ברכב בחנייה וודאי שמוליק בביתו, ואם הרכב אינו בחנייה שמוליק בוודאי נמצא בחוץ (אין לאף אחד אחר ביטוח על הרכב).