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)]