display all the ideas for this combination of texts
3 ideas
15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
19317 | An open sentence is satisfied if the object possess that property [Kirkham] |