1.

Biến đổi biểu thức

[ (a->b) ^ 7b ]->7a với a->b = 7(a^7b)
a->b = 7(a^7b) ⇔ 7(a->b) = a^7b
Ta có: [ (a->b) ^ 7b ]->7a
= 7{ [ (a->b) ^ 7b] ^ a }
= 7[ (a->b) ^ a ^ 7b ]
= 7{ [ (a->b) ^ 7(a->b) ] }
= 7 (0)
=1
Vậy [ (a->b) ^ 7b ]->7a = 1
2. Suy luận
Suy luận (còn gọi là suy diễn logic) là hình thức của tư duy, trong đó từ một số tri thức đã có
rút ra tri thức mới.
3. 5 phép suy luận
- Phép đổi chỗ:
● Chất của kết luân được giữ nguyên như chất của tiền đề.
● Đổi vị trí của chủ từ (S) ở tiền đề thành vị từ ở kết luân và vị từ (P) ở tiền đề thành chủ từ
ở kết luân.
● Còn lượng từ sẽ thay đổi từ tiền đề xuống kết luân theo quy tắc: thuật ngữ không chu
diên ở tiền đề, thì cũng không được phép chu diên ở kết luận.
- Phép đổi chất:
● Giữ nguyên:
+ Lượng của phán đoán tiền đề,
+ Vị trí chủ từ và vị từ.
- Phép đối lập vị từ: đổi chất kết hợp đổi chỗ
- Phép đối lập chủ từ: đổi chỗ kết hợp đổi chất
- Suy luận theo hình vuông logic:
+ Dựa vào quan hệ đối chọi
+ Dựa vào quan hệ mâu thuẫn
+ Dựa vào quan hệ phụ thuộc