How to Use the Counterexample Method to Identify Invalid Arguments

I use truth trees to show the invalidity of two arguments in K, and I explain how truth trees provide an easy method for finding counterexamples to invalid ...