1.

Give the negation of (?x?D,?y?E such that P(x, y))

Now Give the

negation of (?x? D such that?y? E, P(x, y))

2.

i) First translate “There is a musical

instrument that all IST majors play” into semiformal mathematical terms * with symbolic quantifiers and predicate*, then ii) give its semiformal NEGATION

variables

3.

i) First translate “All IST

majors enjoy some kind of music” into semiformal terms * with symbolic quantifiers and predicate variables*, then ii)

give its semiformal NEGATION

*Prove or Disprove the following conjectures. Make sure
to show and clearly identify all steps and give justifications for each step:*

4.

Prove or Disprove: ? integers m and n, if m and n

are both even, then 2m – n is even

5.

Prove or Disprove: ? integers m and n, if m and n

are both odd, then m – n is even

6.

Prove or Disprove: ? integers m and n, if m and n are both odd,

then m – n is odd

7.

Give a step-by-step description

of how you would troubleshoot the following scenario using the Troubleshooting

Methodology (based on Abductive Reasoning) given in the online *Course Content* and the handout in the *Lesson 4* folder. The goal of the this

problem is to demonstrate your mastery of ABDUCTIVE TROUBLESHOOTING to the

instructor (not to show off your knowledge of backup technologies and

processes).

**Scenario**: You are writing a book but you will be changing locations

frequently during the next month. Your publisher has given you a small

notebook, a portable USB external hard drive, and a well-regarded backup

program. You configure the backup to run every night, and every morning you

check to make sure the backup files are on the external hard drive. Everything

works fine for the first three days; however, on the fourth morning, you find

that the backup didn’t work.

Using YOUR CHOICE OF

JUST THREE POSSIBLE CAUSES OF THE PROBLEM, apply the Troubleshooting Procedure

given in the Online *Course Content*

(don’t just make up your own methodology or follow the textbook; for full

credit you *must* follow the Online *Course Content*). YOU GET TO PICK WHICH

OF THE THREE POSSIBLE CAUSES IS THE “ACTUAL” CAUSE. You *don’t* have to provide complete, excruciating details for the whole

process, but you *do* have to

demonstrate mastery of the Abductive Troubleshooting Methodology you should

have learned (so make sure to clearly label each step of the process). If you

are uncertain how to proceed, err on the side of more clarity and less baloney

(you’re pursuing a B.S. degree in IST, not a B.S. in B.S.). Your grade will be

determined by your knowledge of Abductive troubleshooting, not backup

technologies.