StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 8,193

  1. Okay yeah the next time I teach intro to proofs I need some quizzes reinforcing structural stuff. Like to prove "If P(A,Z) then Z⊆A." directly one probably needs to write "Assume P(A,Z). Let x∈Z. [...] Thus x∈A, and therefore Z⊆A."
    On twitter.com Twitter logo StevenXClontz’s avatar ❤️ 7 Favorites Mood +3 🙂