Se även lista över appendix.

Det finns flera sorters tautologier. På den här sidan listas några exempel för att underlätta förståelsen.

Onödig omsägning redigera

Retorisk omsägning redigera

Nödvändigt sanna satser redigera

  • Det blir som det blir.
  • Antingen regnar det, eller så regnar det inte.
  • Valpar är inte fullvuxna.
  • Plast är inte metall.

Inom satslogiken redigera

  • P eller icke P
  • om (P och (om P så Q)) så Q

Inom predikatlogiken redigera

  • För alla (x) [P(x) eller icke P(x)]
  • om För alla (x) [P(x)] så Finns (x) [P(x)]