Logic textbook shade

Comments

  • “I'm surprised. Those clothes… but, aren't you…?”
    *sizzling noises*
  • costa rica is currently solvent and i think nicaragua is too but i haven't observed whether their economic fates are fully correlated
  • My dreams exceed my real life
    Well these aren't about the content of the questions so much as translating them into formal logical notation
  • My dreams exceed my real life
    The truth value of them is actually irrelevant to doing that
  • Odradek said:

    Well these aren't about the content of the questions so much as translating them into formal logical notation

    Yeah, I know.  I was just curious whether that was actually true, though it almost certainly isn't if we consider "if and only if" to require 100% correlation with no acceptable error value.  An acceptable error value of "within one year", maybe, though I think Costa Rica does tend to pride itself on being more politically stable than its neighbors, even though it has indeed at some point defaulted on its debts many decades ago.

    Anyway yeah I know it's not about the truth value but the topic just happened to be something I'm vaguely familiar with and so I thought about it for trivia's sake.
  • My dreams exceed my real life
    Sure
  • kill living beings
    P(Deleuze)⇔¬P(Quine)

    all those other ones seem far more annoying to write out
  • Did I do it right?

    27. ( J ⇒ ¬M ) ⇒ ( ¬H ⇒ ¬( B ∧ N )) (I'm interpreting 'x only on the assumption of y' as ¬x ⇒ ¬y)

    28. (( A ∧ B ) ∨ ( C ∧ D )) ⇒ ¬(( E ∧ F ) ∨ ( G ∧ H ))

    29. D ⇔ ¬Q

    30. ( N ⇔ C ) ⇒ ( B ⇒ A ) (I'm interpreting 'x exactly on the condition of y' as ¬y ⇒ ¬x)
  • kill living beings
    x exactly on the condition of why seems more like biconditionall to me
  • x exactly on the condition of why seems more like biconditionall to me

    agreed (aside from the misspelling)
  • edited 2017-02-20 19:12:09
    Transient.
    I guess that makes sense. Though reading it again even under my interpretation that should be ( B ⇒ ¬A ) instead.
Sign In or Register to comment.