Tautologija je izraz, ki prihaja iz grške besede in se nanaša na ponavljanje iste misli skozi različne izraze . Tautologija, za retoriko, je odvečna izjava .

Običajno je, da se tavtologije obravnavajo kot napaka v jeziku ali pomanjkanje stila. Vendar pa je možno pritegniti tautologije, da bi poudarili določeno idejo. Na primer: stavek "Lahko potrdim, da je obtoženec kriv, ker sem videl umor z lastnimi očmi", je nepotrebno pojasnilo o uporabi njegovih oči, saj ga ni mogel videti na noben drug način; na enak način lahko poudarimo besedo »pravilno«.

Drugi zelo pogosti primeri tavtologije so razvidni iz naslednjih stavkov: "Pojdem gor, da najdem knjigo in se vrnem", "Moram iti ven, da zalijem rastline" . Kadarkoli se povzpnete, je gor; Na enak način prepuščanje pomeni premik iz kraja, zato so ta pojasnila nesmiselna in nepotrebna za razumevanje.

Kadar tavtologija predvideva odvečno razlago, ki ne prispeva novega znanja, se običajno govori o istini ali resnici Perogrulla : "Jaz sem, kar sem" . Po drugi strani pa se izraz, v katerem se pojavijo odvečni izrazi (kot so "go up" ali "go out" ), imenuje pleonazm .

Na področju logike je tautologija formula sistema, ki velja za vsako interpretacijo. Z drugimi besedami, to je logični izraz, ki velja za vse možne resnične vrednosti njegovih atomskih komponent. Da bi vedeli, ali je določena formula tautologija, je treba zgraditi tabelo resnice.

Tabela resnice

Tabela resnice (znana tudi kot tabela resničnih vrednosti ) predstavlja sestavljen predlog in njegovo resnično vrednost za vsako od možnih kombinacij, ki jih lahko podamo z njenimi elementi. Njegov avtor je bil ameriški filozof in znanstvenik Charles Sanders Peirce, znan tudi kot najvišji predstavnik moderne semiotike, in ga objavil sredi osemdesetih let 20. stoletja.

Za konfiguriranje formalnega sistema je treba določiti definicije vsakega operaterja in argumente je treba predstaviti v obliki logično-lingvističnega deduktivnega sklepanja, odgovoriti na čisto matematično zasnovo in tvoriti logično aplikacijo, ki določa vhodne in izhodne spremenljivke.

Dve možni vrednosti, ki ju lahko vrne tabela resnice, sta: true, kar je izraženo s črko "V" ali s številko "1" in označuje, da je tokokrog zaprt; false, predstavljeno s črko "F" ali s številko "0", ko je tokokrog odprt. Predloge, ki jih je treba analizirati, so spremenljivke, ki se nahajajo v zgornjem delu tabele in se nahajajo na mestu, ki se običajno uporablja za imena polj.

Operaterji, uporabljeni v tabeli resnice, so:

* negacija : če se izvrši na določeni resnični vrednosti, vrne nasprotno (če je bila prvotno resnična, vrne lažno in obratno);

* konjunkcija : uporablja se za delovanje z dvema vrednostma resnice, običajno iz dveh različnih predlogov, in vrne resnico, kadar sta oba resnična, in napačna za ostale primere;

* disjunction : podobno konjunkciji, vendar je dovolj, da ima ena od dveh trditev resnično vrednost, da vrne tak rezultat;

* pogojno : znano tudi po imenu implikacije, vzame dva predloga in vrže napačno samo, ko prvi vrne resnico, drugo pa napačno. Za preostale primere je rezultat resničen;

* biconditional : deluje na vrednosti resnice dveh predlogov in vrne true, če imata obe v isti vrednosti in false v nasprotnem primeru.