Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.5 - Nested Quantifiers - Exercises - Page 65: 10

Answer

$a) ∀xF(x, Fred)$ $b) ∀yF(Evelyn, y)$ $c) ∀x∃yF(x, y)$ $d) ¬∃x∀yF(x, y) $ $e) ∀y∃xF(x, y)$ $f) ¬∃x(F(x, Fred) ∧ F(x, Jerry))$ $g) ∃y1∃y2(F(Nancy, y1) ∧ F(Nancy, y2) ∧ y1 , = y2 ∧ ∀y(F(Nancy, y) → (y = y1 ∨ y = y2)))$ $h) ∃y(∀xF(x, y) ∧ ∀z(∀xF(x, z) → z = y)) $ $i) ¬∃xF(x, x)$ $j) ∃x∃y(x , = y ∧ F(x, y) ∧ ∀z((F(x, z) ∧ z , = x) → z = y)) $

Work Step by Step

j) We do not assume that this sentence is asserting that this person can or cannot fool her/himself.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.