Sanakirja
Tekoälykääntäjä
| Kieli | Käännökset |
|---|---|
| espanja | redundancia, pleonasmo, tautología |
| hollanti | tautologie |
| italia | tautologia |
| japani | 同語反復 (どうごはんぷく, dōgo hanpuku), 恒真式 (こうしんしき, kōshin shiki), トートロジー (tōtorojī) |
| kreikka | ταυτολογία (taftología) |
| portugali | tautologia |
| puola | pleonazm, tautologia |
| ranska | tautologie, truisme, lapalissade, pléonasme |
| saksa | Pleonasmus, Tautologie |
| suomi | tautologia, toisto |
| tšekki | tautologie |
| unkari | tautológia |
| venäjä | тавтология (tavtologija) |
Määritelmät
Substantiivi
- (uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition.
- (countable) An expression that features tautology.
- (countable, logic, propositional logic) A statement that is true for all truth values of its propositional variables.
- (countable, logic, first-order logic) A statement that is true for all truth values of its Boolean atoms.
Esimerkit
- It is tautology to say, "Forward Planning".
- The expression "raze to the ground" is a tautology, since the word "raze" includes the notion "to the ground".
- Pure mathematics consists of tautologies, analogous to ‘men are men’, but usually more complicated.
- Given a Boolean A, "A OR (NOT A)" is a tautology.
- A logical statement which is neither a tautology nor a contradiction is a contingency.
- A tautology can be verified by constructing a truth tree for its negation: if all of the leaf nodes of such truth tree end in X's, then the original (pre-negated) formula is a tautology.
Taivutusmuodot
| Monikko | tautologies |