Appendix:Tautologier

Definition från Wiktionary, den fria ordlistan.
Hoppa till navigering Hoppa till sök

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