定義是就概念而言,比如學(xué)動(dòng)能定理,其中的動(dòng)能就是一個(gè)定義,所有的定理都是用抽象的定義表述。定理是經(jīng)過人們用公理、規(guī)律證明出來的,具有總結(jié)性和應(yīng)用性,避免了在同一問題上的重復(fù)工作。
定理和定律的區(qū)別定理一般都有一個(gè)設(shè)定——一大堆條件。然后它有結(jié)論——一個(gè)在條件下成立的數(shù)學(xué)敘述。通常寫作“若條件,則結(jié)論”。而當(dāng)中的證明不視為定理的成分。例如“平行四邊形的對(duì)邊相等”就是平面幾何中的一個(gè)定理。在命題邏輯中,所有已證明的敘述都稱為定理。
定律是為實(shí)踐和事實(shí)所證明,反映事物在一定條件下發(fā)展變化的客觀規(guī)律的論斷。定律是一種理論模型,它用以描述特定情況、特定尺度下的現(xiàn)實(shí)世界,在其它尺度下可能會(huì)失效或者不準(zhǔn)確。沒有任何一種理論可以描述宇宙當(dāng)中的所有情況,也沒有任何一種理論可能完全正確。
定律是對(duì)客觀事實(shí)的一種表達(dá)形式,通過大量具體的客觀事實(shí)歸納而成的結(jié)論。
什么是逆定理逆定理是將某一定理的條件和結(jié)論互換所得的定理就是原來定理的逆定理。(如果一個(gè)定理的逆命題能被證明為真命題,那么它叫做原定理的逆定理。此時(shí),這兩個(gè)定理叫互逆定理。)