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