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