✨Suy diễn logic
Suy diễn lôgic, lập luận diễn dịch hay suy diễn là lập luận mà trong đó kết luận được rút ra từ các sự kiện được biết trước theo kiểu: nếu các tiền đề là đúng thì kết luận phải đúng. Nghĩa là các sự kiện cho trước đòi hỏi rằng kết luận là đúng.
Kiểu lập luận này khác với lập luận loại suy và lập luận quy nạp, trong đó các tiền đề có thể tiên đoán một xác suất cao của kết luận nhưng không đảm bảo kết luận là đúng.
Suy diễn còn được định nghĩa là kiểu suy luận từ trường hợp tổng quát hơn tới trường hợp cụ thể hơn, hay là suy luận mà trong đó kết luận có độ xác tính ngang bằng với các tiền đề.
Ví dụ
Người ta có thể nói rằng: "Vì trời mưa nên chắc chắn đường ướt". Tuy nhiên, có một luận cứ ẩn trong câu này: "Nếu trời mưa thì đường ướt.". Sử dụng tiền đề "Nếu trời mưa thì đường ướt.", ta có thể tranh luận rằng "Vì trời mưa nên chắc chắn đường ướt", mà không thể rằng "đường ướt cho nên chắc chắn trời đang mưa". Hoặc ta có thể nói: "Đường không ướt, do đó trời không mưa", nhưng không thể "Trời không mưa, do đó đường không ướt".
Đó là vì đường ướt là một kết quả không tránh khỏi của mưa, nhưng đường ướt không nhất thiết phải do mưa.
Tính hiệu lực và tính có cơ sở
Các luận cứ suy diễn có thể có hiệu lực hoặc không có hiệu lực. Các luận cứ có hiệu lực tuân theo các quy tắc đã định trước. Đối với tính hiệu lực, việc các quy tắc định trước đúng hay sai không được xét đến. Do đó, các kết luận có hiệu lực không nhất thiết là kết luận đúng, và các kết luận không có hiệu lực có thể không sai.
Khi một luận cứ vừa có hiệu lực vừa đúng, nó được coi là có cơ sở (sound). Khi nó có hiệu lực, nhưng không đúng, nó được coi là không có cơ sở.
Ví dụ:
Suy diễn có hiệu lực: : ''Do Socrates là một người, : ''và do tất cả mọi người đều không bất tử, : ''do đó Socrates cũng không bất tử. Suy diễn trên còn được coi là có cơ sở, do hai tiền đề "Socrates là người" và "tất cả mọi người đều không bất tử" là đúng.
Suy diễn không có hiệu lực: : ''Tất cả các thí sinh thi trượt đều không được học bổng, : ''tất cả các thí sinh đỗ vớt đều không được học bổng, : ''do đó tất cả các thí sinh đỗ vớt đều thi trượt.
👁️ 0 | 🔗 | 💖 | ✨ | 🌍 | ⌚
**Suy diễn lôgic**, **lập luận diễn dịch** hay **suy diễn** là lập luận mà trong đó kết luận được rút ra từ các sự kiện được biết trước theo kiểu: nếu các tiền đề là
[[Tập tin:High accuracy Low precision.svg | nhỏ | Biểu đồ này miêu tả độ chính xác cao và độ chính xác thấp bằng cách suy luận, phân tích dữ liệu.
Chú thích:
_Màu đỏ_: độ chính
Chú thích:
_Màu đỏ_: độ chính
Combo Sherlock Holmes Toàn Tập Trọn Bộ 3 Tập - Mới nhất 2021 Sherlock Holmes là một nhân vật thám tử hư cấu vào cuối thể kỉ 19 và đầu thế kỉ 20, xuất hiện
Những Cuộc Phiêu Lưu Của Sherlock Holmes Sherlock Holmes là một nhân vật thám tử hư cấu, xuất hiện lần đầu trong tác phẩm của nhà văn Arthur Conan Doyle xuất bản năm 1887. Nhân
Sherlock Holmes là một thám tử tư ở Luân Đôn nổi tiếng nhờ trí thông minh, khả năng suy diễn logic và quan sát tinh tường trong khi phá những vụ án mà cảnh sát
Combo Sherlock Holmes Toàn Tập Sherlock Holmes là một nhân vật thám tử hư cấu vào cuối thể kỉ 19 và đầu thế kỉ 20, xuất hiện lần đầu trong tác phẩm của nhà văn
Sherlock Holmes là một thám tử tư ở Luân Đôn nổi tiếng nhờ trí thông minh, khả năng suy diễn logic và quan sát tinh tường trong khi phá những vụ án mà cảnh sát
Combo Sherlock Holmes Toàn Tập Sherlock Holmes là một nhân vật thám tử hư cấu vào cuối thể kỉ 19 và đầu thế kỉ 20, xuất hiện lần đầu trong tác phẩm của nhà văn
thumb|Người chơi Mastermind sử dụng suy luận giả định để đoán màu sắc bí mật _(trên)_ từ các kết quả sai lệch _(góc dưới bên trái)_ dựa trên các phỏng đoán _(góc dưới bên phải)_.
**Biểu diễn tri thức và suy luận** (**Knowledge representation and reasoning**, **KRR**, **KR&R**, **KR²**) là lĩnh vực của trí tuệ nhân tạo (AI) tập trung vào việc biểu diễn thông tin về thế giới dưới
**Logic toán** là một ngành con của toán học có liên hệ gần gũi với cơ sở toán học, khoa học máy tính lý thuyết, logic triết học. Ngành này bao gồm hai phần: nghiên
nhỏ **Logic hình thức** còn được biết đến trong toán học như là logic ký hiệu là ngành khoa học nằm trong miền giao thoa giữa toán học và triết học tự nhiên. Logic hình
**Kinh tế học cổ điển** hay **kinh tế chính trị cổ điển** là một trường phái kinh tế học được xây dựng trên một số nguyên tắc và giả định về nền kinh tế để
Trong khoa học máy tính, đặc biệt là trong biểu diễn tri thức và siêu logic học, lĩnh vực **suy luận tự động** (automated reasoning) được dành riêng cho việc hiểu các khía cạnh khác
**Tiên đề**, **định đề** là một phát biểu được coi là đúng, để làm tiền đề hoặc điểm xuất phát cho các suy luận và lập luận tiếp theo. Các từ gốc tiếng Latin của
**Logic** (hợp lý, hữu lý, hàm lý) hay **luận lý học**, từ tiếng Hy Lạp cổ đại λόγος (logos), nghĩa nguyên thủy là _từ ngữ_, hoặc _điều đã được nói_, (nhưng trong nhiều ngôn ngữ
thumb | 220x124px | right | Suy luận Bayes dựa trên các [[xác suất có điều kiện liên quan đến các bằng chứng E được đưa ra nhằm kiểm định và cập nhật xác suất
**Tâm trí** là tập hợp các lĩnh vực bao gồm các khía cạnh nhận thức như ý thức, trí tưởng tượng, nhận thức, suy nghĩ, trí thông minh, khả năng phán quyết, ngôn ngữ và
**Lôgíc mô tả** (tiếng Anh: _Description logics_, viết tắt _DL_) là một họ các ngôn ngữ biểu diễn tri thức có thể sử dụng để biểu diễn tri thức thuật ngữ của một miền ứng
**Chu diên** (tên tiếng Trung: 周延) hay **tính chu diên** là quan niệm của các khái niệm trong phán đoán đơn đã không được phát biểu thống nhất trong nhiều sách logic học hiện nay,
Trong logic và toán học, phép **đảo** () của một mệnh đề phạm trù hay kéo theo là sự đảo ngược hai mệnh đề cấu thành nó. Với mệnh đề kéo theo _P_ → _Q_,
**Charles Sanders Peirce** (; sinh ngày 10 tháng 9 năm 1839 – mất ngày 19 tháng 4 năm 1914) là một nhà triết học, nhà toán học, nhà logic học người Mỹ, thường được coi
**Suy luận** là một hành động hay quá trình các kết luận logic phát sinh từ các tiên đề được biết hay được giả định là chân lý. Các kết luận rút ra cũng được
**Rối loạn suy nghĩ** (TD) đề cập đến suy nghĩ hỗn loạn biểu lộ qua lời nói lộn xộn. Rối loạn suy nghĩ bao gồm lời nói không đúng trọng tâm, nghèo nàn, hời hợt,
phải|nhỏ|Quy nạp toán học có thể được minh họa mô phỏng bằng cách tham chiếu đến các tác dụng tuần tự của [[hiệu ứng domino.]] **Quy nạp toán học** là một phương pháp chứng minh
Trong triết học, trạng thái **quân bình từ suy tưởng** là tình trạng cân bằng hoặc tình trạng gắn kết giữa một tập hợp những niềm tin. Trạng thái này đạt được từ một quá
**Điện tử số** (tiếng Anh: _digital electronics)_ là một lĩnh vực của điện tử gồm việc nghiên cứu các tín hiệu kỹ thuật số và kĩ thuật của các thiết bị sử dụng hoặc tạo
**Suy luận Diễn dịch,** tiếng Anh là **"deductive reasoning"**, là một phương pháp suy luận nhờ dựa vào các quy luật luận lý để rút ra kết quả tất yếu từ một (hay nhiều) mệnh
Động cơ điện một chiều **Động cơ điện một chiều** là động cơ điện hoạt động với dòng điện một chiều. ## Nguyên tắc hoạt động Stator của động cơ điện 1 chiều thường là
Trong logic toán, một phân ngành logic, cơ sở của mọi ngành toán học, **mệnh đề**, hay gọi đầy đủ là **mệnh đề logic** là một khái niệm nguyên thủy, không định nghĩa. Thuộc tính
**Trí tuệ nhân tạo** (**TTNT**) (tiếng Anh: **_Artificial intelligence_**, viết tắt: **_AI_**) là khả năng của các hệ thống máy tính thực hiện các nhiệm vụ liên quan đến trí thông minh của con người,
phải|nhỏ|389x389px|[[Định lý Pythagoras|Định lý Pitago có ít nhất 370 cách chứng minh đã biết ]] Trong toán học và logic, một **định lý** là một mệnh đề phi hiển nhiên đã được chứng minh là
Trong logic, một **luận cứ** là một cố gắng để thể hiện tính đúng đắn của một khẳng định được gọi là một _kết luận_, dựa trên tính đúng đắn của một tập các khẳng
**Chủ nghĩa vô thần**, **thuyết vô thần** hay **vô thần luận**, theo nghĩa rộng nhất, là sự "thiếu vắng" niềm tin vào sự tồn tại của thần linh. Theo nghĩa hẹp hơn, chủ nghĩa vô
Trong toán học, một phép toán hai ngôi có tính **giao hoán** khi thay đổi thứ tự của hai toán hạng không làm thay đổi giá trị kết quả. Nó là tính chất cơ bản
**Các định lý bất toàn của Gödel**, hay gọi chính xác là **Các định lý về tính bất hoàn chỉnh của Gödel** (tiếng Anh: **Gödel's incompleteness theorems**, tiếng Đức: **Gödelscher Unvollständigkeitssatz**), là hai định lý
**Lập luận** được định nghĩa rất khác nhau tùy theo ngữ cảnh của hiểu biết về lý tính như là một hình thức của tri thức. Định nghĩa lôgic là hành động sử dụng lý
Trong toán học, một **chứng minh** là một cách trình bày thuyết phục (sử dụng những chuẩn mực đã được chấp nhận trong lĩnh vực đó) rằng một phát biểu toán học là đúng đắn.
**_Suy ngẫm về Triết học tiên khởi_**, với tựa đề con **_Chứng minh sự tồn tại của Chúa trời và sự khác biệt thực sự giữa tâm và thân_**, (tên Latinh: _Meditationes de prima philosophia,
Trong logic toán học, **lượng từ với mọi** hay **lượng từ phổ dụng** là một loại lượng từ, một hằng logic ký hiệu cho "với bất kỳ" hay "với mọi". Nó biển thị rằng một
**Vedanta** (chữ Devanagari: , __) là một trường phái triết học nằm trong Ấn Độ giáo xem xét đến bản chất của thế giới hiện thực. Từ _Vedanta_ là từ ghép của _veda_ "kiến thức"
Tủ Sách Giáo Dục Sớm - 600 Đề Vui Học Phát Triển Toàn Diện - Tập 1 Bộ sách vừa học vừa chơi, kết hợp kiến thức và vốn sống với nhiều đề tài đa
Tủ Sách Giáo Dục Sớm - 600 Đề Vui Học Phát Triển Toàn Diện - Tập 1 Bộ sách vừa học vừa chơi, kết hợp kiến thức và vốn sống với nhiều đề tài đa
**Khái niệm** là một đối tượng, một hình thức cơ bản của tư duy (bao gồm một ý tưởng, một ý nghĩa của một tên gọi chung trong phạm trù lôgic, hoặc một sự suy
**Niên biểu hóa học** liệt kê những công trình, khám phá, ý tưởng, phát minh và thí nghiệm quan trọng đã thay đổi mạnh mẽ vốn hiểu biết của nhân loại về một môn khoa
[[Phần cứng|Phần cứng máy tính là nền tảng cho xử lý thông tin (sơ đồ khối). ]] **Lịch sử phần cứng máy tính** bao quát lịch sử của phần cứng máy tính, kiến trúc của
**Đánh giá người Việt Nam** là những đánh giá và nhận xét về tư duy, tính cách, tâm lý và tập quán của người Việt Nam qua các thời kỳ khác nhau đã được một
**Phi hư cấu, phi viễn tưởng** hay **phi giả tưởng** (tiếng Anh: **_Non-fiction_** hoặc **_Nonfiction_**) là những nội dung (content) có thật, thể hiện các sự kiện, sự vật,... trong thực tế. Người tạo ra
Trong môi trường giáo dục mầm non, các hoạt động trải nghiệm không chỉ giúp trẻ phát triển tư duy mà còn khuyến khích sự sáng tạo và khả năng nhận diện đồ vật. Một
**Khái quát hóa** hay **tổng quát hóa** là một hình thức trừu tượng, theo đó các thuộc tính chung của các trường hợp cụ thể được coi là các khái niệm hoặc tuyên bố chung.