5.1a

Araucaria Posting

For this posting, let's just take our first example of a derivation, a deduction with a sequence of conclusions, and put it into our old Araucaria form. As described in the beginning of the tutorial, this argument takes two of our familiar forms and puts them together. This can be represented like any complex argument of the type described in 1.4.

So, take the scheme set from 1.1: that's 1_1.scm (or you can use 2_1.scm just as well) to label the complex argument that results from putting these two inferences together. Note that you'll use two different valid argument forms from 1.1 to label the two separate inferences all on one tree. (If you don't get the idea at first, think about it, discuss it in your group, ask about in under W4 problems, or just call me!

If he's to get an 'A', he must turn in informal proofs.

__But he doesn't turn in the informal proofs.__

So, he won't get an 'A'.

Chris will get either an 'A' or a 'B'.

__We just concluded that he won't get an 'A'.__

So, we can further conclude, he *will* get a 'B'.

So, for postings:

**Make sure you have**5_1.txt on your desktop, (otherwiseand save onto your desktop).*right click*

**Start**Araucaria. Open our new text file 5_1 from this familiar button: and click the desktop button from the Save Text Files dialog box.**Select**5_1.txt.

**Open**the 1_1.scm (or 2_1.scm) as you have in the past, from here:

and find it on your desktop.- Now, just
**diagram**the two arguments together, much as we did before with the Chocolate-is-good-for-you argument back in 1.4. Label the two inferences with the two named forms (from MP, MT, and DS),**save**as a .jpg, and post.

Your end result will look a little like this:

But will the premises be related to the conclusion independently? or collaboratively (as pictued)? See 1.4 for hints.