LW
Validity Vs Truth Logic