display all the ideas for this combination of texts
3 ideas
10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |