04:59
1

I am studying Predicate Logic now.
Could you please help me how to translate a sentence into predicate logic?
How can I translate the following sentence into predicate logic?
"No student read exactly one book."
My translation is...
∃x(student(x)∧read(x, x1)∧book(x1)∧book(y)∧¬(x1=y))
I've alre...
0

I am trying to translate the following FOL Tarski's World Block language to English sentence, and some of the sentences seems quite complicated. I will really appreciate it if anyone can help verify that my attempted solutions are correct.
Question 1: $\exists x [Dodec(x) \wedge \neg \exists y (...
« first day (2114 days earlier) ← previous day next day → last day (2513 days later) »