In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, tautological may refer to:
Logic:
*
Tautological consequence
In propositional logic, tautological consequence is a strict form of logical consequenceBarwise and Etchemendy 1999, p. 110 in which the tautologousness of a proposition is preserved from one line of a proof to the next. Not all logical consequenc ...
Geometry, where it is used as an alternative to
canonical
The adjective canonical is applied in many contexts to mean 'according to the canon' the standard, rule or primary source that is accepted as authoritative for the body of knowledge or literature in that context. In mathematics, ''canonical exampl ...
:
*
Tautological bundle In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of k- dimensional subspaces of V, given a point in the Grassmannian corresponding to a k-dimensional vector s ...
*
Tautological one-form
In mathematics, the tautological one-form is a special 1-form defined on the cotangent bundle T^Q of a manifold Q. In physics, it is used to create a correspondence between the velocity of a point in a mechanical system and its momentum, thus pro ...
*
Tautology (grammar)
In literary criticism and rhetoric, a tautology is a statement that repeats an idea using near-synonymous morphemes, words or phrases, effectively "saying the same thing twice". Tautology and pleonasm are not consistently differentiated in lite ...
, unnecessary repetition, or more words than necessary, to say the same thing.
See also
*
Tautology (disambiguation)
*
List of tautological place names
A toponymy, place name is tautology (grammar), tautological if two differently sounding parts of it are synonymous. This often occurs when a name from one language is imported into another and a standard descriptor is added on from the second lan ...
{{disambig