✨Phép phản chứng
Phép phản chứng hay phương pháp phản chứng (còn được goi là reductio ad absurdum, tiếng La tinh có nghĩa là "thu giảm đến sự vô lý") là một trong các phương pháp chứng minh gián tiếp. Phương pháp này chứng minh một phát biểu bằng cách cho thấy rằng kịch bản ngược lại sẽ dẫn đến một điều vô lý hoặc một sự mâu thuẫn.
Chứng minh bằng mâu thuẫn trong toán học
Nội dung
Phép phản chứng trong toán học thường được biết đến dưới dạng chứng minh bằng mâu thuẫn hay chứng minh bằng phản chứng. Nếu ta muốn chứng minh kết luận của bài toán là đúng thì phải chúng minh cái ngược lại với nó là sai, vậy ta giả thiết cái ngược lại với nó, và tìm một kết luận mâu thuẫn. ===Các bước thực hiện Chỉ trích việc Homer gán các tánh xấu của con người cho thần thánh, Xenophanes phát biểu rằng con người tin rằng thần thánh có hình dạng của con người. Nhưng nếu ngựa và bò biết vẽ, chúng sẽ vẽ thần thánh giống như bò và ngựa. Nhưng thần thánh không thể có tất cả các hình dạng ấy. Do đó thần thánh không thể có hình dạng của con người. Tương tự, việc gán các đặc tính khác của con người cho thần thánh, ví dụ như các tánh xấu, cũng là sai lầm.
Các nhà toán học cổ đại Hy Lạp cũng đã sử dụng reductio ad absurdum. Euclid xứ Alexandria và Archimedes xứ Syracuse là hai ví dụ khá sớm.
👁️ 0 | 🔗 | 💖 | ✨ | 🌍 | ⌚
**Phép phản chứng** hay **phương pháp phản chứng** (còn được goi là **reductio ad absurdum**, tiếng La tinh có nghĩa là "thu giảm đến sự vô lý") là một trong các phương pháp chứng minh
nhỏ|400x400px|Giấy phép phần mềm trong bối cảnh bản quyền theo Mark Webbink. Từ trái sang phải ít quyền cho người được cấp phép/user của một phần mềm và nhiều hơn nữa quyền giữ lại bởi
Ph.Ăng-ghen, người đã kiến giải các nguyên lý của phép biện chứng duy vật **Hai nguyên lý của phép biện chứng duy vật** là hai nguyên lý cơ bản và đóng vai trò cốt lõi
**Ba quy luật cơ bản của phép biện chứng duy vật** trong triết học Mác - Lênin là các quy luật cơ bản trong phương pháp luận của triết học Mác - Lênin và được
**Công ty Cổ phần Chứng khoán VNDIRECT** (tên giao dịch tiếng Anh: **VNDIRECT Securities Corporation**, tên viết tắt: **VNDIRECT**) là một công ty chứng khoán tại Việt Nam, hoạt động trong lĩnh vực Tài chính
thumb|alt=Màn hình máy tính của hệ điều hành, màn hình hiển thị các ứng dụng phần mềm tự do khác nhau.|Ví dụ về một hệ điều hành phần mềm tự do hiện đại chạy một
nhỏ|phải|Logo GPLv3 Biểu trưng "Heckert" của GNU **Giấy phép Công cộng GNU** (tiếng Anh: _GNU General Public License_, viết tắt **GNU GPL** hay chỉ **GPL**) là giấy phép phần mềm tự do được sử dụng
**Giấy phép Công cộng Mozilla** (**Mozilla Public License** - MPL) là một giấy phép phần mềm tự do và mã nguồn mở. Phiên bản 1.0 do Mitchell Baker phát triển khi bà là luật sư
**Giấy phép Công cộng GNU Hạn chế** (tiếng Anh: _GNU Lesser General Public License_, viết tắt **LGPL**) là một giấy phép phần mềm tự do nguồn mở được phát hành bởi Quỹ Phần mềm Tự
nhỏ|Tam giác _ABC_ và ảnh phản xạ của nó _A_B_C_ '' qua phép phản xạ qua trục đối xứng c1c2. Trong toán học, **phép phản xạ** là một ánh xạ đẳng cự từ một không gian
Trong giấy phép phần mềm, **cấp phép số lượng lớn** (tiếng Anh: _volume licensing_) là quá trình bán, ủy quyền hoặc chuyển quyền sở hữu giấy phép nhằm cho phép một chương trình máy tính
Số e được Jacob Bernoulli giới thiệu vào năm 1683. Hơn nửa thế kỷ sau, Euler, người từng là học trò của em trai Jacob, Johann, đã chứng minh rằng e là số vô tỉ;
|thumb|phải|Biểu trưng Creative Commons thumb|thumbtime=18|Video này giải thích cách sử dụng giấy phép Creative Commons cùng với các thỏa thuận cấp phép thương mại **Giấy phép Creative Commons** là một số giấy phép bản quyền
**Phép biện chứng** hay **phương pháp biện chứng** là một phương pháp luận triết học tồn tại ở cả phương Đông lẫn phương Tây thời cổ đại. Từ "dialectic" tiếng Anh (tức "biện chứng" trong
nhỏ| Một sơ đồ cho thấy cách người dùng tương tác với [[phần mềm ứng dụng trên một máy tính để bàn thông thường. Lớp phần mềm ứng dụng giao tiếp với hệ điều hành,
**Phần mềm tự do nguồn mở** (Tiếng Anh: _Free and open-source software_ (Viết tắt là F/OSS, FOSS) hoặc _Free/Libre/open-source software_ (Viết tắt là FLOSS)) là loại phần mềm được bao gồm Phần mềm tự do
Phần mềm là các lệnh được lập trình mà được lưu trữ trong bộ nhớ được lưu trữ của các máy tính kỹ thuật số để bộ xử lý thực hiện. Phần mềm là một
**Giấy phép BSD** là một gia đình của giấy phép phần mềm miễn phí cho phép, áp đặt các hạn chế tối thiểu về việc sử dụng và phân phối các phần mềm được bảo
thumb|right|Đa thức _x_2 + _cx_ + _d_, trong đó _a + b = c_ và _ab = d_, có thể phân tích thành (_x + a_)(_x + b_). Trong đại số sơ cấp, **phân tích nhân tử** là một thuật ngữ toán học dùng để chỉ một cách viết
**Chứng khoán** () là một bằng chứng tài sản hoặc phần vốn của công ty hay tổ chức đã phát hành. Chứng khoán có thể là hình thức chứng chỉ, bút toán ghi sổ hay
**Truyền thông đại chúng** đề cập đến một loạt các công nghệ truyền thông nhằm tiếp cận một lượng lớn khán giả thông qua giao tiếp đại chúng. Các công nghệ mà truyền thông đại
**Phương pháp duy vật biện chứng** hay **chủ nghĩa duy vật biện chứng** là một bộ phận của học thuyết triết học do Karl Marx và Friedrich Engels đề xướng. Cốt lõi của chủ nghĩa
**Bộ công cụ phát triển phần mềm** (tiếng Anh: **software development kit**, viết tắt là **SDK**) là một gói các công cụ phát triển phần mềm (software development) trong một gói có thể cài đặt.
**Thể loại phần mềm** là các nhóm phần mềm. Chúng cho phép phần mềm được hiểu theo các loại này thay vì đặc thù của mỗi gói phần mềm. Các kiểu phân loại khác nhau
nhỏ|Logo [[Open Source Initiative]] **Phần mềm nguồn mở** là phần mềm với mã nguồn được công bố và sử dụng một giấy phép nguồn mở. Giấy phép này cho phép bất cứ ai cũng có
**Quan hệ công chúng** (Tiếng Anh: **Public Relations**, Tiếng Pháp: Relations publiques, viết tắt là **PR/ RP**) là việc một cơ quan tổ chức hay doanh nghiệp chủ động quản lý các quan hệ giao
nhỏ|phải|Một bông hoa tulip, còn gọi là "Phó Vương", trong một mục lục tại Hà Lan năm 1637. Củ của nó có giá từ 3000 tới 4200 [[guider Hà Lan|florin tùy vào kích cỡ. Một
**Cái chung và cái riêng** là một cặp phạm trù trong phép biện chứng duy vật Mác-Lenin và là một trong những nội dung của nguyên lý về mối liên hệ phổ biến dùng để
**Quỹ Phần mềm Tự do** hay **Tổ chức Phần mềm Tự do** (tiếng Anh: _Free Software Foundation_, viết tắt **FSF**) là một tổ chức phi lợi nhuận do Richard Stallman thành lập ngày 4 tháng
phải|Một tam giác nhúng trên mặt yên ngựa (mặt [[hyperbolic paraboloid), cũng như hai đường thẳng _song song_ trên nó.]] **Hình học vi phân** là một nhánh của toán học sử dụng các công cụ
Có 5 mức chỉnh nhiệt: từ 140-160-180-200 - 220 độ Tự nóng sau 30 giây Mặt làm bằng gốmceramic chống bám,độ bền cao Công suất: 25W - 35W Dây nguồn dài tiện lợi cho việc
phải|nhỏ|Vivian Malone, [[sinh viên đại học người Mỹ gốc Phi vào Đại học Alabama ở Mỹ để đăng ký lớp học với tư cách là một trong những sinh viên không da trắng đầu tiên
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.
**Phân loại theo ngoại hình** là cố gắng để phân loại các sinh vật dựa vào sự tương đồng tổng thể, chủ yếu là các đặc điểm ngoại hình trong hình thái học hay các
**Ủy ban Chứng khoán Nhà nước** (tên giao dịch tiếng Anh: _State Securities Commission of Vietnam_) là cơ quan trực thuộc Bộ Tài chính Việt Nam, thực hiện chức năng tham mưu, giúp Bộ trưởng
Trong logic và toán học, phép **chứng minh bằng mâu thuẫn** là một dạng bằng chứng xác lập sự thật hoặc tính hợp lệ của một mệnh đề, bằng cách chỉ ra rằng giả sử
**Ngân hàng thương mại cổ phần Kỹ Thương Việt Nam** (hay còn được gọi là **Techcombank**; mã giao dịch: TCB) là một ngân hàng thương mại cổ phần của Việt Nam, được thành lập năm
[[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ỏ|218x218px|3 + 2 = 5 quả [[táo, một ví dụ phổ biến trong sách giáo khoa]] **Phép cộng** (tiếng Anh: **Addition**) thường được biểu thị bằng ký hiệu cộng "+" là một trong bốn phép
**Hệ nhị phân** (hay **hệ đếm cơ số hai** hoặc ** mã nhị phân**) là một hệ đếm dùng hai ký tự để biểu đạt một giá trị số, bằng tổng số các lũy thừa
Thăm dò **Địa chấn phản xạ** (Seismic Reflection), là một phương pháp của _địa vật lý thăm dò_, phát sóng đàn hồi vào môi trường và bố trí thu trên mặt các _sóng phản xạ_
nhỏ|phải|"Chữ _c_ đảo ngược trong vòng tròn" là biểu tượng copyleft. Nó là hình ảnh phản chiếu của [[biểu tượng bản quyền. Không giống như biểu tượng bản quyền, biểu tượng này không có ý
**Kiểm thử phần mềm** (tiếng Anh: **Software testing**) là một cuộc kiểm tra được tiến hành để cung cấp cho các bên liên quan thông tin về chất lượng của sản phẩm hoặc dịch vụ
**Hệ bát phân** hay còn gọi là hệ cơ số 8 (_Octal Number System_). Hệ bát phân gồm: 0, 1, 2, 3, 4, 5, 6, 7. Giá trị gia tăng là các lũy thừa của
**Phần mềm xử lý bảng tính** hay **Bảng tính** (tiếng Anh**: Spreadsheet**) là một phần mềm ứng dụng dùng để tổ chức, phân tích và lưu trữ dữ liệu thông qua các bảng tính (gọi
**Wine** là một lớp tương thích tự do nguồn mở dùng để chạy các phần mềm viết cho Windows trên các hệ điều hành tương tự Unix (Linux, FreeBSD,...). Wine cũng cung cấp một thư
Trong toán học và trong khoa học điện toán, **hệ thập lục phân** (hay **hệ đếm cơ số 16**, tiếng Anh: _hexadecimal_), hoặc chỉ đơn thuần gọi là thập lục, là một hệ đếm có
Trong khoa học máy tính, **tìm kiếm nhị phân** (), còn gọi là **tìm kiếm nửa khoảng** (_half-interval search_), **tìm kiếm logarit** (_logarithmic search_), hay **chặt nhị phân** (_binary chop_), là một thuật toán tìm
thumb|Một cái bánh với bánh bị mất. Phần còn lại là . **Phân số** là sự biểu diễn số hữu tỷ dưới dạng tỷ lệ của hai số nguyên, trong đó số ở trên
nhỏ|phải|Minh họa phép chiếu lập thể 3 chiều từ cực bắc đến mặt phẳng dưới khối cầu Trong hình học, **phép chiếu lập thể ** hay **phép chiếu nổi** là một phép ánh xạ chiếu