Generative Logic
O'Reilly on Data
DECEMBER 10, 2024
A contrapositive is simply a logical pattern: If A implies B, then not B implies not A. What other logical patterns can we think of? It would be easy to grow a much longer list of patterns. There are better notations to represent these patterns, but a longer list and better representations arent important here.
Let's personalize your content