Hoppa till innehållet

Appendix:Tautologier

Definition från Wiktionary, den fria ordlistan.

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