Tavtologija

Iz MaFiRaWiki

(Razlika med različicami)

Različica od 16:47, 12 oktober 2009

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

Osebna orodja