證明必要性從後先前推，即從結論推條件是必要性證明。證明充分性是從前向後推，即從條件推結論是充分性證明。
證明必要性從後先前推，即從結論推條件是必要性證明。必要條件是數學中的一種關係形式。如果沒有A，則必然沒有B;如果有A而未必有B，則A就是B的必要條件，記作B→A，讀作“B含於A”。數學上簡單來說就是如果由結果B能推匯出條件A，我們就說A是B的必要條件。
證明充分性是從前向後推，即從條件推結論是充分性證明。如果A能推出B，那麼A就是B的充分條件。其中A為B的子集，即屬於A的一定屬於B，而屬於B的不一定屬於A，具體的說若存在元素屬於B的不屬於A，則A為B的真子集;若屬於B的也屬於A，則A與B相等。
充分必要條件也即充要條件，意思是說，如果能從命題p推出命題q，而且也能從命題q推出命題p，則稱p是q的充分必要條件，且q也是p的充分必要條件。如果有事物情況A，則必然有事物情況B;如果有事物情況B，則必然有事物情況A，那麼B就是A的充分必要條件。
對地球而言，太陽是從東邊升起西邊落下，這是受地球自轉導致的。地球存在繞自轉軸自西向東的自轉，平均角速度為每小時轉動15度。在地球赤道上，自轉的線速度是每秒465米。天空中各種天體東昇西落的現象都是地球自轉的反映。人們最早利用地球自轉作為計量時間的基準。自20世紀以來由於天文觀測技術的發展，人們發現地球自轉是不均的。1967年國際上開始建立比地球自轉更為精確和穩定的原子時。由於原子時的建立和採用，地球自轉中的各種變化相繼被發現。天文學家已經知道地球自轉速度存在長期減慢、不規則變化和週期性變化。地球自轉的週期性變化主要包括週年週期的變化，月週期、半月週期變化以及近週日和半週日週期的變化。週年週期變化，也稱為季節性變化，是20世紀30年代發現的，它表現為春天地球自轉變慢，秋天地球自轉加快，其中還帶有半年週期的變化。擴充套件資料地球表面的氣溫受到太陽輻射的影響，全球地表平均氣溫約15攝氏度左右。而在不見陽光的地下深處，溫度則主要受地熱的影響，隨深度的增加而增加。在地球中心處的地核溫度更高達6000攝氏度以上，比太陽光球表面溫度（5778K，5500°C）更高。地球表面最熱的地方出現在巴士拉，最高氣溫為58.8攝氏度。地球北半球的“冷極”在東西伯利亞山地的奧伊米亞康，1961年1月的最低溫度是零下71攝氏度。
西升東落。月球本身的運動方向是自西向東繞地球公轉的，所以本該西升東落。7.22日全食帶的延展方向就是極好的證據。但是，由於地球的自傳方向也是自西向東，所以給我們造成的實際視覺效果就成了月球的東昇西落了。記住，我們肉眼看見的月亮東昇西落是地球自轉的結果。