« first day (2114 days earlier)      last day (2280 days later) » 

4:59 AM
A new tag :
1
Q: Translation from English to Predicate Logic

SamI 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
Q: FOL to English translation questions.

IhavelowIQI 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)      last day (2280 days later) »