Tautologiškas teiginys yra visada teisingas dėl savo loginės formos, nepriklausomai nuo turinio. Tai loginė tikrovė.
Pavyzdžiai:
1. „Lijus arba ne lija.“
(Formulė: \( p \lor \neg p \))
2. „Jei šiandien pirmadienis, tai šiandien pirmadienis.“
(Formulė: \( p \rightarrow p \))
3. „Ne tai, kad jis ir atvyko, ir neatvyko.“
(Formulė: \( \neg (p \land \neg p) \))
Esmė: Tautologijos neturi informacinės vertės, bet yra pagrindas logikoje ir matematikoje.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.