| 
- يوقلىما
- 408
| يېتەرلىك ۋە زۆرۈر شەرت
& a4 _4 _( Z# |( v( ], o
6 I$ P( q9 V0 c! v 1. ئىنكار مەسىلە
t6 M) j8 S) _: Z( P: Kئەسلى مەسىلىدىكى شەرت بىلەن نەتىجىنىڭ مۇئەييەنلەشتۈرۈلىۋاتقان سۆزلىرىنى ئىنكار قىلغۇچى سۆزلەرگە ئۆزگەرتىشتىن ياكى ئەسلى مەسىلىدىكى ئىنكار قىلغۇچى سۆزلەرنى مۇئەييەنلەشتۈرگۈچى سۆزلەرگە ئالماشتۇرۇشتىن كېلىپ چىققان يېڭى مەسىلە ئەسلى مەسىلىنىڭ ئىنكار مەسىلىسى، قىسقىچە ئىنكار مەسىلە دەپ ئاتىلىدۇ. مەسىلەن:& g! f A8 Z8 g+ g1 p- b& a
4 E( e8 K- n, ^. b7 [
ئەگەر بىر كۆپ تەرەپلىك ئۈچبۇلۇڭ ( ئۈچ تەرەپلىك) بولسا ، ئۇ ھالدا بۇ كۆپ تەرەپلىكنىڭ ئىچكى بۇلۇڭلىرىنىڭ يىغىندىسى 180 گرادۇسقا تەڭ بولىدۇ.
4 M8 o9 F! B4 N6 i( k& \$ |" a1 Q+ _" o0 a( X6 g: j
بولسا، بۇنىڭ ئىنكار مەسىلىسى:
4 ^/ z1 |1 Z% S& L, d. h8 B2 H% @
: U# d5 D: k: y1 Y( G3 q: Yئەگەر بىر كۆپ تەرەپلىك ئۈچبۇلۇڭ بولمىسا، ئۇ ھالدا بۇ كۆپ تەرەپلىكنىڭ ئىچكى بۇلۇڭلىرىنىڭ يىغىندىسى 180 گرادۇسقا تەڭ بولمايدۇ.: M6 h9 v1 B& e! t( \
* m! U- h* C% Y# N) rئومۇمى ئەھۋالدا ئەسلى مەسىلە A--->B بولسا ئىنكار مەسىلە nA--->nB بولىدۇ. بۇنىڭدىكى nA ۋە nB لار ئايرىم ئايرىم ھالدا A ۋە B لارنىڭ ئىنكار قىلىنىشىنى بىلدۈرىدۇ.ئۇلارنى " A يوق" ۋە " B يوق" ياكى " A بولمىغاندا" ۋە " B بولمىغاندا" دەپ ئوقۇماسلىق لازىم." A& u' ^4 t% n# H( ^0 L& @0 T
# l6 u& N; S, z1 ?2 ^/ X9 M- H2. تەتۈر مەسىلە
2 P* c( f j& I) o; ]* Aئەسلى مەسىلىنىڭ شەرتى بىلەن يەكۈنىنىڭ ئورۇنلىرىنى ئۆزئارا ئالماشتۇرۇشتىن كېلىپ چىققان يېڭى مەسىلە ئەسلى مەسىلىنىڭ تەتۈر مەسىلىسى ياكى قىسقىچە " تەتۈر مەسىلە" دەپ ئاتىلىدۇ. مەسىلەن، ئەسلى مەسىلە:
5 k; D/ @& }4 Z, s& e
3 k; \% O, l7 pئەگەر ئىككى بۇلۇڭ قارىمۇ قارشى چوققىلىق بۇلۇڭلار بولسا، ئۇ ھالدا بۇ ئىككى بۇلۇڭ ئۆزئارا تەڭ بولىدۇ. . b8 U# H: n# D. L
3 d2 c( a0 v2 B+ K7 v( {
بولسا، بۇنىڭ تەتۈر مەسىلىسى
" @# p; G Y! z) y3 M& f) ]
4 G# S. c* V3 g cئەگەر ئىككى بۇلۇڭ تەڭ بولسا، ئۇ ھالدا بۇ بۇلۇڭلار قارىمۇ قارشى چوققىلىق بۇلۇڭلار بولىدۇ.
$ h. a5 ?9 { Y5 V7 c, \0 y0 w- g" t/ O9 W: e$ m& S2 Q) P
ئومۇمىي ھالدا ئەسلى مەسىلە A--->B بولسا، تەتۈر مەسىلە B--->A بولىدۇ.
! y, }' S9 d! {% h, `2 \
- j% A4 u0 n1 B) C7 {2 ^4 C8 _5 p3. يېتەرلىك شەرت
O. x0 |2 D: h: ]% AA شەرت ھازىرلانغاندا، چوقۇم B نەتىجە كېلىپ چىقىدىغان بولسا، A شەرت B نەتىجىنىڭ يېتەرلىك شەرتى دېيىلىدۇ. يەنى A----->B راست بولغاندا، A شەرت B نىڭ يېتەرلىك شەرتى بولىدۇ. باشقىچە قىلىپ ئېيتقاندا، بىر مەسىلە ئورۇنلۇق بولغاندا، ئۇنىڭ شەرتى نەتىجىنىڭ يېتەرلىك شەرتى بولىدۇ. بىر مەسىلىنىڭ ئورۇنلۇق ئىكەنلىكىنى ئىسپاتلاش، ئەمىلىيەتتە، بۇ مەسىلىنىڭ شەرتىنىڭ يېتەرلىكلىكىنى ئىسپاتلاشتىن ئىبارەت بولىدۇ. ھەر بىر تېئورىمىنىڭ شەرتى ئۇنىڭ نەتىجىسىنىڭ يېتەرلىك شەرتى بولىدۇ. مەسىلەن،
" | S/ r9 P/ \" r$ L
: p$ z+ e+ P2 b) bتەڭ يانلىق ئۈچبۇلۇڭنىڭ ئاساسىدىكى ئىككى بۇلۇڭ ئۆزئارا تەڭ
& X$ P3 t7 h1 y- y
6 X! G, G! Y) v) r+ w7 Uدېگەن تېئورىمىدىكى شەرت " تەڭ يانلىق ئۈچبۇلۇڭ " بولسا نەتىجە " ئاساسىدىكى ئىككى بۇلۇڭ ئۆزئارا تەڭ" نىڭ يېتەرلىك شەرتى بولىدۇ.
( D* m1 q2 m I+ K1 V' Y$ p; T7 a
0 n) b1 f- `- g- e5 W4 . زۆرۈر شەرت- k, n9 c/ { ] E6 f( _, `* z
A شەرت ھازىرلانغاندا، B نەتىجە چوقۇم ئورۇنلۇق بولمىسا، A شەرت B نەتىجىنىڭ زۆرۈر شەرتى دەپ ئاتىلىدۇ. يەنى مەسىلەن، nA--->nB ( ئا نىڭ ئىنكار مەسىلىسىدىن ب نىڭ ئىنكار مەسىلىسىنى كەلتۈرۈپ چىقارغىلى بولسا) راست بولغاندا، A شەرت B نىڭ زۆرۈر شەرتى دەپ ئاتىلىدۇ. - z5 ?5 n' F8 U, K% Z! u
باشقىچە قىلىپ ئېيتقاندا، ئىنكار مەسىلە ئورۇنلۇق بولغاندا، ئەسلى مەسىلىنىڭ شەرتى ئۇنىڭ نەتىجىسىنىڭ زۆرۈر شەرتى بولىدۇ. ئىنكار مەسىلە بىلەن تەتۈر مەسىلە تەڭ كۈچلۈك بولغانلىقتىن، ئىنكار مەسىلىنىڭ ئورنىغا تەتۈر مەسىلىنى قويۇشقا بولىدۇ، يەنى B--->A راست بولغاندا، A شەرت B نىڭ زۆرۈر شەرتى دەپ ئاتىلىدۇ. مەسىلەن،4 O& g8 V, C' `. T% o1 h C. B- p
6 d5 S) b* O/ g8 p m- I4 كە پۈتۈن بۆلىنىدىغانلىكى سانلار جۈپ سان بولىدۇ 7 _8 E6 [0 \4 L& ?: ?5 @
, J: Y7 Z' l7 f1 l& S8 iدېگەن تەتۈر مەسىلە قىلىپ ئېلىنسا، ئۇ ھالدا ئۇنىڭ ئەسلى مەسىلىسىلا) k5 ` r/ z8 L
7 ^( Z7 V8 U7 M K, S7 h$ e9 R" f
جۈپ سان بولسىلا، چوقۇم 4 كە پۈتۈن بۆلىنىدۇ& s; S E1 O- g) r
; ?- n$ X* u0 @: M4 ~1 r0 X N
دېگەندىن ئىبارەت بولىدۇ. بۇ چاغدا تەتۈر مەسىلە ئورۇنلۇق بولغانلىقتىن، ئەسلى مەسىلىنىڭ شەرتى " جۈپ سان بولسىلا" دېگەن ئۇنىڭ نەتىجىسى " چوقۇم 4 كە پۈتۈن بۆلىنىدۇ" نىڭ زۆرۈر شەرتى بولىدۇ. بىر مەسىلىنىڭ تەتۈر مەسىلىسىنىڭ(ياكى ئىنكار مەسىلىسىنىڭ) ئورۇنلۇق ئىكەنلىكىنى ئىسپاتلاش، ئەمىلىيەتتە، بۇ مەسىلىنىڭ شەرتىنىڭ زۆرۈرلىكىنى ئىسپاتلىغانلىق بولىدۇ. |
|
ئاپشاركا كارتىسى
رادار كارتىسى
يوللىغان ۋاقتى 2012-8-27 00:22:28
كۆتۈرۈش كارتىسى
变色卡
دېۋان تالىشىش
كۆتۈرۈش كارتىسى
يوللىغان ۋاقتى 2012-8-28 11:19:55
