Discrete Logic: Consider the following statements. Write a logical argument that

Question

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.

Explanation / Answer

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.

Related Questions

Navigate

• Browse (All)
• Browse D
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.