1

Here are four sentences:

  1. If Jessy moves his truck, Irene will play her guitar
  2. Irene will only move her car, if Jessy moves his garbage cans
  3. It is not the case, that Jessy will move his carbage cans and not move his truck
  4. If Jessy moves his garbage cans, Irene will move her car and play the guitar

Suppose:

  • t = "Jessy moves his truck"
  • g = "Irene will play her guitar"
  • c = "Irene will move her car"
  • gc = "Jessy moves his garbage cans"

I have translated the sentences as stated below:

  1. $t \rightarrow g$
  2. $gc \rightarrow c$
  3. $\neg (gc \land \neg t)$
  4. $t\rightarrow (c \land g) $

But I'm very unsure about the third sentence. Have I done this right?

Bram28
  • 100,612
  • 6
  • 70
  • 118
Attaque
  • 163

1 Answers1

1

The third one is fine, but the second one is wrong. It says ‘Irene will only move her car, if Jessy moves his garbage cans’, but your proposed translation, $gc\to c$, admits the possibility that Irene will move her car and Jessy will not move his garbage cans. I suggest you make a truth table for this sentence and try to extract the translation from the truth table.

MJD
  • 65,394
  • 39
  • 298
  • 580
  • Fine ! - It's a recurrent issue in this site; see at least this post. According to me : $A$ only if $B$ means $A→B$. Thus n°2 is : "Irene will only move her car, only if Jessy moves his garbage cans". – Mauro ALLEGRANZA Sep 23 '14 at 16:35
  • @Mauro I think we are in agreement. – MJD Sep 23 '14 at 16:50