Logic
Some statements are always true. That kind of statement is called tautology. One popular classical tautology, credited to the philosopher Parmenides of Elea, says "That which is, is. That which is not, is not." This essentially means that true statements are true and false statements are false. Due to their simple nature, tautologies may not always be helpful in building logical arguments.