| Correct (2) | Buggy (1) | Missing or very wrong (0) | |
|---|---|---|---|
| Overall logical form | the form is completely correct | small issue in form (e.g. missing negation) | multiple problems or major problems (e.g. wrong negation of implies) |
| Correct (2) | Buggy (1) | Missing or very wrong (0) | |
| Details | all details correct | Single detail error e.g. missing/incorrect quantifier | Many detail errors |
| Correct (1) | Missing or very wrong (0) | ||
| Format | written in words | in shorthand or otherwise hard to read |
| Correct (2) | Buggy (1) | Missing or very wrong (0) | |
|---|---|---|---|
| Quantifier | present and correct | quantifier present but incorrect | missing | Correct (2) | Buggy (1) | Missing or very wrong (0) |
| Transformation of if/then statement | completely correct | hypothesis and conclusion not swapped, missing/added negation, logical errors in substructure | multiple or major problems |
| Correct (1) | Missing or buggy (0) | ||
| Format and details | written in words | in shorthand or otherwise hard to read |