Discrete Logic Consider the following statements Write a log

Discrete Logic:

Consider the following statements. Write a logical argument that shows Steve can barter a pencil and get a car. Identify your propositional variables. Order your propositions in your argument in a chronological order, assuming Steve starts out with a pencil.

Steve has a pencil. Steve can fix a car. Becky will trade her IPod for a DVD. Bill will trade his pen for a pencil. Tom will trade a non-running car for a bike. Myrtle will trade her DVD for a pen.   Mark will trade his bike for an IPod.

Solution

All in chronological order:

Proposition 1: Steve has a pencil.

Proposition 2: Bill will trade his pen for a pencil.

Propodsition 3: Myrtle will trade her DVD for a pen.

Proposition 4: Becky will trade her IPod for a DVD.

Proposition 5: Mark will trade his bike for an IPod.

Proposition 6: Tom will trade a non-running car for a bike.

Proposition 7: Steve can fix a car.

Propositions 1 to 7, in chronological order, is a logical argument that shows Steve can barter a pencil and get a car.