display all the ideas for this combination of texts
3 ideas
18904 | 'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen] |
18895 | Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers] |
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |