I think understanding the basic idea of the Curry-Howard equivalence is great for critical thinking. A statement is a claim that premises and axioms lead to a c

I think understanding the basic idea of the Curry-Howard equivalence is great for critical thinking. A statement is a claim that premises and axioms lead to a conclusion, and a proof is an algorithm for how the axioms should be applied to get the conclusion from the premises. So you can write your claims as types and your arguments as functions.