140 likes | 150 Views
Review. Questions in Assignment 1 Negation of English statementQueValidity of predicate logic(?x) [P(x) ? Q(x)] ? (?x) P(x) ? (?x) Q(x) Yes(?x) [P(x) ? Q(x)] ? (?x) P(x) ? (?x) Q(x) No. Motivation. When a software company is developing a new software, it needs to ensure the product is er
E N D