Predicate Logic and Popular Culture (Part 276): Heart – Mean Green Math
Let $latex T$ be the set of all times, and let $latex G(t)$ be the statement “I got by on my own at time $latex t$." Translate the logical statement $latex \forall t \in T ( ((t<0) \longrightarrow G(t) ) \land (t \ge 0) \longrightarrow \sim G(t)),$ where time $latex 0$ is today. This matches the opening line of…