Tautologija – tai loginė išraiška ar teiginys, kuris visada yra teisingas dėl savo loginės formos, nepriklausomai nuo reikšmių, įstatytų į jo kintamuosius. Kitaip tariant, tautologija yra visada teisingas teiginys dėl savo struktūros.
Trumpai:
Tautologija – loginis teiginys, kuris negali būti klaidingas.
Pavyzdžiai:
1. „Lietus lyja arba lietus nelyja.“
- Loginė forma: \( P \lor \neg P \)
- Šis teiginys visada teisingas, nes pasaulėje galimi tik du variantai: lietus lyja arba nelyja.
2. „Jei saulė šviečia, tai saulė šviečia.“
- Loginė forma: \( P \rightarrow P \)
- Teiginys teisingas bet kokiai \( P \) reikšmei.
3. „Šiandien yra antradienis arba šiandien nėra antradienis.“
- Vėlgi \( P \lor \neg P \) forma – negali būti klaidinga.
Svarbu:
- Tautologijos dažnai naudojamos logikoje, matematikoje ir programavime kaip pagrindinės taisyklės.
- Nepainioti su kalbinė tautologija (pvz., „akivaizdus faktas“ ar „pakartotinis perteklinis žodžių kartojimas“), nors terminas kartais vartojamas ir šnekamojoje kalboje pertekliaus prasme.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.