Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Logic and Proof Techniques, Summaries of Commercial Law

An overview of logic and proof techniques, focusing on the use of logical rules and inference patterns to establish the validity of arguments. It includes examples and exercises to help students practice applying these techniques to various types of statements and arguments.

Typology: Summaries

2022/2023

Uploaded on 04/01/2024

nguyen-h-m-nguyen
nguyen-h-m-nguyen 🇺🇸

1 document

1 / 7

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Bui 02 – Ngày 27-02-2024 – môn Cấu trúc rời rạc – lp MA004.O22
V# d% m&u: D)ng c*c lu+t logic đ. ch0ng minh r1ng bi.u th0c sau là h1ng đúng
Gi6i:
Bi.u th0c Quy lu+t logic
ti8n đ8
lu+t k:o theo
lu+t giao ho*n
lu+t phân b=
lu+t v8 ph?n t@ b)
lu+t trung hAa
lu+t k:o theo
lu+t DeMorgan, lu+t phC đDnh cCa pđ
lu+t kEt hFp
lu+t kEt hFp
lu+t v8 ph?n t@ b)
lu+t th=ng trD
lu+t th=ng trD.
Như v+y, bi.u th0c đH cho là h1ng đúng (đpcm).
Lưu :
Khi ch0ng minh h1ng đúng hoLc h1ng sai, ta cM th. gLp c*c trường hFp sau:
lu+t lNy đOng/ lu+t trung hAa
lu+t lNy đOng/ lu+t th=ng trD
đLt
Bi.u th0c đH cho tương đương lu+t k:o theo
lu+t v8 ph?n t@ b)
HoLc là trường hFp bi.u th0c
lu+t tương đương
lu+t lNy đOng
lu+t k:o theo
lu+t v8 ph?n t@ b)
Bi tp tương t:
1/ Làm bài 12 trang 2 (file bài t+p CTRR-UIT.pdf).
2/ D)ng c*c lu+t logic đ. ch0ng minh r1ng bi.u th0c sau là h1ng đúng
a/
pf3
pf4
pf5

Partial preview of the text

Download Logic and Proof Techniques and more Summaries Commercial Law in PDF only on Docsity!

Buổi 02 – Ngày 27-02-2024 – môn Cấu trúc rời rạc – lớp MA004.O Ví dụ mẫu : Dùng các luật logic để chứng minh rằng biểu thức sau l à hằng đ úng Giải : Biểu thức Quy luật logic tiền đề luật kéo theo luật giao hoán luật phân bố luật về phần tử bù luật trung hòa luật kéo theo luật DeMorgan, luật phủ định của pđ luật kết hợp luật kết hợp luật về phần tử bù luật thống trị luật thống trị. Như vậy, biểu thức đã cho l à hằng đ úng (đpcm). Lưu ý : Khi chứng minh hằng đ úng hoặc hằng sai, ta có thể gặp các trư ờng hợp sau: luật lũy đẳng/ luật trung hòa luật lũy đẳng/ luật thống trị đặt Biểu thức đã cho tương đương luật kéo theo luật về phần tử bù Hoặc l à trường hợp biểu thức luật tương đương luật lũy đẳng luật kéo theo luật về phần tử bù Bài tập tương tự : 1/ Làm bài 12 trang 2 (file bài tập CTRR-UIT.pdf). 2/ Dùng các luật logic để chứng minh rằng biểu thức sau l à hằng đ úng a/

b/ c/ d/ e/ f/ g/ h/ i/ j/ k/ l/

  • QUY TẮC SUY DIỄN Trong quá trình chứng minh một biểu thức, hay chứng tỏ một mệnh đề l à hằng đ úng hoặc hằng sai, ta có thể dùng nhiều cách lập luận khác nhau. Ở đây ta xét những lập luận có d ạng: Nếu có , có , có , và có … Thì có Ta gọi đây l à dạng lập luận đ úng (hay là dạng chứng minh hợp lệ), nếu ta chứng tỏ được rằng biểu thức sau l à hằng đ úng Khi đó, ta gọi đây l à một quy tắc suy diễn. Như vậy, quy tắc suy diễn l à một hằng đ úng, dưới dạng phép kéo theo. Các cách biểu diễn của quy tắc suy diễn : Cách 1 : Dùng biểu thức hằng đ úng Cách 2 : Dùng dòng suy diễn Cách 3 : Dùng mô hình suy diễn (phổ biến nh ất)

Hay dưới d ạng mô hình f/ Phép chứng minh theo trường hợp : được thể hiện bởi hằng đ úng Hay dưới d ạng mô hình g/ Phép đơn giản nối liền : được thể hiện bởi 1 trong các hằng đ úng sau: (TH1) hay (TH2) hay (TH3) hay (TH4) Hay dưới d ạng mô hình hay hay hay (TH1) (TH2) (TH3) (TH4) Ví dụ mẫu 2 : Dùng các luật logic, các quy tắc suy diễn để kiểm tra tính đ úng đắn của mô hình suy diễn sau: Giải : Biểu thức Quy tắc suy diễn Ta có (1) tiền đề Nên phép đơn giản nối liền

Mà tiền đề Nên (2) pp khẳng định Từ (1) phép đơn giản nối liền Ngoài ra tiền đề Nên phép tam đo ạn luận r ời Hay (3) phủ định của phủ định Từ (2),(3): Hay luật DeMorgan Ngoài ra tiền đề Nên phương pháp phủ định Hay luật DeMorgan, luật pđ của pđịnh Hay phép đơn giản nối liền Hay phép đơn giản nối liền Hay luật kéo theo Vậy mô hình suy diễn l à đúng. Bài tập tương tự : 1/ Làm bài 19 trang 4-5 (file Bài tập CTRR-UIT.pdf). 2/ Dùng các luật logic, luật suy diễn để kiểm tra tính đ úng đắn của suy luận sau: a/ b/ c/ d/ e/

  • VỊ TỪ VÀ LƯỢNG TỪ :

1/ Ta có 2/ Ta có d ạng lượng từ hóa của vị từ theo 2 biến là: Ví dụ mẫu 1 : Viết d ạng phủ định cho biểu thức sao cho thỏa Ví dụ mẫu 2 : Cho biết chân trị của mệnh đề sau v à viết d ạng phủ định cho mệnh đề Giải : Ví dụ mẫu 1 : Ta có d ạng phủ định của biểu thức l à: sao cho thỏa (ta dùng tính ch ất ) (nếu xét phủ định của luật tương đương, ta xét: ) Ví dụ mẫu 2 : Ta chứng tỏ đây l à mệnh đề đ úng, như sau: Cách 1 : , ta chọn thì (đây là mệnh đề đ úng) , ta chọn thì (đây là mệnh đề đ úng) Vậy biểu thức đã cho l à đúng. Cách 2 : , ta chọn thì nên mệnh đề luôn đ úng. Vậy biểu thức đã cho l à đúng. Ta có d ạng phủ định của biểu thức l à: