- #1

- 1,009

- 0

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- #1

- 1,009

- 0

Physics news on Phys.org

- #2

Homework Helper

2022 Award

- 2,873

- 1,474

Miike012 said:My solution

d. [itex]\forall x[/itex] [itex]\exists y[/itex](F(x)^S(y) → [itex]\neg A(y,x)[/itex])

e. [itex]\exists x[/itex] [itex]\forall y[/itex](F(x)^S(y) → [itex]\neg A(y,x)[/itex])

f.[itex]\exists x[/itex] [itex]\forall y[/itex](S(x)^F(y) → A(x,y))

For d: You have "for every faculty member, there is a student who has not asked a question of that faculty member". That's not equivalent to "some student has not asked a question of any faculty member", because in the first it might not be the same student in each case. You need to swap the quantifiers.

The others appear to be correct.

Share:

- Replies
- 3

- Views
- 681

- Replies
- 10

- Views
- 2K

- Replies
- 7

- Views
- 1K

- Replies
- 3

- Views
- 1K

- Replies
- 19

- Views
- 2K

- Replies
- 8

- Views
- 404

- Replies
- 1

- Views
- 1K

- Replies
- 17

- Views
- 2K

- Replies
- 1

- Views
- 535

- Replies
- 8

- Views
- 2K