Post by Evgeny on May 26, 2022 9:52:46 GMT 4
დაამტკიცეთ დელოგას გამოყვანის წესებით ქვემოთ მოცემული გამომდინარეობა:
\[\neg (A\to B)\vdash (A\wedge \neg B)\]
(დელოგას 15 გამოყვანის წესი მასალის ბოლო გვერდზეა ერთად მოცემული)
\[\neg (A\to B)\vdash (A\wedge \neg B)\]
(დელოგას 15 გამოყვანის წესი მასალის ბოლო გვერდზეა ერთად მოცემული)
