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