Professional Documents
Culture Documents
Ulaw - PĐ PH C 2022 - SV
Ulaw - PĐ PH C 2022 - SV
8/5/2022
2.2.1. Phán đoán điều kiện (phép kéo theo)
2.2.1.1. Thế nào là phán đoán điều kiện (→)
➢ P, Q
➢Hễ P thì Q
➢ P là Q
➢ Có Q khi có P
➢ Q trừ phi không P,…
Bài tập: Mô hình hóa các phán đoán sau:
A B A→B
Đ Đ Đ
S S Đ
Đ S S
S Đ Đ
8/5/2022
Tam đoạn luận điều kiện
a → b
a
Do đó, b
a → b
~b
Do đó, ~ a
8/5/2022
(1) Lượng sắt trong cơ thể chúng ta là rất ít, hầu
như không đáng kể nhưng lượng sắt đó hoàn
toàn không thể thiếu để duy trì sự sống của
con người
Cần?
Đủ? (2) Có thực mới vực được đạo.
(3) Hưng đạo vương Trần Quốc Tuấn: Chim Hồng
hạc bay được cao và xa là nhờ 6 cái trụ lông
cánh, nếu không khác gì chim thường. Yết
Kiêu, Dã Tượng là cánh chim hồng hạc của
ta”.
8/5/2022
2.2.2. Phán đoán lựa chọn
2.2.2.1. Thế nào là phán đoán lựa chọn
Pháp luật có tính giai cấp và Triết học cũng có tính giai cấp
P ^ Q
Phán đoán liên kết là phán đoán được tạo thành bởi các
phán đoán đơn nhờ liên từ logic “và”.
Bảng giá trị logic (PĐ liên kết)
A B A^ B
Đ Đ Đ
S S S
Đ S S
S Đ S
8/5/2022
2.2.3. Phán đoán tương đương (phép hằng đẳng)
Hai phán đoán được coi là tương đương nhau khi có cùng
một giá trị logic (Cùng đúng hoặc cùng sai)
Ví dụ:
Pháp luật mang tính giai cấp
= Pháp luật là hệ thống các quy tắc xử sự mang tính bắt
buộc chung.
= Luật sư phải tốt nghiệp đại học ngành Luật.
2.3. Một số cách diễn đạt phán đoán liên kết ở ngôn
ngữ tự nhiên
➢ a và b
➢ Vừa a vừa b
➢ Không những a mà còn b
➢ a lẫn b
➢Mặc dù a, b.
➢ Tuy a nhưng b
➢ Vừa là a vừa là b
Bảng giá trị logic (PĐ tương đương)
A B A= B
Đ Đ Đ
S S Đ
Đ S S
S Đ S
8/5/2022
2.2.3. Phán đoán phủ định
B1: Chuyển SL thành câu logic & Xác định số PĐ đơn.
B2: Xác định số dòng của bảng chân trị bằng công thức 2n. (n bằng
số phán đoán đơn trong suy luận). Số cột bằng số dấu logic &số lần
xuất hiện của các PĐ đơn.
B3: Ở PĐ đơn thứ nhất, chia số dòng thành hai phần bằng nhau,
phần trên điền giá trị Đ, phần dưới điền giá trị S. Phán đoán đơn thứ
2 chia đôi số dòng đã phân chia của phán đoán đơn thứ nhất và điền
tương tự,…
B4: Tính giá trị của các ô còn lại. Lưu ý: phép tính trong ngoặc đơn
trong cùng làm trước. Cột giá trị cuối cùng là cột đại diện.
B5: Nếu mọi dòng đúng, SL là quy luật logic (SL đúng) và ngược
lại. Có bất8/5/2022
kỳ dòng nào sai, SL không là quy luật logic (SL sai).
Bài tập
(1) Hãy chứng minh các công thức được nêu ra ở mục
2.2.4 phía trên.
8/5/2022
Bài tập
8/5/2022
(3) Cô gái suy luận đúng hay sai?