KiÓm tra giờ thuyạt

Một phần của tài liệu Tài liệu LOGIC HỌC ĐẠI CƯƠNG ppt (Trang 86 - 89)

Lộ thự phịp phục tỰp vộ cã cịc cịch thục khịc nhau, ệẵu tiến ệ−ĩc thùc hiỷn bỪng lẺp luẺn lềgÝc Ờ chụng minh, bịc bĨ, chụng thùc, bội bịc. Nhộ nghiến cụu so sịnh hỷ quờ tÊt suy lềgÝc tõ giờ thuyạt vắi cịc sù kiỷn xờy ra trong thùc tạ. Kạt quờ so sịnh nỪm ẻ mét trong hai khờ nẽng:

- Thụ nhÊt: hỷ quờ thu ệ−ĩc tõ giờ thuyạt bỪng suy luẺn lềgÝc khềng phỉ hĩp vắi thùc tạ. Khi ệã phời chÝnh xịc hoị lỰi giờ thuyạt, hoẳc loỰi bá nã ệÓ xẹy dùng giờ thuyạt khịc.

- Thụ hai: hỷ quờ thu ệ−ĩc tõ giờ thuyạt phỉ hĩp vắi dọ kiỷn thùc tạ,

nh−ng ngay cờ nh− thạ, thừ còng ch−a phời lộ giờ thuyạt ệ−ĩc chÊp nhẺn lẺp tục về ệiÒu kiỷn. Bẻi vừ vắi cịch ệã thùc ra mắi chử lộ khỬng ệỡnh hỷ quờ ệÓ mong khỬng ệỡnh tiÒn ệÒ (giờ thuyạt), cã nghỵa lộ mắi chụng thùc giờ thuyạt, chụ ch−a phời lộ chụng minh. Nhọng dọ kiỷn Êy mắi lộm cho giờ thuyạt ệịng tin hển, vộ lộ cể sẻ ệÓ xẹy dùng giờ thuyạt trung gian mắi. Muèn khỬng ệỡnh hoộn toộn tÝnh chẹn thùc cựa giờ thuyạt thừ phời chụng minh.

Cã hai ph−ểng phịp cể bờn ệÓ khỬng ệỡnh hay phự ệỡnh tÝnh chẹn thùc cựa mét giờ thuyạt.

- Ph−ểng phịp lềgÝc: nãi theo ngền ngọ cựa chụng minh, giờ thuyạt lộ

luẺn ệÒ, lộ phịn ệoịn cưn ch−a biạt lộ chẹn thùc hay giờ dèi, vộ do ệã trẻ thộnh ệèi t−ĩng cựa chụng minh. Do vẺy ẻ ph−ểng phịp nộy chụng minh hay bịc bá giờ thuyạt hoộn toộn phời tuẹn theo cịc kiÓu vộ quy tớc chụng minh.

- Ph−ểng phịp kiÓm tra thùc tạ: sau khi (hoẳc song song vắi) lẺp luẺn

lềgÝc ệÓ chụng minh hoẳc bịc bĨ giờ thuyạt, ng−êi ta tiạn hộnh từm trến thùc tạ nhọng chụng cụ khỬng ệỡnh hay phự ệỡnh giờ thuyạt.

Tãm lỰi, giờ thuyạt lộ x−ểng sèng cho sù tăn tỰi vộ phịt triÓn cựa khoa hảc. Khềng cã khoa hảc nộo lỰi khềng nếu giờ thuyạt. Con ệ−êng ệi lến cựa khoa hảc luền luền lộ sù khỬng ệỡnh vộ phự ệỡnh nhọng giờ thuyạt. Còng cã thÓ cịi hềm nộy ệ−ĩc coi lộ chẹn lý thừ ngộy mai ệở bỡ phự ệỡnh bẻi mét giờ thuyạt khịc. Theo dưng chờy cựa lỡch sỏ, tri thục con ng−êi lộ khềng cã giắi hỰn vộ mẻ réng khềng ngõng, nh−ng mải giờ thuyạt phời cã ệiÓm ệạn vộ ệiÓm xuÊt phịt tõ hiỷn thùc. ậã lộ chẹn lý khềng thÓ thay ệữi .

Cẹu hái thờo luẺn vộ ền tẺp

1) Thạ nộo lộ giờ thuyạt khoa hảc. Nếu bờn chÊt vộ ệẳc ệiÓm cựa nã. Trừnh bộy vÒ cịc b−ắc xẹy dùng giờ thuyạt.

2) Cã thÓ phẹn loỰi giờ thuyạt nh− thạ nộo? Thạ nộo lộ kiÓm tra giờ thuyạt? Cã nhọng ph−ểng phịp cể bờn nộo ệÓ thùc hiỷn viỷc ệã?

Chửnh sỏa giờ thuyạt

KiÓm tra thùc tiÔn

Chụng minh hoẳc bịc bá bỪng lề gÝch

Xẹy dùng giờ thuyạt

Phẹn tÝch, tững hĩp, xỏ lý Thềng tin

Phịt hiỷn hiỷn t−ĩng

HoỰt ệéng thùc tiÔn

Lý thuyạt khoa hảc

Tững kạt toộn mền hảc

Danh môc tội liỷu tham khờo

- Bỉi Thanh QuÊt: LềgÝc hảc hừnh thục, H., 1998

- NguyÔn Thuý Vẹn, NguyÔn Anh TuÊn: LềgÝc hảc ệỰi c−ểng, H., 2003 - V−ểng TÊt ậỰt: LềgÝc hảc ệỰi c−ểng, Nxb. ậHQG Hộ Néi, 2000. - NguyÔn Anh TuÊn, Tề Duy Hĩp: LềgÝc hảc hừnh thục, Nxb. ậăng Nai, 2001

Một phần của tài liệu Tài liệu LOGIC HỌC ĐẠI CƯƠNG ppt (Trang 86 - 89)

Tải bản đầy đủ (PDF)

(89 trang)