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