Descriptor
| Algorithms | 1 |
| College Mathematics | 1 |
| Higher Education | 1 |
| Logic | 1 |
| Mathematical Logic | 1 |
| Mathematics | 1 |
| Mathematics Skills | 1 |
| Proof (Mathematics) | 1 |
| Symbols (Mathematics) | 1 |
Source
| AMATYC Review | 1 |
Author
| Bohannon, Barbara | 1 |
| Michaels, Aileen | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
Audience
| Practitioners | 1 |
| Teachers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewedBohannon, Barbara; Michaels, Aileen – AMATYC Review, 1990
Provides four examples for testing the validity of logical arguments by using the method of truth trees. (YP)
Descriptors: Algorithms, College Mathematics, Higher Education, Logic
