# Disc Math Logic statements (Homework check)

1. Sep 8, 2013

### Miike012

My solution
d. $\forallx$$\existsy$(F(x)^S(y) → $\negA(y,x)$)
e. $\existsx$$\forally$(F(x)^S(y) → $\negA(y,x)$)
f.$\existsx$$\forally$(S(x)^F(y) → A(x,y))

File size:
19.3 KB
Views:
76
2. Sep 8, 2013

### pasmith

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.

Have something to add?
Draft saved Draft deleted

Similar Threads - Disc Math Logic Date
Prove that 0.999... = 1 is a contradiction Feb 11, 2018
Who lags behind whom? Feb 5, 2018
How to solve this addition? Jan 7, 2018
Disc Math. (Impossible to answer?) Nov 16, 2013
Uniform distribution of a disc Oct 27, 2010