In this video, I explain the concept of a logical consequence (also known as a valid or logically correct inference), along with a method of testing for it.
No download links available.