# Formalization Exercise

Logic I exercise: Formalize “Every day each of us says the dumbest thing we are going to say that day.” Is it logically true?

## 5 thoughts on “Formalization Exercise”

1. Anonymous says:

Since it implies that there is a maximally dumb thing we are going to say on any given day, it’s not logically true.

2. Anonymous says:

Perhaps we need a limit assumption?

3. David Auerbach says:

Well, we need that I’ll say at least one thing and that thing has an entry on the dumb scale. (If all I say on Tuesday is “ouch”,…) So hardly logically true. Of course, in my case, it is in fact true that for anything thing I said, I said an even dumber thing. And, I said at least one thing. Very talkative, I.

4. Anonymous says:

For all d,x,z,y there exists z'[ {NOT(x)-said-(z)-onday-(d)} OR {(x)-said-(z’)-onday-(d) AND (z’)-dumber-(z)} AND {(NOT(x)-said-(y)-onday-(d)) OR (NOT(x)-said-(z’)-onday-(d) AND (y)-dumber-(z’))}]Would that be right? Regardless, the first Anonymous got it right without formalisation. An existence-claim can never be logically true in PL.

5. Anonymous says:

“An existence-claim can never be logically true in PL.”Not so. (Ex) x = x is logically true.Revise that to: no interesting existence claim is logically true in predicate logic.