A logical formula is unsatisfiable if and only if for the formula to be true, at least one of its variables must be both true and false.
I discovered SAT today, and wanted to try my hands at solving it. I arrived at the above statement as a general principle for any attempt I want to make at solving SAT. Is the principle true?