These formulas play a role similar to tautologies in propositional logic.
Αυτοί οι τύποι παίζουν παρόμοιο ρόλο με τις ταυτολογίες στην προτασιακή λογική.