Tavtologija

Iz MaFiRaWiki

Različica od 16:52, 12 oktober 2009; poglej trenutno različico
←Starejša različica | Novejša različica→

V logiki je tavtologija izjavni izraz, ki je resničen za vse nabore vrednosti izjavnih spremenljivk, oz. za vse valuacije. Izjavni izraz je tavtologija, če in samo če ima v njegov stoplec v resničnosti tabeli same enice.

Glej tudi

protislovje

Osebna orodja