Логик ( эртний грек . λογικ? ? ≪з?в бодлын тухай шинжлэх ухаан≫; ≪сэтгэх чадвар≫; λ?γο? ≪сургааль, шинжлэх ухаан≫) з?в шалтгаан ба ?ндэслэлтэй д?гнэлтийн зарчмуудын зохион байгуулалттай судалгаа юм. Компьютерын шинжлэх ухаан ба математик, г?н ухааны сургуулиудад логикийг оюуны ажиллагаануудад хэрэглэдэг.

Логик бол эртний Грекийн г?н ухаанд шинжлэх ухаан болж ??ссэн гэж ?здэг. ??нээс хойш 2 мянга 500 жилийн турш XIX зууны хоёрдугаар хагас х?ртэл локигийг г?н ухааны шинжлэх ухааны хэсэг гэж судалдаг байсан. Орчин ?еийн тооцоон дэээр суурилсан логикийг Германы эрдэмтэн Г.Фреге ≪Begriffsschrift≫ (Ойлголтуудын тооцоолол, 1879) зохиолдоо бичиж ??сгэсэн байна.

Логикийн гол зорилго ба т??ний ??рэг нь ?мн?х мэдэгдл??дээс дараагийн мэдэгдлийг гаргах хуулиудыг ??рчл?хг?й хэвээр хадгалахад оршино. Энэ тохиолдолд д?гнэлтийн ?нэн з?в эсэх нь з?вх?н д?гнэлтэд тусгагдсан мэдэгдл??дийн ?нэн з?в, тэдгээрийн бие биетэйгээ з?в уяалдан холбогдсоноос хамаарна. Зарим бодол бусдаас хэрхэн дагалддагийг судалснаар логик сэтгэлгээний хуулиудыг илр??лдэг байна.

Логикийн сэдв??д [ засварлах | кодоор засварлах ]

• Ой санааны логик
• Таах логик
• Тогтоох логик
• Загвар логик
• Ч?л??тэй бодол
• Математикийн логик
• Г?н ухаанаар ?рс?лд?х логик
• Логик ба тооцолох