Seeing as we've done a good deal of proofs in class, I thought writing my own for our long term essay assignment would be a piece of cake, a walk in the park, whatever cliche you'd like to insert. I of course was sorely mistaken. Solving proofs is, of course, one part of logic, but writing them is entirely different. To write a problem, you must not only translate, but decide which letters would best represent what you would prefer to translate. Your premises must be structured so that they represent properly what you want them to say, and flow well enough to lead to the conclusion. My own was hard to come by, but eventually, I got there.

1. There are three Latin-based types of keyboard setups.
2. If it is a QWERTY keyboard, then it is Latin based.
3. If a keyboard is Latin-based, then it is widely used.
4. Non-Latin-based keyboards are not widely used.

                                                                                       

     5. The QWERTY keyboard is widely used

I suppose my question is this:

Did you have as much trouble putting together premises? I found it to be rather challenging, but once I got it down, I had a fairly decent time putting it all together in standard form.