Classical Sentential Logic: Based on Logical Equivalence