Module Outcome #3: Translate prose with quantified statements to symbolic and find the negation of quantified statements. (CO #1) Module outcome #3: Translate prose with quantified statements to symbo...
Module outcome #3: Translate prose with quantified statements to symbolic negation of quantified statements. (CO #1) (a.) Negate the statement and simplify so that no quantifier or connective lies within the scope of a negation: (Bx)(y)-P(x.y) AQ(x, y)) (b.) Consider the domain of people working at field site Huppaloo, Let M(xx): x has access to mailbox y. Translate into predicate logic using quantifiers: Some worker at Huppaloo has access to some mailbox. Every worker at Huppalog has access to no mailboxes. (c.) Consider the domain of real numbers. Compare the following two statements and explain their meaning (in words). (Vx) (3y)(x > y) (By)(vx)C>y)
Module outcome #3: Translate prose with quantified statements to symbolic negation of quantified statements. (CO #1) (a.) Negate the statement and simplify so that no quantifier or connective lies within the scope of a negation: (Bx)(y)-P(x.y) AQ(x, y)) (b.) Consider the domain of people working at field site Huppaloo, Let M(xx): x has access to mailbox y. Translate into predicate logic using quantifiers: Some worker at Huppaloo has access to some mailbox. Every worker at Huppalog has access to no mailboxes. (c.) Consider the domain of real numbers. Compare the following two statements and explain their meaning (in words). (Vx) (3y)(x > y) (By)(vx)C>y)