| Answer | Crossword Clue |
|---|---|
| IFTHEN | Kind of proposition, in logic |
| LEMMA | Proposition in logic |
| IFTHEN | Proposition description, in logic |
| LEMMA | Secondary proposition, in logic. |
| LEMMA | Auxiliary proposition, in logic |
| VENN | Kind of diagram in logic |
| BOOLEAN | Kind of logic in which all values are either true or false |
