# Contemporary Approaches to Creative Thinking: A Symposium Held at the University of Colorado

By Howard E. Gruber; Glenn Terrell et al. | Go to book overview

APPENDIX

It may be helpful to the reader, in following the specific examples in the text, to have a brief description of the problem-solving task involving logic expressions that was designed by O. K. Moore and Scarvia B. Anderson.

A logic expression is a sequence of symbols of two types: (1) variables--P, Q, R, and so on--and (2) connectives--not (-), and (•), or (v), and implies (⊃). An example from the text is R(-PQ), which may be interpreted as "R and (not P implies Q)." The subjects are not provided with this interpretation, however, but are told that the expressions are code messages and that the connectives are named "tilde" (-). "dot" (•), "wedge" (v), and "horseshoe" (⊃).

The following rules are provided for transforming one or two given logic expressions into a new expression (recoding expressions). We will state them here only approximately, omitting certain necessary qualifications.

One-Line Rules
 1 A v B ⇔ B v AA • B ⇔ B • A 2 A ⊃ B ⇔ -B ⊃ -A 3 A v A ⇔ AA • A ⇔ A 4 A v (B v C) ⇔ (A v B) v CA • (B • C) ⇔ (A • B) • C 5 A v B = - (-A • -B)A • B = - (-A v -B) 6 A ⊃ B ⇔ -A v BA v B ⇔ -A ⊃ B 7 A v (B • C) ⇔ (A v B) • (A v C)A • (B v C) ⇔ (A • B) v (A • C) 8 A • B ⇒ AA • B ⇒ B 9 A ⇒ A v X, where X is any expression

The rules can be applied to complete expressions, or (except rule 8) to subexpressions. Double tildes cancel--i.e., - - AA, but this cancellation is not stated in a separate rule.

Two-Line Rules
 10 If A and B are given, they can be recoded into A • B. 11 If A and A ⊃ B are given, they can be recoded into B. 12 If A ⊃ B and B ⊃ C are given, they can be recoded into A ⊃ C.

Subjects were instructed in the use of these rules, then were given problems like those described in the text. They were asked to think aloud while working on the problems, and each time they applied a rule to recode one or two given expressions, the new expression was written on the blackboard by the experimenter, together with the numbers of the expressions and rule used to obtain it.

-118-

If you are trying to select text to create highlights or citations, remember that you must now click or tap on the first word, and then click or tap on the last word.
One moment ...
Project items
Notes

#### Cited page

Style
Citations are available only to our active members.
Sign up now to cite pages or passages in MLA, APA and Chicago citation styles.

#### Cited page

Contemporary Approaches to Creative Thinking: A Symposium Held at the University of Colorado

Settings

Typeface
Text size
Search within

Look up

#### Look up a word

• Dictionary
• Thesaurus
Please submit a word or phrase above.

Why can't I print more than one page at a time?

While we understand printed pages are helpful to our users, this limitation is necessary to help protect our publishers' copyrighted material and prevent its unlawful distribution. We are sorry for any inconvenience.
Full screen
/ 226

## Cited passage

Style
Citations are available only to our active members.
Sign up now to cite pages or passages in MLA, APA and Chicago citation styles.

## Welcome to the new Questia Reader

The Questia Reader has been updated to provide you with an even better online reading experience.  It is now 100% Responsive, which means you can read our books and articles on any sized device you wish.  All of your favorite tools like notes, highlights, and citations are still here, but the way you select text has been updated to be easier to use, especially on touchscreen devices.  Here's how:

1. Click or tap the first word you want to select.
2. Click or tap the last word you want to select.

## Thanks for trying Questia!

Please continue trying out our research tools, but please note, full functionality is available only to our active members.

Your work will be lost once you leave this Web page.