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