TÓM TÅT LÝ THUYÉT 1. Mênh Mênhdè là mot khäng dinh dúnghoac sai. Mêt khäng dinh dúng• gQi là. mêñh dê dúng, .mQt khäng dinh:sai. gQi là menh dê Sai. Môtmênh dêkhông thê vùa dúng, :vùasai. 2. Mênh dê chúa bién Mêhh dê chúa bién P là mot câu chúa biên (không phåi làmênh dê åúng hay sai), nhung vói môi giá cùa biên x frongtâp xác dinhc X nào dó:taduqc mêtmênhdê. 3. Mênh phü dinh• Mõi menh dè P có menh phü hiêu •là P . Mênhdê P vàmênhdè P úh:dúng sai trái•nguqcnhau. Nghia làkhi P dúng thì•p sai,khi P sai dúng. Thông thuðng, pht dinh mot mênh:dê, nguði ta thtrðng thêm (hoac bt)tù không hoac khôngphåi vài vi:ngü cüa mênhldê dó. 4. Mêóh kéo theo Cho hai mênhdè P và Q. •Mênh dê Néu P thi O dtrqcCQi• là menh åê kéo theo; kíhiêu là. Pa. Q . •Mênhdè P Q: chi sai •khi: P dúng và Q sai. KhimênhdèQ>O là din.h lí;ta nói: P •làgiå thiét, O là két luân cùa dinh:lí .1à dièu k.iên•dü Q Q là diêü Idên:cân• dê có .•.P5. Mênh dè däo:Hai menh dêfirŒng au•Œng Mênh dê_ Q P duqc gQi là mên.hdè dåo•cüa mênhðê Q :Néu •Cähai mênh• Q và Q P dêu dúng •thì ta nói P • và. O. làhai menh dè ttrøng duong, kí hiêu là P. 0 Khi dó, ta cüng nói P là diêu kiên cân và dü dê có O. 6. MÇnh chúa kí hiêu Y , •Mênh dè Yxe M; p(x).. dúngnéu vói moi x; e M; P(xo) làmå.hdè dúng.• a s Mên_h rt îx CM dúng néu e M ; sao chO P (xo) làmênh dÙ dúng.
Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle Rectangle