|
|
Post by Evgeny on May 26, 2022 9:58:23 GMT 4
| დესტრუქციული დილემა (DD); | კონტრაპოზიციის წესი (CL); | გადატანის წესი (LE). | | \[X\to U\]\[Y\to V\]\[\neg U\vee \neg V\]\[-----\]\[\neg X\vee \neg Y\] | \[X\to Y\]\[======\]\[\neg Y\to \neg X\] | \[X\to(Y\to Z)\]\[========\]\[(X\wedge Y)\to Z\] |
დაამტკიცეთ სამივე ეს წესი დანარჩენი წესების გამოყენებით. დელოგას 15 გამოყვანის წესი მასალის ბლო გვერდზეა ერთად მოცემული) |
|
aleksandretchagalidz
სრული წევრი
Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk.
Posts: 131
|
Post by aleksandretchagalidz on May 28, 2022 16:13:38 GMT 4
DD:
1. $X\rightarrow A$ წ
2. $Y\rightarrow B$ წ
3. $A \lor B$ წ
4. $\lnot A \rightarrow \lnot X$ LC:1
5. $\lnot B \rightarrow \lnot Y$ LC:2
6. $ \lnot X \lor \lnot Y $ CD:4,5,3
|
|
aleksandretchagalidz
სრული წევრი
Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk.
Posts: 131
|
Post by aleksandretchagalidz on May 28, 2022 16:17:23 GMT 4
LC:
1)
1. $X \rightarrow Y$ წ
2. $\lnot X \lor Y$ LI:1
3. $ Y \lor \lnot X$ CL:2
4. $ \lnot \lnot Y \lor \lnot X$ DN:3
5. $ \lnot Y \rightarrow \lnot X$ LI:4
2)
შებრუნებულად უნდა მივყვეთ, ამის უფლება გვაქვს იმის გათვალისწინებით, რომ LI, CL,DN ორმხრივი წესებია.
|
|
aleksandretchagalidz
სრული წევრი
Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk.
Posts: 131
|
Post by aleksandretchagalidz on May 28, 2022 16:22:02 GMT 4
LE:
1)
1. $X\rightarrow (Y\rightarrow Z)$ წ.
2. $\lnot X \lor (Y\rightarrow Z)$ LI:1
3. $\lnot X \lor (\lnot Y \lor Z)$ LI:2
4. $(\lnot X \lor \lnot Y) \lor Z $ DL:3
5. $\lnot(X \land Y) \lor Z$ DM:4
6. $ (X \land Y) \rightarrow Z$ LI:5
2)ორმხრივობა როგორც უკვე ვთქვი შეიძლება შებრუნებულად დავამტკიცოთ, გამოყენებული $LI, DM$ წესები ორმხრივია...
|
|
