display all the ideas for this combination of texts
2 ideas
5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |