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