Corollary = X implies the presence of Y

Opposite = X implies the absence of Y

Contradiction = X implies the absence of X

https://youtu.be/GpuJeLdEj6U?si=4wVZGQtxGfXqh2t2