What-the-definition-of-Claim-Theorem-and-Lemma-When-can-we-use-them-respectively-for-getting-proof-s-

Question Number 62399 by naka3546 last updated on 20/Jun/19

W h a t t h e d e f i n i t i o n o f C l a i m, T h e o r e m, a n d L e m m a ?

W h e n c a n w e u s e t h e m r e s p e c t i v e l y f o r g e t t i n g p r o o f (s) ?

Answered by alphaprime last updated on 20/Jun/19

L e m m a - A p r o v e n s t a t e m e n t u s e d f o r

p r o v i n g a n o t h e r s t a t e m e n t . I t m a y b e l i k e

a n y g e n e r a l h y p o t h e s i s {y o u}^{'} v e p r o v e n t h r o u g h

m a t h e m a t i c a l i n d u c t i o n .

T h e o r e m i s m a t h e m a t i c a l s t a t e m e n t a l w a y s

t r u e a n d u s e d t o d e d u c e o r g e n e r a t e o t h e r h i g h e r p r o f i l e s

i n m a t h s, {i t}^{'} s p u r e a n d n o t c o n s i d e r e d i n a p p l i e d

m a t h e m a t i c s .

C l a i m c a n b e a n y p r o p o s i t i o n w h i c h y o u

b e l i e v e t o b e e i t h e r t r u e f o r f u r t h e r p r o c e e d i n g s

i n m a t h s o r {a i n}^{'} t s u r e a b o u t i t, w h i c h

l a t e r c a n b e e v a l u a t e d b y m a n y m e t h o d s

o r a l h o r i t h m s .

W e l l y o u g o t t a j o i n m y w o r k s p a c e f o r k n o w i n g

a b o u t c o n s t r u c t i o n o f p r o o f s a n d e v e r y t h i n g

a b o u t i t .