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 thức sử dụng ký hiệu hình thức và các phép toán đại số cùng với các nguyên tắc nhất định về giá trị chân lý để nhằm xác định tính đúng đắn của các lập luận.
Mục lục nội dung
Từ tam đoạn luận đến logic hình thức[sửa|sửa mã nguồn]
Lý luận diễn dịch ( Deductive reasoning )[sửa|sửa mã nguồn]
Logic là khoa học về lý luận đúng đắn. Theo Từ điển Webster, lý luận là “rút ra những luận giải hay kết luận từ các thực tế cho trước hay đã biết”.
Lý luận diễn dịch và những cấu trúc của phép logic là một khoa học được nghiên cứu và điều tra từ hàng ngàn năm trước. Một trong những nhà logic học tiên phong và nổi tiếng nhất là nhà khoa học người Hy Lạp Aristotle ( 384 – 322 TCN. ). Ông là học trò của nhà triết học Plato và là thầy dạy của Alexander Đại đế. Triết học của Aristotle có tầm ảnh hưởng tác động rất sâu rộng trong triết học Phương Tây. Nó tác động ảnh hưởng từ thần học Công giáo La Mã cho tới triết học Phương Tây tân tiến. Trong hàng thế kỷ, phép logic của Aristotle nằm trong chương trình học của những luật sư và chính trị gia Phương Tây ; nó được dùng để phân biệt giữa lập luận đúng với lập luận sai .
Theo quan điểm của Aristotle, logic là công cụ cần thiết để tra vấn, và ông đã xây dựng phép Tam đoạn luận. Tam đoạn luận là một lập luận bao gồm 2 mệnh đề được gọi là tiền đề (bao gồm đại tiền đề và tiểu tiền đề), và một kết luận là kết quả của tiền đề. Cho một tập hợp các tiền đề, nếu kết luận của lập luận là chắc chắn (nghĩa là đi tới một kết luận trong mọi trường hợp), lập luận được xem là đúng (có hiệu lực). Ngược lại nếu có một trường hợp mà kết luận không thể đạt được, lập luận là sai (không hiệu lực).
Bạn đang đọc: Logic hình thức – Wikipedia tiếng Việt
Một trong những ví dụ tầm cỡ về phép tam đoạn luận của Aristotle như sau :
- Mọi người đều chết. (đại tiền đề)
- Socrates là người. (tiểu tiền đề)
Do đó, Socrate cũng chết. ( Kết luận )
Phép lý luận diễn dịch này còn được gọi là modus ponens.
Lưu ý rằng, một lập luận đúng ( có hiệu lực hiện hành ) không nghĩa là một Kết luận là đúng thực sự. Một lập luận là đúng nếu Tóm lại là hiển nhiên trên cơ sở những tiền đề đã cho. Khi đề cập đến tính đúng của lập luận người ta đã không đề cập tới tính chân lý của tiền đề. Như vậy khi xem xét tới tính đúng của lập luận người ta đã không xem xét Kết luận là đúng hay sai. Nói một lập luận là đúng chỉ có nghĩa là trên cơ sở những tiền đề đã cho, lý luận để đưa tới Tóm lại là hợp logic. Tuy nhiên, nếu tiền đề của một lập luận có hiệu lực hiện hành là đúng thì Kết luận của nó sẽ đúng .
Khái niệm logic hình thức[sửa|sửa mã nguồn]
Là hình thức môn học điều tra và nghiên cứu những quy luật và hình thức cấu trúc đúng mực của tư duy, nhằm mục đích đi tới hình thức đúng đắn hiện thực khách quan .
Tất cả những suy luận logic đều dựa trên mệnh đề. Mệnh đề là một phát biểu hoàn toàn có thể đúng hoặc sai .
Trong những câu sau :
- Công ty Apple sản xuất máy tính,
- Công ty Apple sản xuất máy tính tốt nhất thế giới,
- Bạn có mua máy tính IBM không?
- Máy tính giá 20 triệu giảm giá 25% sẽ còn 10 triệu,
- Tôi đang nói dối,
thì tương ứng với những trường hợp sau :
- Câu “Công ty Apple sản xuất máy tính” là sự thật. Do đó, nó là mệnh đề.
- Câu “Công ty Apple sản xuất máy tính tốt nhất thế giới” là ý kiến. Nó có thể đúng hay sai tùy theo đối tượng. Do đó nó không là mệnh đề.
- Câu “Bạn có mua máy tính IBM không” chỉ là một câu hỏi. Nó không thể đúng hay sai, do đó nó không là mệnh đề.
- Câu “Máy tính giá 20 triệu giảm giá 25% sẽ còn 10 triệu” là sai. Do đó, nó là mệnh đề.
- Câu “Tôi đang nói dối” Đây là một phát biểu tự mâu thuẫn – nghịch lý. Nếu tuyên bố là đúng, người nói đang nói dối. Nhưng khi nói lên sự thật này, người nói tự mâu thuẫn mình là đang nói dối. Ngược lại, nếu lời tuyên bố là sai, người nói đang nói thật. Như vậy lại tự mâu thuẫn với tuyên bố. Như vậy tuyên bố không phải là mệnh đề.
Truyền thống, logic ký hiệu sử dụng chữ thường như thể ký hiệu cho mệnh đề. Các vần âm hay dùng là p, q, r, s, t .
Mệnh đề phức tạp và những link logic[sửa|sửa mã nguồn]
Trong Ví dụ trên, tính đúng sai của mệnh đề được xác lập tương đối thuận tiện. Tuy vậy, trong trong thực tiễn sống sót 1 số ít mệnh đề mà tính đúng sai của nó không thuận tiện xác lập được. Mệnh đề như thế được gọi là mệnh đề phức tạp. Một mệnh đề phức tạp là mệnh đề chứa một hay nhiều mệnh đề đơn thuần. Mệnh đề phức tạp hoàn toàn có thể tạo thành bằng cách thêm từ không vào mệnh đề đơn hay nối 2 mệnh đề đơn bằng những liên từ như và, hoặc, nếu … thì …, chỉ nếu, và nếu và chỉ nếu .
Để xem xét rằng một mệnh đề phức hợp đúng hay sai ta phải xem xét cách mà các mệnh đề được liên kết. Tùy thuộc vào cách mà các mệnh đề được liên kết, mệnh đề phức hợp có thể có dạng: phủ định, hội, tuyển, kéo theo (hoặc điều kiện).
Mệnh đề phủ định ~ p ( The Negation ~ p )[sửa|sửa mã nguồn]
Phủ định của mệnh đề được trình diễn bởi ký hiệu ~. Phủ định thường được cấu thành bằng cách thêm liên từ không. Ví dụ, với mệnh đề ” p : trời đang mưa. ” Phủ định sẽ là ” ~ p : trời không đang mưa. ” Nếu trời đang mưa, mệnh đề p là đúng và ~ p là sai. Tương tự, nếu trời không mưa, p là sai và ~ p là đúng. Mệnh đề và phủ định của nó khi nào cũng có giá trị chân lý trái ngược nhau : một mệnh đề là đúng thì mệnh đề kia phải sai. Bởi vì tính chân lý của phủ định luôn phụ thuộc vào vào chân lý của mệnh đề gốc, do đó phủ định được phân loại như mệnh đề phức tạp .
Mệnh đề hội p ∧ q[sửa|sửa mã nguồn]
Một mệnh đề hội gồm có 2 hay nhiều mệnh đề được link bằng từ và. Để màn biểu diễn liên từ và, người ta dùng ký hiệu ∧ .
Mệnh đề tuyển p ∨ q[sửa|sửa mã nguồn]
Khi những mệnh đề được link bằng từ hoặc / hay, ta có mệnh đề dạng tuyển. Mệnh đề dạng tuyển được kỳ hiệu bởi dấu ∨ .
Mệnh đề kéo theo p → q[sửa|sửa mã nguồn]
Ta xem xét mệnh đề ” Nếu trời mưa thì đường trơn “. Mệnh đề này là mệnh đề phức tạp do nó được cấu thành từ 2 mệnh đề : p = ” trời mưa ” và q = ” đường trơn ” ; mệnh đề được link bởi cụm từ ” nếu … thì … “. Các mệnh đề có dạng này được gọi là mệnh đề kéo theo ( hoặc mệnh đề điều kiện kèm theo ). p được gọi là giả thiết ( hay tiền đề ) của phép kéo theo, q được gọi là Kết luận của phép kéo theo. Mệnh đề kéo theo được ký hiệu như sau : p → q .
Bảng giá trị chân lý ( Truth tables )[sửa|sửa mã nguồn]
Giá trị chân lý của một mệnh đề là một phân loại mệnh đề đúng hoặc sai, ký hiệu bằng T ( đúng ) hoặc F ( sai ). Để thuận tiện cho việc xác lập một mệnh đề phức tạp là đúng hoặc sai, người ta thường dùng bảng giá trị chân lý. Bảng giá trị chân lý liệt kê toàn bộ những tổng hợp hoàn toàn có thể có của từng mệnh đề đơn cùng với giá trị chân lý của chúng cũng như của mệnh đề phức tạp. Sử dụng bảng giá trị chân lý ta hoàn toàn có thể xác lập được lập luận đúng hay sai .
Giá trị chân lý của mệnh đề phủ định[sửa|sửa mã nguồn]
Mệnh đề phủ định là phát biểu phủ nhận hoặc ngược lại với mệnh đề bắt đầu. Do đó, nếu mệnh đề p là đúng thì phủ định ~ p là sai. Ngược nếu p sai thì ~ p là đúng. Ta có bảng giá trị chân lý cho mệnh đề phủ định ~ p như sau :
| p | ~p |
|---|---|
| T | F |
| F | T |
Giá trị chân lý của mệnh đề hội[sửa|sửa mã nguồn]
Phép hội liên kết hai mệnh đề bằng từ ” và ” .Để mệnh đề hội p ∧ q đúng, những mệnh đề p và q phải đúng. Do p và q có 2 năng lực giá trị chân lý ( T hay F ) do đó bảng giá trị chân lý có 4 hàng với chỉ duy nhất 1 hàng có p và q cùng đúng thì mới cho mệnh đề hội đúng .
| p | q | p ∧ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
Giá trị chân lý của mệnh đề tuyển[sửa|sửa mã nguồn]
Phép tuyển phối hợp hai mệnh đề bằng từ ” hay / hoặc “. Để mệnh đề tuyển là đúng thì có tối thiểu mệnh đề cấu thành phải đúng. Mệnh đề tuyển chỉ sai khi cả hai mệnh đề cấu thành đều sai .
| p | q | p ∨ q |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
Giá trị chân lý của mệnh đề kéo theo[sửa|sửa mã nguồn]
Mệnh đề kéo theo p → q là sai chỉ xảy ra khi mệnh đề p đúng và mệnh đề q sai .
| p | q | p → q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
Biểu thức tương tự ( Equivalent expressions )[sửa|sửa mã nguồn]
Hai biểu thức tương đương là hai biểu thức ký tự có các giá trị chân lý trùng nhau trong mọi trường hợp. Ta dùng ký hiệu p ≡ q để biểu đạt 2 biểu thức tương đương và được đọc là “p tương đương với q” hoặc “p và q tương đương”. Vậy, (p ≡ q) có nghĩa là, p và q luôn có cùng một giá trị chân lý. Ta xem xét mệnh đề sau:
- “Không phải là chiếc xe không mới”
Mệnh đề phức tạp trên được tạo thành từ mệnh đề p : ” chiếc xe mới “. Ta thiết kế xây dựng bảng giá trị chân lý cho biểu thức ~ ( ~ p ) và so sánh giá trị của nó với giá trị khởi đầu p. Vì chỉ có 1 ký tự nên ta cần 21 = 2 hàng. Ta thấy rằng trong mọi trường hợp p và ~ ( ~ p ) có cùng giá trị chân lý .
| p | ~ p | ~(~ p) |
|---|---|---|
| T | F | T |
| F | T | F |
Vậy, p ≡ ~ ( ~ p )
- Aristoteles: Lehre vom Schlusz oder erste Analytik. 3. Auflage. Meiner, Hamburg 1922, ISBN 3-7873-1092-4
- Donald W Barnes, John M. Mack: An Algebraic Introduction to Mathematical Logic. Springer, Berlin 1975, ISBN 3-540-90109-4.
- Johnson/Mowry: “Mathematics: a Practical Odyssey”; Nhà xuất bản Thomson 2004 (in lần thứ năm).
Source: https://blogchiase247.net
Category: Hỏi Đáp
