BASIC TABLES
| P | Q | ~Q | P • Q | P ∨ Q | P ⊃ Q | P ≡ Q |
| T | T | F | T | T | T | T |
| T | F | T | F | T | F | F |
| F | T | F | F | T | T | F |
| F | F | T | F | F | T | T |
Place a value under the operator for which it is the output or underneath the first letter of the simple proposition with the value.
Use t or T for TRUE and f or F for FALSE. When a value is assigned to a simple proposition in one place, the LogicCoach assigns it to all instances of the simple proposition in the argument. Use the spacebar to erase.
In an indirect table, the LogicCoach will judge a value for an operator from either 1 or 2 inputs. For example, it will accept that a ⊃ is true just from assigning F to the antecedent.
WARNING: In each line of the argument, you MUST indicate the value of EACH ~ and of the MAIN OPERATOR.
If one of these values is not indicated, LogicCoach will return the message that a CRUCIAL VALUE is missing.