Vilket begrepp kan användas för självklart logiska påståenden?

Förklaring

Inom logiken är en tautologi ett logisk påstående som är sant oberoende av betydelsen av de i satsen ingående orden. T.e.x; "Antingen regnar det eller så regnar det inte". Det är alltså ett påstående som är självklart. Motsatsen till en tautologi är en kontradiktion. En pleonasm är en sats med upprepade synonymer där ett eller flera är överflödiga eftersom de betyder samma sak, till exempel att "samarbeta tillsammans".