|
|
Post by Evgeny on May 26, 2022 9:43:32 GMT 4
დაამტკიცეთ დელოგას გამოყვანის წესებით ქვემოთ მოცემული გამომდინარეობა:
\[\vdash (B\wedge C)\to (\neg A\vee C)\]
(დელოგას 15 გამოყვანის წესი მასალის ბლო გვერდზეა ერთად მოცემული)
|
|
aleksandretchagalidz
სრული წევრი
Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk.
Posts: 131
|
Post by aleksandretchagalidz on May 28, 2022 20:07:16 GMT 4
1. $C \lor \lnot C$ EM
2. $\lnot C \lor C$ CL:1
3. $(\lnot C \lor C) \lor \lnot A$ DI:2
4. $((\lnot C \lor C) \lor \lnot A) \lor \lnot B$ DI:3
5. $ \lnot B \lor (( \lnot C \lor C) \lor \lnot A )$ CL:4
6. $ \lnot B \lor ( \lnot C \lor (C \lor \lnot A ))$ AL:5
7. $ \lnot B \lor ( \lnot C \lor (\lnot A \lor C))$ CL:6
8. $ (\lnot B \lor C) \lor ( \lnot A \lor C)$ AL:7
9. $ \lnot (B \land C) \lor (\lnot A \lor C)$ DM:8
10.$ B \land C \rightarrow (\lnot A \lor C)$ LI:9
|
|
