Predicate Logic and Popular Culture (Part 197): Frank Sinatra

Let be the proposition “I’ve been up,” let be the proposition “I’ve been down,” let be the proposition “I’ve been over,” and let be the proposition “I’ve been out.” Translate the logical statement . This matches a quote from “That’s Life” by Frank Sinatra. Context: Part of the discrete mathematics course includes an introduction to […]

from Mean Green Math