These derived formulas are called theorems and may be interpreted to be true propositions.
Αυτοί οι τύποι που προκύπτουν ονομάζονται θεωρήματα και μπορούν να ερμηνευθούν ως αληθείς προτάσεις.